ISSTA '21: "Fixing Dependency Errors for ..."
Fixing Dependency Errors for Python Build Reproducibility
Suchita Mukherjee, Abigail Almanza, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ISSTA21p547,
author = {Suchita Mukherjee and Abigail Almanza and Cindy Rubio-González},
title = {Fixing Dependency Errors for Python Build Reproducibility},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3460319.3464797},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "MoScan: A Model-Based Vulnerability ..."
MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, and Kostyantyn Vorobyov
(University of Queensland, Australia; Oracle, Australia)
@InProceedings{ISSTA21p839,
author = {Hanlin Wei and Behnaz Hassanshahi and Guangdong Bai and Padmanabhan Krishnan and Kostyantyn Vorobyov},
title = {MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {839-838},
doi = {10.1145/3460319.3469081},
year = {2021},
}
Publisher's Version
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version
ISSTA '21: "Boosting Symbolic Execution ..."
Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, and Yangfan Zhou
(Fudan University, China)
@InProceedings{ISSTA21p419,
author = {Sicheng Luo and Hui Xu and Yanxiang Bi and Xin Wang and Yangfan Zhou},
title = {Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {419-418},
doi = {10.1145/3460319.3464813},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Log-Based Slicing for System-Level ..."
Log-Based Slicing for System-Level Test Cases
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada)
@InProceedings{ISSTA21p643,
author = {Salma Messaoudi and Donghwan Shin and Annibale Panichella and Domenico Bianculli and Lionel C. Briand},
title = {Log-Based Slicing for System-Level Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {643-642},
doi = {10.1145/3460319.3464824},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automatic Test Suite Generation ..."
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, and Jun Wang
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; IEE, Luxembourg; Post Luxembourg, Luxembourg)
@InProceedings{ISSTA21p115,
author = {Fitash Ul Haq and Donghwan Shin and Lionel C. Briand and Thomas Stifter and Jun Wang},
title = {Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {115-114},
doi = {10.1145/3460319.3464802},
year = {2021},
}
Publisher's Version
ISSTA '21: "Log-Based Slicing for System-Level ..."
Log-Based Slicing for System-Level Test Cases
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada)
@InProceedings{ISSTA21p643,
author = {Salma Messaoudi and Donghwan Shin and Annibale Panichella and Domenico Bianculli and Lionel C. Briand},
title = {Log-Based Slicing for System-Level Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {643-642},
doi = {10.1145/3460319.3464824},
year = {2021},
}
Publisher's Version
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "RAProducer: Efficiently Diagnose ..."
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao
(Tsinghua University, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p739,
author = {Ming Yuan and Yeseop Lee and Chao Zhang and Yun Li and Yan Cai and Bodong Zhao},
title = {RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3460319.3464831},
year = {2021},
}
Publisher's Version
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "Attack as Defense: Characterizing ..."
Attack as Defense: Characterizing Adversarial Examples using Robustness
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun
(ShanghaiTech University, China; Zhejiang University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p51,
author = {Zhe Zhao and Guangke Chen and Jingyi Wang and Yiwei Yang and Fu Song and Jun Sun},
title = {Attack as Defense: Characterizing Adversarial Examples using Robustness},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3460319.3464822},
year = {2021},
}
Publisher's Version
ISSTA '21: "iDEV: Exploring and Exploiting ..."
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Shisong Qin, Chao Zhang, Kaixiang Chen, and Zheming Li
(Tsinghua University, China)
@InProceedings{ISSTA21p723,
author = {Shisong Qin and Chao Zhang and Kaixiang Chen and Zheming Li},
title = {iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {723-722},
doi = {10.1145/3460319.3464842},
year = {2021},
}
Publisher's Version
ISSTA '21: "SCStudio: A Secure and Efficient ..."
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, and Yu Jiang
(Tsinghua University, China; WeBank, China; Ant Financial, China; University of Electronic Science and Technology of China, China)
@InProceedings{ISSTA21p827,
author = {Meng Ren and Fuchen Ma and Zijing Yin and Huizhong Li and Ying Fu and Ting Chen and Yu Jiang},
title = {SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {827-826},
doi = {10.1145/3460319.3469078},
year = {2021},
}
Publisher's Version
ISSTA '21: "Validating Static Warnings ..."
Validating Static Warnings via Testing Code Fragments
Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, and Wei Le
(Iowa State University, USA)
@InProceedings{ISSTA21p675,
author = {Ashwin Kallingal Joshy and Xueyuan Chen and Benjamin Steenhoek and Wei Le},
title = {Validating Static Warnings via Testing Code Fragments},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {675-674},
doi = {10.1145/3460319.3464832},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Synthesize Solving Strategy ..."
Synthesize Solving Strategy for Symbolic Execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p435,
author = {Zhenbang Chen and Zehua Chen and Ziqi Shuai and Guofeng Zhang and Weiyu Pan and Yufeng Zhang and Ji Wang},
title = {Synthesize Solving Strategy for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3460319.3464815},
year = {2021},
}
Publisher's Version
ISSTA '21: "Runtime Detection of Memory ..."
Runtime Detection of Memory Errors with Smart Status
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, and Jingling Xue
(Nanjing University of Aeronautics and Astronautics, China; University of Technology Sydney, Australia; UNSW, Australia)
@InProceedings{ISSTA21p371,
author = {Zhe Chen and Chong Wang and Junqi Yan and Yulei Sui and Jingling Xue},
title = {Runtime Detection of Memory Errors with Smart Status},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {371-370},
doi = {10.1145/3460319.3464807},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Synthesize Solving Strategy ..."
Synthesize Solving Strategy for Symbolic Execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p435,
author = {Zhenbang Chen and Zehua Chen and Ziqi Shuai and Guofeng Zhang and Weiyu Pan and Yufeng Zhang and Ji Wang},
title = {Synthesize Solving Strategy for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3460319.3464815},
year = {2021},
}
Publisher's Version
ISSTA '21: "Type and Interval Aware Array ..."
Type and Interval Aware Array Constraint Solving for Symbolic Execution
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, and Ji Wang
(National University of Defense Technology, China; Hunan University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p451,
author = {Ziqi Shuai and Zhenbang Chen and Yufeng Zhang and Jun Sun and Ji Wang},
title = {Type and Interval Aware Array Constraint Solving for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3460319.3464826},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Grammar-Agnostic Symbolic ..."
Grammar-Agnostic Symbolic Execution by Token Symbolization
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p467,
author = {Weiyu Pan and Zhenbang Chen and Guofeng Zhang and Yunlai Luo and Yufeng Zhang and Ji Wang},
title = {Grammar-Agnostic Symbolic Execution by Token Symbolization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {467-466},
doi = {10.1145/3460319.3464845},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "TauMed: Test Augmentation ..."
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p835,
author = {Yunhan Hou and Jiawei Liu and Daiwei Wang and Jiawei He and Chunrong Fang and Zhenyu Chen},
title = {TauMed: Test Augmentation of Deep Learning in Medical Diagnosis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {835-834},
doi = {10.1145/3460319.3469080},
year = {2021},
}
Publisher's Version
ISSTA '21: "DialTest: Automated Testing ..."
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Zixi Liu, Yang Feng, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p147,
author = {Zixi Liu and Yang Feng and Zhenyu Chen},
title = {DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {147-146},
doi = {10.1145/3460319.3464829},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "Test-Case Prioritization for ..."
Test-Case Prioritization for Configuration Testing
Runxiang Cheng, Lingming Zhang, Darko Marinov, and Tianyin Xu
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p563,
author = {Runxiang Cheng and Lingming Zhang and Darko Marinov and Tianyin Xu},
title = {Test-Case Prioritization for Configuration Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {563-562},
doi = {10.1145/3460319.3464810},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "A Lightweight Framework for ..."
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Han Gao, Shaoyin Cheng, Yinxing Xue, and Weiming Zhang
(University of Science and Technology of China, China)
@InProceedings{ISSTA21p755,
author = {Han Gao and Shaoyin Cheng and Yinxing Xue and Weiming Zhang},
title = {A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {755-754},
doi = {10.1145/3460319.3464804},
year = {2021},
}
Publisher's Version
ISSTA '21: "Interval Constraint-Based ..."
Interval Constraint-Based Mutation Testing of Numerical Specifications
Clothilde Jeangoudoux, Eva Darulova, and Christoph Lauter
(MPI-SWS, Germany; University of Alaska at Anchorage, USA)
@InProceedings{ISSTA21p483,
author = {Clothilde Jeangoudoux and Eva Darulova and Christoph Lauter},
title = {Interval Constraint-Based Mutation Testing of Numerical Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {483-482},
doi = {10.1145/3460319.3464808},
year = {2021},
}
Publisher's Version
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "AdvDoor: Adversarial Backdoor ..."
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, and Yu Jiang
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China)
@InProceedings{ISSTA21p163,
author = {Quan Zhang and Yifeng Ding and Yongqiang Tian and Jianmin Guo and Min Yuan and Yu Jiang},
title = {AdvDoor: Adversarial Backdoor Attack of Deep Learning System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3460319.3464809},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "C4: The C Compiler Concurrency ..."
C4: The C Compiler Concurrency Checker
Matt Windsor, Alastair F. Donaldson, and John Wickerson
(University of York, UK; Imperial College London, UK)
@InProceedings{ISSTA21p831,
author = {Matt Windsor and Alastair F. Donaldson and John Wickerson},
title = {C4: The C Compiler Concurrency Checker},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {831-830},
doi = {10.1145/3460319.3469079},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version
ISSTA '21: "Understanding and Finding ..."
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su
(East China Normal University, China; National University of Singapore, Singapore; Peking University, China; ETH Zurich, Switzerland)
@InProceedings{ISSTA21p259,
author = {Jingling Sun and Ting Su and Junxin Li and Zhen Dong and Geguang Pu and Tao Xie and Zhendong Su},
title = {Understanding and Finding System Setting-Related Defects in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {259-258},
doi = {10.1145/3460319.3464806},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automated Patch Backporting ..."
Automated Patch Backporting in Linux (Experience Paper)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, and Abhik Roychoudhury
(National University of Singapore, Singapore; Southern University of Science and Technology, China; Inria, France)
@InProceedings{ISSTA21p787,
author = {Ridwan Shariffdeen and Xiang Gao and Gregory J. Duck and Shin Hwei Tan and Julia Lawall and Abhik Roychoudhury},
title = {Automated Patch Backporting in Linux (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {787-786},
doi = {10.1145/3460319.3464821},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Exposing Previously Undetectable ..."
Exposing Previously Undetectable Faults in Deep Neural Networks
Isaac Dunn, Hadrien Pouget, Daniel Kroening, and Tom Melham
(University of Oxford, UK; Amazon, UK)
@InProceedings{ISSTA21p67,
author = {Isaac Dunn and Hadrien Pouget and Daniel Kroening and Tom Melham},
title = {Exposing Previously Undetectable Faults in Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3460319.3464801},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Toward Optimal MC/DC Test ..."
Toward Optimal MC/DC Test Case Generation
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, and Arpita Dutta
(National Institute of Technology Warangal, India; National University of Singapore, Singapore; Huawei, Canada)
@InProceedings{ISSTA21p627,
author = {Sangharatna Godboley and Joxan Jaffar and Rasool Maghareh and Arpita Dutta},
title = {Toward Optimal MC/DC Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3460319.3464841},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "TERA: Optimizing Stochastic ..."
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Saikat Dutta, Jeeva Selvam, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p515,
author = {Saikat Dutta and Jeeva Selvam and Aryaman Jain and Sasa Misailovic},
title = {TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {515-514},
doi = {10.1145/3460319.3464844},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Empirically Evaluating Readily ..."
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Daniel Elsner, Florian Hauer, Alexander Pretschner, and Silke Reimer
(TU Munich, Germany; IVU Traffic Technologies, Germany)
@InProceedings{ISSTA21p611,
author = {Daniel Elsner and Florian Hauer and Alexander Pretschner and Silke Reimer},
title = {Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3460319.3464834},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "TauMed: Test Augmentation ..."
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p835,
author = {Yunhan Hou and Jiawei Liu and Daiwei Wang and Jiawei He and Chunrong Fang and Zhenyu Chen},
title = {TauMed: Test Augmentation of Deep Learning in Medical Diagnosis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {835-834},
doi = {10.1145/3460319.3469080},
year = {2021},
}
Publisher's Version
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "DialTest: Automated Testing ..."
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Zixi Liu, Yang Feng, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p147,
author = {Zixi Liu and Yang Feng and Zhenyu Chen},
title = {DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {147-146},
doi = {10.1145/3460319.3464829},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version
ISSTA '21: "SCStudio: A Secure and Efficient ..."
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, and Yu Jiang
(Tsinghua University, China; WeBank, China; Ant Financial, China; University of Electronic Science and Technology of China, China)
@InProceedings{ISSTA21p827,
author = {Meng Ren and Fuchen Ma and Zijing Yin and Huizhong Li and Ying Fu and Ting Chen and Yu Jiang},
title = {SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {827-826},
doi = {10.1145/3460319.3469078},
year = {2021},
}
Publisher's Version
ISSTA '21: "DeepHyperion: Exploring the ..."
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, and Paolo Tonella
(USI Lugano, Switzerland; University of Passau, Germany)
@InProceedings{ISSTA21p99,
author = {Tahereh Zohdinasab and Vincenzo Riccio and Alessio Gambi and Paolo Tonella},
title = {DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3460319.3464811},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "A Lightweight Framework for ..."
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Han Gao, Shaoyin Cheng, Yinxing Xue, and Weiming Zhang
(University of Science and Technology of China, China)
@InProceedings{ISSTA21p755,
author = {Han Gao and Shaoyin Cheng and Yinxing Xue and Weiming Zhang},
title = {A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {755-754},
doi = {10.1145/3460319.3464804},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automated Patch Backporting ..."
Automated Patch Backporting in Linux (Experience Paper)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, and Abhik Roychoudhury
(National University of Singapore, Singapore; Southern University of Science and Technology, China; Inria, France)
@InProceedings{ISSTA21p787,
author = {Ridwan Shariffdeen and Xiang Gao and Gregory J. Duck and Shin Hwei Tan and Julia Lawall and Abhik Roychoudhury},
title = {Automated Patch Backporting in Linux (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {787-786},
doi = {10.1145/3460319.3464821},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Toward Optimal MC/DC Test ..."
Toward Optimal MC/DC Test Case Generation
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, and Arpita Dutta
(National Institute of Technology Warangal, India; National University of Singapore, Singapore; Huawei, Canada)
@InProceedings{ISSTA21p627,
author = {Sangharatna Godboley and Joxan Jaffar and Rasool Maghareh and Arpita Dutta},
title = {Toward Optimal MC/DC Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3460319.3464841},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "echidna-parade: A Tool for ..."
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Alex Groce and Gustavo Grieco
(Northern Arizona University, USA; Trail of Bits, USA)
@InProceedings{ISSTA21p819,
author = {Alex Groce and Gustavo Grieco},
title = {echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {819-818},
doi = {10.1145/3460319.3469076},
year = {2021},
}
Publisher's Version
ISSTA '21: "echidna-parade: A Tool for ..."
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Alex Groce and Gustavo Grieco
(Northern Arizona University, USA; Trail of Bits, USA)
@InProceedings{ISSTA21p819,
author = {Alex Groce and Gustavo Grieco},
title = {echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {819-818},
doi = {10.1145/3460319.3469076},
year = {2021},
}
Publisher's Version
ISSTA '21: "UAFSan: An Object-Identifier-Based ..."
UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Binfa Gui, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
@InProceedings{ISSTA21p387,
author = {Binfa Gui and Wei Song and Jeff Huang},
title = {UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {387-386},
doi = {10.1145/3460319.3464835},
year = {2021},
}
Publisher's Version
ISSTA '21: "Seed Selection for Successful ..."
Seed Selection for Successful Fuzzing
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, and Antony L. Hosking
(Australian National University, Australia; DST, Australia; CSIRO’s Data61, Australia; EPFL, Switzerland)
@InProceedings{ISSTA21p291,
author = {Adrian Herrera and Hendra Gunadi and Shane Magrath and Michael Norrish and Mathias Payer and Antony L. Hosking},
title = {Seed Selection for Successful Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {10.1145/3460319.3464795},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "AdvDoor: Adversarial Backdoor ..."
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, and Yu Jiang
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China)
@InProceedings{ISSTA21p163,
author = {Quan Zhang and Yifeng Ding and Yongqiang Tian and Jianmin Guo and Min Yuan and Yu Jiang},
title = {AdvDoor: Adversarial Backdoor Attack of Deep Learning System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3460319.3464809},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Finding Data Compatibility ..."
Finding Data Compatibility Bugs with JSON Subschema Checking
Andrew Habib, Avraham Shinnar, Martin Hirzel, and Michael Pradel
(University of Luxembourg, Luxembourg; IBM Research, USA; University of Stuttgart, Germany)
@InProceedings{ISSTA21p771,
author = {Andrew Habib and Avraham Shinnar and Martin Hirzel and Michael Pradel},
title = {Finding Data Compatibility Bugs with JSON Subschema Checking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {771-770},
doi = {10.1145/3460319.3464796},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "SAND: A Static Analysis Approach ..."
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Yingjun Lyu, Sasha Volokh, William G. J. Halfond, and Omer Tripp
(Amazon, USA; University of Southern California, USA)
@InProceedings{ISSTA21p339,
author = {Yingjun Lyu and Sasha Volokh and William G. J. Halfond and Omer Tripp},
title = {SAND: A Static Analysis Approach for Detecting SQL Antipatterns},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3460319.3464818},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automatic Test Suite Generation ..."
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, and Jun Wang
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; IEE, Luxembourg; Post Luxembourg, Luxembourg)
@InProceedings{ISSTA21p115,
author = {Fitash Ul Haq and Donghwan Shin and Lionel C. Briand and Thomas Stifter and Jun Wang},
title = {Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {115-114},
doi = {10.1145/3460319.3464802},
year = {2021},
}
Publisher's Version
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "MoScan: A Model-Based Vulnerability ..."
MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, and Kostyantyn Vorobyov
(University of Queensland, Australia; Oracle, Australia)
@InProceedings{ISSTA21p839,
author = {Hanlin Wei and Behnaz Hassanshahi and Guangdong Bai and Padmanabhan Krishnan and Kostyantyn Vorobyov},
title = {MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {839-838},
doi = {10.1145/3460319.3469081},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirically Evaluating Readily ..."
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Daniel Elsner, Florian Hauer, Alexander Pretschner, and Silke Reimer
(TU Munich, Germany; IVU Traffic Technologies, Germany)
@InProceedings{ISSTA21p611,
author = {Daniel Elsner and Florian Hauer and Alexander Pretschner and Silke Reimer},
title = {Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3460319.3464834},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "TauMed: Test Augmentation ..."
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p835,
author = {Yunhan Hou and Jiawei Liu and Daiwei Wang and Jiawei He and Chunrong Fang and Zhenyu Chen},
title = {TauMed: Test Augmentation of Deep Learning in Medical Diagnosis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {835-834},
doi = {10.1145/3460319.3469080},
year = {2021},
}
Publisher's Version
ISSTA '21: "Seed Selection for Successful ..."
Seed Selection for Successful Fuzzing
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, and Antony L. Hosking
(Australian National University, Australia; DST, Australia; CSIRO’s Data61, Australia; EPFL, Switzerland)
@InProceedings{ISSTA21p291,
author = {Adrian Herrera and Hendra Gunadi and Shane Magrath and Michael Norrish and Mathias Payer and Antony L. Hosking},
title = {Seed Selection for Successful Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {10.1145/3460319.3464795},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Finding Data Compatibility ..."
Finding Data Compatibility Bugs with JSON Subschema Checking
Andrew Habib, Avraham Shinnar, Martin Hirzel, and Michael Pradel
(University of Luxembourg, Luxembourg; IBM Research, USA; University of Stuttgart, Germany)
@InProceedings{ISSTA21p771,
author = {Andrew Habib and Avraham Shinnar and Martin Hirzel and Michael Pradel},
title = {Finding Data Compatibility Bugs with JSON Subschema Checking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {771-770},
doi = {10.1145/3460319.3464796},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Seed Selection for Successful ..."
Seed Selection for Successful Fuzzing
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, and Antony L. Hosking
(Australian National University, Australia; DST, Australia; CSIRO’s Data61, Australia; EPFL, Switzerland)
@InProceedings{ISSTA21p291,
author = {Adrian Herrera and Hendra Gunadi and Shane Magrath and Michael Norrish and Mathias Payer and Antony L. Hosking},
title = {Seed Selection for Successful Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {10.1145/3460319.3464795},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "TauMed: Test Augmentation ..."
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p835,
author = {Yunhan Hou and Jiawei Liu and Daiwei Wang and Jiawei He and Chunrong Fang and Zhenyu Chen},
title = {TauMed: Test Augmentation of Deep Learning in Medical Diagnosis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {835-834},
doi = {10.1145/3460319.3469080},
year = {2021},
}
Publisher's Version
ISSTA '21: "Fuzzing SMT Solvers via Two-Dimensional ..."
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{ISSTA21p403,
author = {Peisen Yao and Heqing Huang and Wensheng Tang and Qingkai Shi and Rongxin Wu and Charles Zhang},
title = {Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {403-402},
doi = {10.1145/3460319.3464803},
year = {2021},
}
Publisher's Version
ISSTA '21: "UAFSan: An Object-Identifier-Based ..."
UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Binfa Gui, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
@InProceedings{ISSTA21p387,
author = {Binfa Gui and Wei Song and Jeff Huang},
title = {UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {387-386},
doi = {10.1145/3460319.3464835},
year = {2021},
}
Publisher's Version
ISSTA '21: "DeepCrime: Mutation Testing ..."
DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
Nargiz Humbatova, Gunel Jahangirova, and Paolo Tonella
(USI Lugano, Switzerland)
@InProceedings{ISSTA21p83,
author = {Nargiz Humbatova and Gunel Jahangirova and Paolo Tonella},
title = {DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {83-82},
doi = {10.1145/3460319.3464825},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Toward Optimal MC/DC Test ..."
Toward Optimal MC/DC Test Case Generation
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, and Arpita Dutta
(National Institute of Technology Warangal, India; National University of Singapore, Singapore; Huawei, Canada)
@InProceedings{ISSTA21p627,
author = {Sangharatna Godboley and Joxan Jaffar and Rasool Maghareh and Arpita Dutta},
title = {Toward Optimal MC/DC Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3460319.3464841},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "DeepCrime: Mutation Testing ..."
DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
Nargiz Humbatova, Gunel Jahangirova, and Paolo Tonella
(USI Lugano, Switzerland)
@InProceedings{ISSTA21p83,
author = {Nargiz Humbatova and Gunel Jahangirova and Paolo Tonella},
title = {DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {83-82},
doi = {10.1145/3460319.3464825},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "TERA: Optimizing Stochastic ..."
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Saikat Dutta, Jeeva Selvam, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p515,
author = {Saikat Dutta and Jeeva Selvam and Aryaman Jain and Sasa Misailovic},
title = {TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {515-514},
doi = {10.1145/3460319.3464844},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Interval Constraint-Based ..."
Interval Constraint-Based Mutation Testing of Numerical Specifications
Clothilde Jeangoudoux, Eva Darulova, and Christoph Lauter
(MPI-SWS, Germany; University of Alaska at Anchorage, USA)
@InProceedings{ISSTA21p483,
author = {Clothilde Jeangoudoux and Eva Darulova and Christoph Lauter},
title = {Interval Constraint-Based Mutation Testing of Numerical Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {483-482},
doi = {10.1145/3460319.3464808},
year = {2021},
}
Publisher's Version
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Parema: An Unpacking Framework ..."
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, and Yajin Zhou
(Hong Kong Polytechnic University, China; Xi'an Jiaotong University, China; Pennsylvania State University, USA; Zhejiang University, China)
@InProceedings{ISSTA21p195,
author = {Lei Xue and Yuxiao Yan and Luyi Yan and Muhui Jiang and Xiapu Luo and Dinghao Wu and Yajin Zhou},
title = {Parema: An Unpacking Framework for Demystifying VM-Based Android Packers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3460319.3464839},
year = {2021},
}
Publisher's Version
ISSTA '21: "Faster, Deeper, Easier: Crowdsourcing ..."
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Yicheng Pan, Meng Ma, Xinrui Jiang, and Ping Wang
(Peking University, China)
@InProceedings{ISSTA21p803,
author = {Yicheng Pan and Meng Ma and Xinrui Jiang and Ping Wang},
title = {Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {803-802},
doi = {10.1145/3460319.3464805},
year = {2021},
}
Publisher's Version
ISSTA '21: "SCStudio: A Secure and Efficient ..."
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, and Yu Jiang
(Tsinghua University, China; WeBank, China; Ant Financial, China; University of Electronic Science and Technology of China, China)
@InProceedings{ISSTA21p827,
author = {Meng Ren and Fuchen Ma and Zijing Yin and Huizhong Li and Ying Fu and Ting Chen and Yu Jiang},
title = {SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {827-826},
doi = {10.1145/3460319.3469078},
year = {2021},
}
Publisher's Version
ISSTA '21: "AdvDoor: Adversarial Backdoor ..."
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, and Yu Jiang
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China)
@InProceedings{ISSTA21p163,
author = {Quan Zhang and Yifeng Ding and Yongqiang Tian and Jianmin Guo and Min Yuan and Yu Jiang},
title = {AdvDoor: Adversarial Backdoor Attack of Deep Learning System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3460319.3464809},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "HomDroid: Detecting Android ..."
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Yueming Wu, Deqing Zou, Wei Yang, Xiang Li, and Hai Jin
(Huazhong University of Science and Technology, China; University of Texas at Dallas, USA)
@InProceedings{ISSTA21p275,
author = {Yueming Wu and Deqing Zou and Wei Yang and Xiang Li and Hai Jin},
title = {HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {275-274},
doi = {10.1145/3460319.3464833},
year = {2021},
}
Publisher's Version
ISSTA '21: "Validating Static Warnings ..."
Validating Static Warnings via Testing Code Fragments
Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, and Wei Le
(Iowa State University, USA)
@InProceedings{ISSTA21p675,
author = {Ashwin Kallingal Joshy and Xueyuan Chen and Benjamin Steenhoek and Wei Le},
title = {Validating Static Warnings via Testing Code Fragments},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {675-674},
doi = {10.1145/3460319.3464832},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "MoScan: A Model-Based Vulnerability ..."
MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, and Kostyantyn Vorobyov
(University of Queensland, Australia; Oracle, Australia)
@InProceedings{ISSTA21p839,
author = {Hanlin Wei and Behnaz Hassanshahi and Guangdong Bai and Padmanabhan Krishnan and Kostyantyn Vorobyov},
title = {MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {839-838},
doi = {10.1145/3460319.3469081},
year = {2021},
}
Publisher's Version
ISSTA '21: "Exposing Previously Undetectable ..."
Exposing Previously Undetectable Faults in Deep Neural Networks
Isaac Dunn, Hadrien Pouget, Daniel Kroening, and Tom Melham
(University of Oxford, UK; Amazon, UK)
@InProceedings{ISSTA21p67,
author = {Isaac Dunn and Hadrien Pouget and Daniel Kroening and Tom Melham},
title = {Exposing Previously Undetectable Faults in Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3460319.3464801},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "An Infrastructure Approach ..."
An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Wenyu Wang, Wing Lam, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Peking University, China)
@InProceedings{ISSTA21p211,
author = {Wenyu Wang and Wing Lam and Tao Xie},
title = {An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3460319.3464828},
year = {2021},
}
Publisher's Version
ISSTA '21: "Interval Constraint-Based ..."
Interval Constraint-Based Mutation Testing of Numerical Specifications
Clothilde Jeangoudoux, Eva Darulova, and Christoph Lauter
(MPI-SWS, Germany; University of Alaska at Anchorage, USA)
@InProceedings{ISSTA21p483,
author = {Clothilde Jeangoudoux and Eva Darulova and Christoph Lauter},
title = {Interval Constraint-Based Mutation Testing of Numerical Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {483-482},
doi = {10.1145/3460319.3464808},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automated Patch Backporting ..."
Automated Patch Backporting in Linux (Experience Paper)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, and Abhik Roychoudhury
(National University of Singapore, Singapore; Southern University of Science and Technology, China; Inria, France)
@InProceedings{ISSTA21p787,
author = {Ridwan Shariffdeen and Xiang Gao and Gregory J. Duck and Shin Hwei Tan and Julia Lawall and Abhik Roychoudhury},
title = {Automated Patch Backporting in Linux (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {787-786},
doi = {10.1145/3460319.3464821},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Validating Static Warnings ..."
Validating Static Warnings via Testing Code Fragments
Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, and Wei Le
(Iowa State University, USA)
@InProceedings{ISSTA21p675,
author = {Ashwin Kallingal Joshy and Xueyuan Chen and Benjamin Steenhoek and Wei Le},
title = {Validating Static Warnings via Testing Code Fragments},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {675-674},
doi = {10.1145/3460319.3464832},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "RAProducer: Efficiently Diagnose ..."
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao
(Tsinghua University, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p739,
author = {Ming Yuan and Yeseop Lee and Chao Zhang and Yun Li and Yan Cai and Bodong Zhao},
title = {RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3460319.3464831},
year = {2021},
}
Publisher's Version
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "SCStudio: A Secure and Efficient ..."
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, and Yu Jiang
(Tsinghua University, China; WeBank, China; Ant Financial, China; University of Electronic Science and Technology of China, China)
@InProceedings{ISSTA21p827,
author = {Meng Ren and Fuchen Ma and Zijing Yin and Huizhong Li and Ying Fu and Ting Chen and Yu Jiang},
title = {SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {827-826},
doi = {10.1145/3460319.3469078},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Understanding and Finding ..."
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su
(East China Normal University, China; National University of Singapore, Singapore; Peking University, China; ETH Zurich, Switzerland)
@InProceedings{ISSTA21p259,
author = {Jingling Sun and Ting Su and Junxin Li and Zhen Dong and Geguang Pu and Tao Xie and Zhendong Su},
title = {Understanding and Finding System Setting-Related Defects in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {259-258},
doi = {10.1145/3460319.3464806},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "HomDroid: Detecting Android ..."
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Yueming Wu, Deqing Zou, Wei Yang, Xiang Li, and Hai Jin
(Huazhong University of Science and Technology, China; University of Texas at Dallas, USA)
@InProceedings{ISSTA21p275,
author = {Yueming Wu and Deqing Zou and Wei Yang and Xiang Li and Hai Jin},
title = {HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {275-274},
doi = {10.1145/3460319.3464833},
year = {2021},
}
Publisher's Version
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "Model-Based Testing of Networked ..."
Model-Based Testing of Networked Applications
Yishuai Li, Benjamin C. Pierce, and Steve Zdancewic
(University of Pennsylvania, USA)
@InProceedings{ISSTA21p659,
author = {Yishuai Li and Benjamin C. Pierce and Steve Zdancewic},
title = {Model-Based Testing of Networked Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {659-658},
doi = {10.1145/3460319.3464798},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "ModelDiff: Testing-Based DNN ..."
ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, and Yunxin Liu
(Microsoft Research, China; Peking University, China; Tsinghua University, China)
@InProceedings{ISSTA21p179,
author = {Yuanchun Li and Ziqi Zhang and Bingyan Liu and Ziyue Yang and Yunxin Liu},
title = {ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3460319.3464816},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "RAProducer: Efficiently Diagnose ..."
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao
(Tsinghua University, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p739,
author = {Ming Yuan and Yeseop Lee and Chao Zhang and Yun Li and Yan Cai and Bodong Zhao},
title = {RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3460319.3464831},
year = {2021},
}
Publisher's Version
ISSTA '21: "iDEV: Exploring and Exploiting ..."
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Shisong Qin, Chao Zhang, Kaixiang Chen, and Zheming Li
(Tsinghua University, China)
@InProceedings{ISSTA21p723,
author = {Shisong Qin and Chao Zhang and Kaixiang Chen and Zheming Li},
title = {iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {723-722},
doi = {10.1145/3460319.3464842},
year = {2021},
}
Publisher's Version
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "ModelDiff: Testing-Based DNN ..."
ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, and Yunxin Liu
(Microsoft Research, China; Peking University, China; Tsinghua University, China)
@InProceedings{ISSTA21p179,
author = {Yuanchun Li and Ziqi Zhang and Bingyan Liu and Ziyue Yang and Yunxin Liu},
title = {ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3460319.3464816},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "TauMed: Test Augmentation ..."
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p835,
author = {Yunhan Hou and Jiawei Liu and Daiwei Wang and Jiawei He and Chunrong Fang and Zhenyu Chen},
title = {TauMed: Test Augmentation of Deep Learning in Medical Diagnosis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {835-834},
doi = {10.1145/3460319.3469080},
year = {2021},
}
Publisher's Version
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "ModelDiff: Testing-Based DNN ..."
ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, and Yunxin Liu
(Microsoft Research, China; Peking University, China; Tsinghua University, China)
@InProceedings{ISSTA21p179,
author = {Yuanchun Li and Ziqi Zhang and Bingyan Liu and Ziyue Yang and Yunxin Liu},
title = {ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3460319.3464816},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "DialTest: Automated Testing ..."
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Zixi Liu, Yang Feng, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p147,
author = {Zixi Liu and Yang Feng and Zhenyu Chen},
title = {DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {147-146},
doi = {10.1145/3460319.3464829},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Boosting Symbolic Execution ..."
Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, and Yangfan Zhou
(Fudan University, China)
@InProceedings{ISSTA21p419,
author = {Sicheng Luo and Hui Xu and Yanxiang Bi and Xin Wang and Yangfan Zhou},
title = {Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {419-418},
doi = {10.1145/3460319.3464813},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Parema: An Unpacking Framework ..."
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, and Yajin Zhou
(Hong Kong Polytechnic University, China; Xi'an Jiaotong University, China; Pennsylvania State University, USA; Zhejiang University, China)
@InProceedings{ISSTA21p195,
author = {Lei Xue and Yuxiao Yan and Luyi Yan and Muhui Jiang and Xiapu Luo and Dinghao Wu and Yajin Zhou},
title = {Parema: An Unpacking Framework for Demystifying VM-Based Android Packers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3460319.3464839},
year = {2021},
}
Publisher's Version
ISSTA '21: "Grammar-Agnostic Symbolic ..."
Grammar-Agnostic Symbolic Execution by Token Symbolization
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p467,
author = {Weiyu Pan and Zhenbang Chen and Guofeng Zhang and Yunlai Luo and Yufeng Zhang and Ji Wang},
title = {Grammar-Agnostic Symbolic Execution by Token Symbolization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {467-466},
doi = {10.1145/3460319.3464845},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "SAND: A Static Analysis Approach ..."
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Yingjun Lyu, Sasha Volokh, William G. J. Halfond, and Omer Tripp
(Amazon, USA; University of Southern California, USA)
@InProceedings{ISSTA21p339,
author = {Yingjun Lyu and Sasha Volokh and William G. J. Halfond and Omer Tripp},
title = {SAND: A Static Analysis Approach for Detecting SQL Antipatterns},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3460319.3464818},
year = {2021},
}
Publisher's Version
ISSTA '21: "SCStudio: A Secure and Efficient ..."
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, and Yu Jiang
(Tsinghua University, China; WeBank, China; Ant Financial, China; University of Electronic Science and Technology of China, China)
@InProceedings{ISSTA21p827,
author = {Meng Ren and Fuchen Ma and Zijing Yin and Huizhong Li and Ying Fu and Ting Chen and Yu Jiang},
title = {SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {827-826},
doi = {10.1145/3460319.3469078},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Faster, Deeper, Easier: Crowdsourcing ..."
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Yicheng Pan, Meng Ma, Xinrui Jiang, and Ping Wang
(Peking University, China)
@InProceedings{ISSTA21p803,
author = {Yicheng Pan and Meng Ma and Xinrui Jiang and Ping Wang},
title = {Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {803-802},
doi = {10.1145/3460319.3464805},
year = {2021},
}
Publisher's Version
ISSTA '21: "Toward Optimal MC/DC Test ..."
Toward Optimal MC/DC Test Case Generation
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, and Arpita Dutta
(National Institute of Technology Warangal, India; National University of Singapore, Singapore; Huawei, Canada)
@InProceedings{ISSTA21p627,
author = {Sangharatna Godboley and Joxan Jaffar and Rasool Maghareh and Arpita Dutta},
title = {Toward Optimal MC/DC Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3460319.3464841},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Seed Selection for Successful ..."
Seed Selection for Successful Fuzzing
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, and Antony L. Hosking
(Australian National University, Australia; DST, Australia; CSIRO’s Data61, Australia; EPFL, Switzerland)
@InProceedings{ISSTA21p291,
author = {Adrian Herrera and Hendra Gunadi and Shane Magrath and Michael Norrish and Mathias Payer and Antony L. Hosking},
title = {Seed Selection for Successful Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {10.1145/3460319.3464795},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Matching of GUI Events ..."
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, and Valerio Terragni
(University of Milano-Bicocca, Italy; USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland; University of Auckland, New Zealand)
@InProceedings{ISSTA21p227,
author = {Leonardo Mariani and Ali Mohebbi and Mauro Pezzè and Valerio Terragni},
title = {Semantic Matching of GUI Events for Test Reuse: Are We There Yet?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {227-226},
doi = {10.1145/3460319.3464827},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Test-Case Prioritization for ..."
Test-Case Prioritization for Configuration Testing
Runxiang Cheng, Lingming Zhang, Darko Marinov, and Tianyin Xu
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p563,
author = {Runxiang Cheng and Lingming Zhang and Darko Marinov and Tianyin Xu},
title = {Test-Case Prioritization for Configuration Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {563-562},
doi = {10.1145/3460319.3464810},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "RESTest: Automated Black-Box ..."
RESTest: Automated Black-Box Testing of RESTful Web APIs
Alberto Martin-Lopez, Sergio Segura, and Antonio Ruiz-Cortés
(University of Seville, Spain)
@InProceedings{ISSTA21p843,
author = {Alberto Martin-Lopez and Sergio Segura and Antonio Ruiz-Cortés},
title = {RESTest: Automated Black-Box Testing of RESTful Web APIs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {843-842},
doi = {10.1145/3460319.3469082},
year = {2021},
}
Publisher's Version
ISSTA '21: "Exposing Previously Undetectable ..."
Exposing Previously Undetectable Faults in Deep Neural Networks
Isaac Dunn, Hadrien Pouget, Daniel Kroening, and Tom Melham
(University of Oxford, UK; Amazon, UK)
@InProceedings{ISSTA21p67,
author = {Isaac Dunn and Hadrien Pouget and Daniel Kroening and Tom Melham},
title = {Exposing Previously Undetectable Faults in Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3460319.3464801},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Log-Based Slicing for System-Level ..."
Log-Based Slicing for System-Level Test Cases
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada)
@InProceedings{ISSTA21p643,
author = {Salma Messaoudi and Donghwan Shin and Annibale Panichella and Domenico Bianculli and Lionel C. Briand},
title = {Log-Based Slicing for System-Level Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {643-642},
doi = {10.1145/3460319.3464824},
year = {2021},
}
Publisher's Version
ISSTA '21: "TERA: Optimizing Stochastic ..."
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Saikat Dutta, Jeeva Selvam, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p515,
author = {Saikat Dutta and Jeeva Selvam and Aryaman Jain and Sasa Misailovic},
title = {TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {515-514},
doi = {10.1145/3460319.3464844},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Modular Call Graph Construction ..."
Modular Call Graph Construction for Security Scanning of Node.js Applications
Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller
(Aarhus University, Denmark)
@InProceedings{ISSTA21p35,
author = {Benjamin Barslev Nielsen and Martin Toldam Torp and Anders Møller},
title = {Modular Call Graph Construction for Security Scanning of Node.js Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3460319.3464836},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Matching of GUI Events ..."
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, and Valerio Terragni
(University of Milano-Bicocca, Italy; USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland; University of Auckland, New Zealand)
@InProceedings{ISSTA21p227,
author = {Leonardo Mariani and Ali Mohebbi and Mauro Pezzè and Valerio Terragni},
title = {Semantic Matching of GUI Events for Test Reuse: Are We There Yet?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {227-226},
doi = {10.1145/3460319.3464827},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "The Impact of Tool Configuration ..."
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Austin Mordahl and Shiyi Wei
(University of Texas at Dallas, USA)
@InProceedings{ISSTA21p579,
author = {Austin Mordahl and Shiyi Wei},
title = {The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {579-578},
doi = {10.1145/3460319.3464823},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Fixing Dependency Errors for ..."
Fixing Dependency Errors for Python Build Reproducibility
Suchita Mukherjee, Abigail Almanza, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ISSTA21p547,
author = {Suchita Mukherjee and Abigail Almanza and Cindy Rubio-González},
title = {Fixing Dependency Errors for Python Build Reproducibility},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3460319.3464797},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "ProFuzzBench: A Benchmark ..."
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Roberto Natella and Van-Thuan Pham
(Federico II University of Naples, Italy; University of Melbourne, Australia)
@InProceedings{ISSTA21p823,
author = {Roberto Natella and Van-Thuan Pham},
title = {ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {823-822},
doi = {10.1145/3460319.3469077},
year = {2021},
}
Publisher's Version
ISSTA '21: "Modular Call Graph Construction ..."
Modular Call Graph Construction for Security Scanning of Node.js Applications
Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller
(Aarhus University, Denmark)
@InProceedings{ISSTA21p35,
author = {Benjamin Barslev Nielsen and Martin Toldam Torp and Anders Møller},
title = {Modular Call Graph Construction for Security Scanning of Node.js Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3460319.3464836},
year = {2021},
}
Publisher's Version
ISSTA '21: "QFuzz: Quantitative Fuzzing ..."
QFuzz: Quantitative Fuzzing for Side Channels
Yannic Noller and Saeid Tizpaz-Niari
(National University of Singapore, Singapore; University of Texas at El Paso, USA)
@InProceedings{ISSTA21p323,
author = {Yannic Noller and Saeid Tizpaz-Niari},
title = {QFuzz: Quantitative Fuzzing for Side Channels},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {323-322},
doi = {10.1145/3460319.3464817},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Seed Selection for Successful ..."
Seed Selection for Successful Fuzzing
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, and Antony L. Hosking
(Australian National University, Australia; DST, Australia; CSIRO’s Data61, Australia; EPFL, Switzerland)
@InProceedings{ISSTA21p291,
author = {Adrian Herrera and Hendra Gunadi and Shane Magrath and Michael Norrish and Mathias Payer and Antony L. Hosking},
title = {Seed Selection for Successful Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {10.1145/3460319.3464795},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Automated Debugging: Past, ..."
Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)
Chris Parnin and Alessandro Orso
(North Carolina State University, USA; Georgia Institute of Technology, USA)
@InProceedings{ISSTA21p1,
author = {Chris Parnin and Alessandro Orso},
title = {Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3460319.3472397},
year = {2021},
}
Publisher's Version
ISSTA '21: "Continuous Test Suite Failure ..."
Continuous Test Suite Failure Prediction
Cong Pan and Michael Pradel
(Beihang University, China; University of Stuttgart, Germany)
@InProceedings{ISSTA21p691,
author = {Cong Pan and Michael Pradel},
title = {Continuous Test Suite Failure Prediction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {691-690},
doi = {10.1145/3460319.3464840},
year = {2021},
}
Publisher's Version
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "Synthesize Solving Strategy ..."
Synthesize Solving Strategy for Symbolic Execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p435,
author = {Zhenbang Chen and Zehua Chen and Ziqi Shuai and Guofeng Zhang and Weiyu Pan and Yufeng Zhang and Ji Wang},
title = {Synthesize Solving Strategy for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3460319.3464815},
year = {2021},
}
Publisher's Version
ISSTA '21: "Grammar-Agnostic Symbolic ..."
Grammar-Agnostic Symbolic Execution by Token Symbolization
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p467,
author = {Weiyu Pan and Zhenbang Chen and Guofeng Zhang and Yunlai Luo and Yufeng Zhang and Ji Wang},
title = {Grammar-Agnostic Symbolic Execution by Token Symbolization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {467-466},
doi = {10.1145/3460319.3464845},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Faster, Deeper, Easier: Crowdsourcing ..."
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Yicheng Pan, Meng Ma, Xinrui Jiang, and Ping Wang
(Peking University, China)
@InProceedings{ISSTA21p803,
author = {Yicheng Pan and Meng Ma and Xinrui Jiang and Ping Wang},
title = {Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {803-802},
doi = {10.1145/3460319.3464805},
year = {2021},
}
Publisher's Version
ISSTA '21: "Log-Based Slicing for System-Level ..."
Log-Based Slicing for System-Level Test Cases
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada)
@InProceedings{ISSTA21p643,
author = {Salma Messaoudi and Donghwan Shin and Annibale Panichella and Domenico Bianculli and Lionel C. Briand},
title = {Log-Based Slicing for System-Level Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {643-642},
doi = {10.1145/3460319.3464824},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automated Debugging: Past, ..."
Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)
Chris Parnin and Alessandro Orso
(North Carolina State University, USA; Georgia Institute of Technology, USA)
@InProceedings{ISSTA21p1,
author = {Chris Parnin and Alessandro Orso},
title = {Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3460319.3472397},
year = {2021},
}
Publisher's Version
ISSTA '21: "Seed Selection for Successful ..."
Seed Selection for Successful Fuzzing
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, and Antony L. Hosking
(Australian National University, Australia; DST, Australia; CSIRO’s Data61, Australia; EPFL, Switzerland)
@InProceedings{ISSTA21p291,
author = {Adrian Herrera and Hendra Gunadi and Shane Magrath and Michael Norrish and Mathias Payer and Antony L. Hosking},
title = {Seed Selection for Successful Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {10.1145/3460319.3464795},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Gramatron: Effective Grammar-Aware ..."
Gramatron: Effective Grammar-Aware Fuzzing
Prashast Srivastava and Mathias Payer
(Purdue University, USA; EPFL, Switzerland)
@InProceedings{ISSTA21p307,
author = {Prashast Srivastava and Mathias Payer},
title = {Gramatron: Effective Grammar-Aware Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3460319.3464814},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Matching of GUI Events ..."
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, and Valerio Terragni
(University of Milano-Bicocca, Italy; USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland; University of Auckland, New Zealand)
@InProceedings{ISSTA21p227,
author = {Leonardo Mariani and Ali Mohebbi and Mauro Pezzè and Valerio Terragni},
title = {Semantic Matching of GUI Events for Test Reuse: Are We There Yet?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {227-226},
doi = {10.1145/3460319.3464827},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "ProFuzzBench: A Benchmark ..."
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Roberto Natella and Van-Thuan Pham
(Federico II University of Naples, Italy; University of Melbourne, Australia)
@InProceedings{ISSTA21p823,
author = {Roberto Natella and Van-Thuan Pham},
title = {ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {823-822},
doi = {10.1145/3460319.3469077},
year = {2021},
}
Publisher's Version
ISSTA '21: "Model-Based Testing of Networked ..."
Model-Based Testing of Networked Applications
Yishuai Li, Benjamin C. Pierce, and Steve Zdancewic
(University of Pennsylvania, USA)
@InProceedings{ISSTA21p659,
author = {Yishuai Li and Benjamin C. Pierce and Steve Zdancewic},
title = {Model-Based Testing of Networked Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {659-658},
doi = {10.1145/3460319.3464798},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Exposing Previously Undetectable ..."
Exposing Previously Undetectable Faults in Deep Neural Networks
Isaac Dunn, Hadrien Pouget, Daniel Kroening, and Tom Melham
(University of Oxford, UK; Amazon, UK)
@InProceedings{ISSTA21p67,
author = {Isaac Dunn and Hadrien Pouget and Daniel Kroening and Tom Melham},
title = {Exposing Previously Undetectable Faults in Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3460319.3464801},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Continuous Test Suite Failure ..."
Continuous Test Suite Failure Prediction
Cong Pan and Michael Pradel
(Beihang University, China; University of Stuttgart, Germany)
@InProceedings{ISSTA21p691,
author = {Cong Pan and Michael Pradel},
title = {Continuous Test Suite Failure Prediction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {691-690},
doi = {10.1145/3460319.3464840},
year = {2021},
}
Publisher's Version
ISSTA '21: "Finding Data Compatibility ..."
Finding Data Compatibility Bugs with JSON Subschema Checking
Andrew Habib, Avraham Shinnar, Martin Hirzel, and Michael Pradel
(University of Luxembourg, Luxembourg; IBM Research, USA; University of Stuttgart, Germany)
@InProceedings{ISSTA21p771,
author = {Andrew Habib and Avraham Shinnar and Martin Hirzel and Michael Pradel},
title = {Finding Data Compatibility Bugs with JSON Subschema Checking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {771-770},
doi = {10.1145/3460319.3464796},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Empirically Evaluating Readily ..."
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Daniel Elsner, Florian Hauer, Alexander Pretschner, and Silke Reimer
(TU Munich, Germany; IVU Traffic Technologies, Germany)
@InProceedings{ISSTA21p611,
author = {Daniel Elsner and Florian Hauer and Alexander Pretschner and Silke Reimer},
title = {Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3460319.3464834},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Understanding and Finding ..."
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su
(East China Normal University, China; National University of Singapore, Singapore; Peking University, China; ETH Zurich, Switzerland)
@InProceedings{ISSTA21p259,
author = {Jingling Sun and Ting Su and Junxin Li and Zhen Dong and Geguang Pu and Tao Xie and Zhendong Su},
title = {Understanding and Finding System Setting-Related Defects in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {259-258},
doi = {10.1145/3460319.3464806},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "iDEV: Exploring and Exploiting ..."
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Shisong Qin, Chao Zhang, Kaixiang Chen, and Zheming Li
(Tsinghua University, China)
@InProceedings{ISSTA21p723,
author = {Shisong Qin and Chao Zhang and Kaixiang Chen and Zheming Li},
title = {iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {723-722},
doi = {10.1145/3460319.3464842},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirically Evaluating Readily ..."
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Daniel Elsner, Florian Hauer, Alexander Pretschner, and Silke Reimer
(TU Munich, Germany; IVU Traffic Technologies, Germany)
@InProceedings{ISSTA21p611,
author = {Daniel Elsner and Florian Hauer and Alexander Pretschner and Silke Reimer},
title = {Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3460319.3464834},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "SCStudio: A Secure and Efficient ..."
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, and Yu Jiang
(Tsinghua University, China; WeBank, China; Ant Financial, China; University of Electronic Science and Technology of China, China)
@InProceedings{ISSTA21p827,
author = {Meng Ren and Fuchen Ma and Zijing Yin and Huizhong Li and Ying Fu and Ting Chen and Yu Jiang},
title = {SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {827-826},
doi = {10.1145/3460319.3469078},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "DeepHyperion: Exploring the ..."
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, and Paolo Tonella
(USI Lugano, Switzerland; University of Passau, Germany)
@InProceedings{ISSTA21p99,
author = {Tahereh Zohdinasab and Vincenzo Riccio and Alessio Gambi and Paolo Tonella},
title = {DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3460319.3464811},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Automated Patch Backporting ..."
Automated Patch Backporting in Linux (Experience Paper)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, and Abhik Roychoudhury
(National University of Singapore, Singapore; Southern University of Science and Technology, China; Inria, France)
@InProceedings{ISSTA21p787,
author = {Ridwan Shariffdeen and Xiang Gao and Gregory J. Duck and Shin Hwei Tan and Julia Lawall and Abhik Roychoudhury},
title = {Automated Patch Backporting in Linux (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {787-786},
doi = {10.1145/3460319.3464821},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Fixing Dependency Errors for ..."
Fixing Dependency Errors for Python Build Reproducibility
Suchita Mukherjee, Abigail Almanza, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ISSTA21p547,
author = {Suchita Mukherjee and Abigail Almanza and Cindy Rubio-González},
title = {Fixing Dependency Errors for Python Build Reproducibility},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3460319.3464797},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "RESTest: Automated Black-Box ..."
RESTest: Automated Black-Box Testing of RESTful Web APIs
Alberto Martin-Lopez, Sergio Segura, and Antonio Ruiz-Cortés
(University of Seville, Spain)
@InProceedings{ISSTA21p843,
author = {Alberto Martin-Lopez and Sergio Segura and Antonio Ruiz-Cortés},
title = {RESTest: Automated Black-Box Testing of RESTful Web APIs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {843-842},
doi = {10.1145/3460319.3469082},
year = {2021},
}
Publisher's Version
ISSTA '21: "RESTest: Automated Black-Box ..."
RESTest: Automated Black-Box Testing of RESTful Web APIs
Alberto Martin-Lopez, Sergio Segura, and Antonio Ruiz-Cortés
(University of Seville, Spain)
@InProceedings{ISSTA21p843,
author = {Alberto Martin-Lopez and Sergio Segura and Antonio Ruiz-Cortés},
title = {RESTest: Automated Black-Box Testing of RESTful Web APIs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {843-842},
doi = {10.1145/3460319.3469082},
year = {2021},
}
Publisher's Version
ISSTA '21: "TERA: Optimizing Stochastic ..."
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Saikat Dutta, Jeeva Selvam, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p515,
author = {Saikat Dutta and Jeeva Selvam and Aryaman Jain and Sasa Misailovic},
title = {TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {515-514},
doi = {10.1145/3460319.3464844},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Automated Patch Backporting ..."
Automated Patch Backporting in Linux (Experience Paper)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, and Abhik Roychoudhury
(National University of Singapore, Singapore; Southern University of Science and Technology, China; Inria, France)
@InProceedings{ISSTA21p787,
author = {Ridwan Shariffdeen and Xiang Gao and Gregory J. Duck and Shin Hwei Tan and Julia Lawall and Abhik Roychoudhury},
title = {Automated Patch Backporting in Linux (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {787-786},
doi = {10.1145/3460319.3464821},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Fuzzing SMT Solvers via Two-Dimensional ..."
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{ISSTA21p403,
author = {Peisen Yao and Heqing Huang and Wensheng Tang and Qingkai Shi and Rongxin Wu and Charles Zhang},
title = {Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {403-402},
doi = {10.1145/3460319.3464803},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automatic Test Suite Generation ..."
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, and Jun Wang
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; IEE, Luxembourg; Post Luxembourg, Luxembourg)
@InProceedings{ISSTA21p115,
author = {Fitash Ul Haq and Donghwan Shin and Lionel C. Briand and Thomas Stifter and Jun Wang},
title = {Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {115-114},
doi = {10.1145/3460319.3464802},
year = {2021},
}
Publisher's Version
ISSTA '21: "Log-Based Slicing for System-Level ..."
Log-Based Slicing for System-Level Test Cases
Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada)
@InProceedings{ISSTA21p643,
author = {Salma Messaoudi and Donghwan Shin and Annibale Panichella and Domenico Bianculli and Lionel C. Briand},
title = {Log-Based Slicing for System-Level Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {643-642},
doi = {10.1145/3460319.3464824},
year = {2021},
}
Publisher's Version
ISSTA '21: "Finding Data Compatibility ..."
Finding Data Compatibility Bugs with JSON Subschema Checking
Andrew Habib, Avraham Shinnar, Martin Hirzel, and Michael Pradel
(University of Luxembourg, Luxembourg; IBM Research, USA; University of Stuttgart, Germany)
@InProceedings{ISSTA21p771,
author = {Andrew Habib and Avraham Shinnar and Martin Hirzel and Michael Pradel},
title = {Finding Data Compatibility Bugs with JSON Subschema Checking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {771-770},
doi = {10.1145/3460319.3464796},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Synthesize Solving Strategy ..."
Synthesize Solving Strategy for Symbolic Execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p435,
author = {Zhenbang Chen and Zehua Chen and Ziqi Shuai and Guofeng Zhang and Weiyu Pan and Yufeng Zhang and Ji Wang},
title = {Synthesize Solving Strategy for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3460319.3464815},
year = {2021},
}
Publisher's Version
ISSTA '21: "Type and Interval Aware Array ..."
Type and Interval Aware Array Constraint Solving for Symbolic Execution
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, and Ji Wang
(National University of Defense Technology, China; Hunan University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p451,
author = {Ziqi Shuai and Zhenbang Chen and Yufeng Zhang and Jun Sun and Ji Wang},
title = {Type and Interval Aware Array Constraint Solving for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3460319.3464826},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Attack as Defense: Characterizing ..."
Attack as Defense: Characterizing Adversarial Examples using Robustness
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun
(ShanghaiTech University, China; Zhejiang University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p51,
author = {Zhe Zhao and Guangke Chen and Jingyi Wang and Yiwei Yang and Fu Song and Jun Sun},
title = {Attack as Defense: Characterizing Adversarial Examples using Robustness},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3460319.3464822},
year = {2021},
}
Publisher's Version
ISSTA '21: "UAFSan: An Object-Identifier-Based ..."
UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Binfa Gui, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
@InProceedings{ISSTA21p387,
author = {Binfa Gui and Wei Song and Jeff Huang},
title = {UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {387-386},
doi = {10.1145/3460319.3464835},
year = {2021},
}
Publisher's Version
ISSTA '21: "Gramatron: Effective Grammar-Aware ..."
Gramatron: Effective Grammar-Aware Fuzzing
Prashast Srivastava and Mathias Payer
(Purdue University, USA; EPFL, Switzerland)
@InProceedings{ISSTA21p307,
author = {Prashast Srivastava and Mathias Payer},
title = {Gramatron: Effective Grammar-Aware Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3460319.3464814},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Validating Static Warnings ..."
Validating Static Warnings via Testing Code Fragments
Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, and Wei Le
(Iowa State University, USA)
@InProceedings{ISSTA21p675,
author = {Ashwin Kallingal Joshy and Xueyuan Chen and Benjamin Steenhoek and Wei Le},
title = {Validating Static Warnings via Testing Code Fragments},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {675-674},
doi = {10.1145/3460319.3464832},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Automatic Test Suite Generation ..."
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, and Jun Wang
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; IEE, Luxembourg; Post Luxembourg, Luxembourg)
@InProceedings{ISSTA21p115,
author = {Fitash Ul Haq and Donghwan Shin and Lionel C. Briand and Thomas Stifter and Jun Wang},
title = {Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {115-114},
doi = {10.1145/3460319.3464802},
year = {2021},
}
Publisher's Version
ISSTA '21: "Understanding and Finding ..."
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su
(East China Normal University, China; National University of Singapore, Singapore; Peking University, China; ETH Zurich, Switzerland)
@InProceedings{ISSTA21p259,
author = {Jingling Sun and Ting Su and Junxin Li and Zhen Dong and Geguang Pu and Tao Xie and Zhendong Su},
title = {Understanding and Finding System Setting-Related Defects in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {259-258},
doi = {10.1145/3460319.3464806},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Understanding and Finding ..."
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su
(East China Normal University, China; National University of Singapore, Singapore; Peking University, China; ETH Zurich, Switzerland)
@InProceedings{ISSTA21p259,
author = {Jingling Sun and Ting Su and Junxin Li and Zhen Dong and Geguang Pu and Tao Xie and Zhendong Su},
title = {Understanding and Finding System Setting-Related Defects in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {259-258},
doi = {10.1145/3460319.3464806},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Runtime Detection of Memory ..."
Runtime Detection of Memory Errors with Smart Status
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, and Jingling Xue
(Nanjing University of Aeronautics and Astronautics, China; University of Technology Sydney, Australia; UNSW, Australia)
@InProceedings{ISSTA21p371,
author = {Zhe Chen and Chong Wang and Junqi Yan and Yulei Sui and Jingling Xue},
title = {Runtime Detection of Memory Errors with Smart Status},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {371-370},
doi = {10.1145/3460319.3464807},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Understanding and Finding ..."
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su
(East China Normal University, China; National University of Singapore, Singapore; Peking University, China; ETH Zurich, Switzerland)
@InProceedings{ISSTA21p259,
author = {Jingling Sun and Ting Su and Junxin Li and Zhen Dong and Geguang Pu and Tao Xie and Zhendong Su},
title = {Understanding and Finding System Setting-Related Defects in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {259-258},
doi = {10.1145/3460319.3464806},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Type and Interval Aware Array ..."
Type and Interval Aware Array Constraint Solving for Symbolic Execution
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, and Ji Wang
(National University of Defense Technology, China; Hunan University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p451,
author = {Ziqi Shuai and Zhenbang Chen and Yufeng Zhang and Jun Sun and Ji Wang},
title = {Type and Interval Aware Array Constraint Solving for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3460319.3464826},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Attack as Defense: Characterizing ..."
Attack as Defense: Characterizing Adversarial Examples using Robustness
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun
(ShanghaiTech University, China; Zhejiang University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p51,
author = {Zhe Zhao and Guangke Chen and Jingyi Wang and Yiwei Yang and Fu Song and Jun Sun},
title = {Attack as Defense: Characterizing Adversarial Examples using Robustness},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3460319.3464822},
year = {2021},
}
Publisher's Version
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automated Patch Backporting ..."
Automated Patch Backporting in Linux (Experience Paper)
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, and Abhik Roychoudhury
(National University of Singapore, Singapore; Southern University of Science and Technology, China; Inria, France)
@InProceedings{ISSTA21p787,
author = {Ridwan Shariffdeen and Xiang Gao and Gregory J. Duck and Shin Hwei Tan and Julia Lawall and Abhik Roychoudhury},
title = {Automated Patch Backporting in Linux (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {787-786},
doi = {10.1145/3460319.3464821},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Fuzzing SMT Solvers via Two-Dimensional ..."
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{ISSTA21p403,
author = {Peisen Yao and Heqing Huang and Wensheng Tang and Qingkai Shi and Rongxin Wu and Charles Zhang},
title = {Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {403-402},
doi = {10.1145/3460319.3464803},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Matching of GUI Events ..."
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, and Valerio Terragni
(University of Milano-Bicocca, Italy; USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland; University of Auckland, New Zealand)
@InProceedings{ISSTA21p227,
author = {Leonardo Mariani and Ali Mohebbi and Mauro Pezzè and Valerio Terragni},
title = {Semantic Matching of GUI Events for Test Reuse: Are We There Yet?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {227-226},
doi = {10.1145/3460319.3464827},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "AdvDoor: Adversarial Backdoor ..."
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, and Yu Jiang
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China)
@InProceedings{ISSTA21p163,
author = {Quan Zhang and Yifeng Ding and Yongqiang Tian and Jianmin Guo and Min Yuan and Yu Jiang},
title = {AdvDoor: Adversarial Backdoor Attack of Deep Learning System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3460319.3464809},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "QFuzz: Quantitative Fuzzing ..."
QFuzz: Quantitative Fuzzing for Side Channels
Yannic Noller and Saeid Tizpaz-Niari
(National University of Singapore, Singapore; University of Texas at El Paso, USA)
@InProceedings{ISSTA21p323,
author = {Yannic Noller and Saeid Tizpaz-Niari},
title = {QFuzz: Quantitative Fuzzing for Side Channels},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {323-322},
doi = {10.1145/3460319.3464817},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "DeepCrime: Mutation Testing ..."
DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
Nargiz Humbatova, Gunel Jahangirova, and Paolo Tonella
(USI Lugano, Switzerland)
@InProceedings{ISSTA21p83,
author = {Nargiz Humbatova and Gunel Jahangirova and Paolo Tonella},
title = {DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {83-82},
doi = {10.1145/3460319.3464825},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "DeepHyperion: Exploring the ..."
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, and Paolo Tonella
(USI Lugano, Switzerland; University of Passau, Germany)
@InProceedings{ISSTA21p99,
author = {Tahereh Zohdinasab and Vincenzo Riccio and Alessio Gambi and Paolo Tonella},
title = {DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3460319.3464811},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Modular Call Graph Construction ..."
Modular Call Graph Construction for Security Scanning of Node.js Applications
Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller
(Aarhus University, Denmark)
@InProceedings{ISSTA21p35,
author = {Benjamin Barslev Nielsen and Martin Toldam Torp and Anders Møller},
title = {Modular Call Graph Construction for Security Scanning of Node.js Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3460319.3464836},
year = {2021},
}
Publisher's Version
ISSTA '21: "SAND: A Static Analysis Approach ..."
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Yingjun Lyu, Sasha Volokh, William G. J. Halfond, and Omer Tripp
(Amazon, USA; University of Southern California, USA)
@InProceedings{ISSTA21p339,
author = {Yingjun Lyu and Sasha Volokh and William G. J. Halfond and Omer Tripp},
title = {SAND: A Static Analysis Approach for Detecting SQL Antipatterns},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3460319.3464818},
year = {2021},
}
Publisher's Version
ISSTA '21: "SAND: A Static Analysis Approach ..."
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Yingjun Lyu, Sasha Volokh, William G. J. Halfond, and Omer Tripp
(Amazon, USA; University of Southern California, USA)
@InProceedings{ISSTA21p339,
author = {Yingjun Lyu and Sasha Volokh and William G. J. Halfond and Omer Tripp},
title = {SAND: A Static Analysis Approach for Detecting SQL Antipatterns},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3460319.3464818},
year = {2021},
}
Publisher's Version
ISSTA '21: "MoScan: A Model-Based Vulnerability ..."
MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, and Kostyantyn Vorobyov
(University of Queensland, Australia; Oracle, Australia)
@InProceedings{ISSTA21p839,
author = {Hanlin Wei and Behnaz Hassanshahi and Guangdong Bai and Padmanabhan Krishnan and Kostyantyn Vorobyov},
title = {MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {839-838},
doi = {10.1145/3460319.3469081},
year = {2021},
}
Publisher's Version
ISSTA '21: "Runtime Detection of Memory ..."
Runtime Detection of Memory Errors with Smart Status
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, and Jingling Xue
(Nanjing University of Aeronautics and Astronautics, China; University of Technology Sydney, Australia; UNSW, Australia)
@InProceedings{ISSTA21p371,
author = {Zhe Chen and Chong Wang and Junqi Yan and Yulei Sui and Jingling Xue},
title = {Runtime Detection of Memory Errors with Smart Status},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {371-370},
doi = {10.1145/3460319.3464807},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "TauMed: Test Augmentation ..."
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA21p835,
author = {Yunhan Hou and Jiawei Liu and Daiwei Wang and Jiawei He and Chunrong Fang and Zhenyu Chen},
title = {TauMed: Test Augmentation of Deep Learning in Medical Diagnosis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {835-834},
doi = {10.1145/3460319.3469080},
year = {2021},
}
Publisher's Version
ISSTA '21: "Synthesize Solving Strategy ..."
Synthesize Solving Strategy for Symbolic Execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p435,
author = {Zhenbang Chen and Zehua Chen and Ziqi Shuai and Guofeng Zhang and Weiyu Pan and Yufeng Zhang and Ji Wang},
title = {Synthesize Solving Strategy for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3460319.3464815},
year = {2021},
}
Publisher's Version
ISSTA '21: "Type and Interval Aware Array ..."
Type and Interval Aware Array Constraint Solving for Symbolic Execution
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, and Ji Wang
(National University of Defense Technology, China; Hunan University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p451,
author = {Ziqi Shuai and Zhenbang Chen and Yufeng Zhang and Jun Sun and Ji Wang},
title = {Type and Interval Aware Array Constraint Solving for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3460319.3464826},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Grammar-Agnostic Symbolic ..."
Grammar-Agnostic Symbolic Execution by Token Symbolization
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p467,
author = {Weiyu Pan and Zhenbang Chen and Guofeng Zhang and Yunlai Luo and Yufeng Zhang and Ji Wang},
title = {Grammar-Agnostic Symbolic Execution by Token Symbolization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {467-466},
doi = {10.1145/3460319.3464845},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "Attack as Defense: Characterizing ..."
Attack as Defense: Characterizing Adversarial Examples using Robustness
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun
(ShanghaiTech University, China; Zhejiang University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p51,
author = {Zhe Zhao and Guangke Chen and Jingyi Wang and Yiwei Yang and Fu Song and Jun Sun},
title = {Attack as Defense: Characterizing Adversarial Examples using Robustness},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3460319.3464822},
year = {2021},
}
Publisher's Version
ISSTA '21: "Automatic Test Suite Generation ..."
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand, Thomas Stifter, and Jun Wang
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; IEE, Luxembourg; Post Luxembourg, Luxembourg)
@InProceedings{ISSTA21p115,
author = {Fitash Ul Haq and Donghwan Shin and Lionel C. Briand and Thomas Stifter and Jun Wang},
title = {Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {115-114},
doi = {10.1145/3460319.3464802},
year = {2021},
}
Publisher's Version
ISSTA '21: "Faster, Deeper, Easier: Crowdsourcing ..."
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Yicheng Pan, Meng Ma, Xinrui Jiang, and Ping Wang
(Peking University, China)
@InProceedings{ISSTA21p803,
author = {Yicheng Pan and Meng Ma and Xinrui Jiang and Ping Wang},
title = {Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {803-802},
doi = {10.1145/3460319.3464805},
year = {2021},
}
Publisher's Version
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "An Infrastructure Approach ..."
An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Wenyu Wang, Wing Lam, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Peking University, China)
@InProceedings{ISSTA21p211,
author = {Wenyu Wang and Wing Lam and Tao Xie},
title = {An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3460319.3464828},
year = {2021},
}
Publisher's Version
ISSTA '21: "Boosting Symbolic Execution ..."
Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, and Yangfan Zhou
(Fudan University, China)
@InProceedings{ISSTA21p419,
author = {Sicheng Luo and Hui Xu and Yanxiang Bi and Xin Wang and Yangfan Zhou},
title = {Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {419-418},
doi = {10.1145/3460319.3464813},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "MoScan: A Model-Based Vulnerability ..."
MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, and Kostyantyn Vorobyov
(University of Queensland, Australia; Oracle, Australia)
@InProceedings{ISSTA21p839,
author = {Hanlin Wei and Behnaz Hassanshahi and Guangdong Bai and Padmanabhan Krishnan and Kostyantyn Vorobyov},
title = {MoScan: A Model-Based Vulnerability Scanner for Web Single Sign-On Services},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {839-838},
doi = {10.1145/3460319.3469081},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "The Impact of Tool Configuration ..."
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Austin Mordahl and Shiyi Wei
(University of Texas at Dallas, USA)
@InProceedings{ISSTA21p579,
author = {Austin Mordahl and Shiyi Wei},
title = {The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {579-578},
doi = {10.1145/3460319.3464823},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "C4: The C Compiler Concurrency ..."
C4: The C Compiler Concurrency Checker
Matt Windsor, Alastair F. Donaldson, and John Wickerson
(University of York, UK; Imperial College London, UK)
@InProceedings{ISSTA21p831,
author = {Matt Windsor and Alastair F. Donaldson and John Wickerson},
title = {C4: The C Compiler Concurrency Checker},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {831-830},
doi = {10.1145/3460319.3469079},
year = {2021},
}
Publisher's Version
ISSTA '21: "C4: The C Compiler Concurrency ..."
C4: The C Compiler Concurrency Checker
Matt Windsor, Alastair F. Donaldson, and John Wickerson
(University of York, UK; Imperial College London, UK)
@InProceedings{ISSTA21p831,
author = {Matt Windsor and Alastair F. Donaldson and John Wickerson},
title = {C4: The C Compiler Concurrency Checker},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {831-830},
doi = {10.1145/3460319.3469079},
year = {2021},
}
Publisher's Version
ISSTA '21: "Parema: An Unpacking Framework ..."
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, and Yajin Zhou
(Hong Kong Polytechnic University, China; Xi'an Jiaotong University, China; Pennsylvania State University, USA; Zhejiang University, China)
@InProceedings{ISSTA21p195,
author = {Lei Xue and Yuxiao Yan and Luyi Yan and Muhui Jiang and Xiapu Luo and Dinghao Wu and Yajin Zhou},
title = {Parema: An Unpacking Framework for Demystifying VM-Based Android Packers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3460319.3464839},
year = {2021},
}
Publisher's Version
ISSTA '21: "Fuzzing SMT Solvers via Two-Dimensional ..."
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{ISSTA21p403,
author = {Peisen Yao and Heqing Huang and Wensheng Tang and Qingkai Shi and Rongxin Wu and Charles Zhang},
title = {Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {403-402},
doi = {10.1145/3460319.3464803},
year = {2021},
}
Publisher's Version
ISSTA '21: "HomDroid: Detecting Android ..."
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Yueming Wu, Deqing Zou, Wei Yang, Xiang Li, and Hai Jin
(Huazhong University of Science and Technology, China; University of Texas at Dallas, USA)
@InProceedings{ISSTA21p275,
author = {Yueming Wu and Deqing Zou and Wei Yang and Xiang Li and Hai Jin},
title = {HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {275-274},
doi = {10.1145/3460319.3464833},
year = {2021},
}
Publisher's Version
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "An Infrastructure Approach ..."
An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Wenyu Wang, Wing Lam, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Peking University, China)
@InProceedings{ISSTA21p211,
author = {Wenyu Wang and Wing Lam and Tao Xie},
title = {An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3460319.3464828},
year = {2021},
}
Publisher's Version
ISSTA '21: "Understanding and Finding ..."
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su
(East China Normal University, China; National University of Singapore, Singapore; Peking University, China; ETH Zurich, Switzerland)
@InProceedings{ISSTA21p259,
author = {Jingling Sun and Ting Su and Junxin Li and Zhen Dong and Geguang Pu and Tao Xie and Zhendong Su},
title = {Understanding and Finding System Setting-Related Defects in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {259-258},
doi = {10.1145/3460319.3464806},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Boosting Symbolic Execution ..."
Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, and Yangfan Zhou
(Fudan University, China)
@InProceedings{ISSTA21p419,
author = {Sicheng Luo and Hui Xu and Yanxiang Bi and Xin Wang and Yangfan Zhou},
title = {Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {419-418},
doi = {10.1145/3460319.3464813},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Test-Case Prioritization for ..."
Test-Case Prioritization for Configuration Testing
Runxiang Cheng, Lingming Zhang, Darko Marinov, and Tianyin Xu
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p563,
author = {Runxiang Cheng and Lingming Zhang and Darko Marinov and Tianyin Xu},
title = {Test-Case Prioritization for Configuration Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {563-562},
doi = {10.1145/3460319.3464810},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Runtime Detection of Memory ..."
Runtime Detection of Memory Errors with Smart Status
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, and Jingling Xue
(Nanjing University of Aeronautics and Astronautics, China; University of Technology Sydney, Australia; UNSW, Australia)
@InProceedings{ISSTA21p371,
author = {Zhe Chen and Chong Wang and Junqi Yan and Yulei Sui and Jingling Xue},
title = {Runtime Detection of Memory Errors with Smart Status},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {371-370},
doi = {10.1145/3460319.3464807},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Parema: An Unpacking Framework ..."
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, and Yajin Zhou
(Hong Kong Polytechnic University, China; Xi'an Jiaotong University, China; Pennsylvania State University, USA; Zhejiang University, China)
@InProceedings{ISSTA21p195,
author = {Lei Xue and Yuxiao Yan and Luyi Yan and Muhui Jiang and Xiapu Luo and Dinghao Wu and Yajin Zhou},
title = {Parema: An Unpacking Framework for Demystifying VM-Based Android Packers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3460319.3464839},
year = {2021},
}
Publisher's Version
ISSTA '21: "A Lightweight Framework for ..."
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Han Gao, Shaoyin Cheng, Yinxing Xue, and Weiming Zhang
(University of Science and Technology of China, China)
@InProceedings{ISSTA21p755,
author = {Han Gao and Shaoyin Cheng and Yinxing Xue and Weiming Zhang},
title = {A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {755-754},
doi = {10.1145/3460319.3464804},
year = {2021},
}
Publisher's Version
ISSTA '21: "Runtime Detection of Memory ..."
Runtime Detection of Memory Errors with Smart Status
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, and Jingling Xue
(Nanjing University of Aeronautics and Astronautics, China; University of Technology Sydney, Australia; UNSW, Australia)
@InProceedings{ISSTA21p371,
author = {Zhe Chen and Chong Wang and Junqi Yan and Yulei Sui and Jingling Xue},
title = {Runtime Detection of Memory Errors with Smart Status},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {371-370},
doi = {10.1145/3460319.3464807},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Parema: An Unpacking Framework ..."
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, and Yajin Zhou
(Hong Kong Polytechnic University, China; Xi'an Jiaotong University, China; Pennsylvania State University, USA; Zhejiang University, China)
@InProceedings{ISSTA21p195,
author = {Lei Xue and Yuxiao Yan and Luyi Yan and Muhui Jiang and Xiapu Luo and Dinghao Wu and Yajin Zhou},
title = {Parema: An Unpacking Framework for Demystifying VM-Based Android Packers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3460319.3464839},
year = {2021},
}
Publisher's Version
ISSTA '21: "Parema: An Unpacking Framework ..."
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, and Yajin Zhou
(Hong Kong Polytechnic University, China; Xi'an Jiaotong University, China; Pennsylvania State University, USA; Zhejiang University, China)
@InProceedings{ISSTA21p195,
author = {Lei Xue and Yuxiao Yan and Luyi Yan and Muhui Jiang and Xiapu Luo and Dinghao Wu and Yajin Zhou},
title = {Parema: An Unpacking Framework for Demystifying VM-Based Android Packers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3460319.3464839},
year = {2021},
}
Publisher's Version
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "HomDroid: Detecting Android ..."
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Yueming Wu, Deqing Zou, Wei Yang, Xiang Li, and Hai Jin
(Huazhong University of Science and Technology, China; University of Texas at Dallas, USA)
@InProceedings{ISSTA21p275,
author = {Yueming Wu and Deqing Zou and Wei Yang and Xiang Li and Hai Jin},
title = {HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {275-274},
doi = {10.1145/3460319.3464833},
year = {2021},
}
Publisher's Version
ISSTA '21: "Attack as Defense: Characterizing ..."
Attack as Defense: Characterizing Adversarial Examples using Robustness
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun
(ShanghaiTech University, China; Zhejiang University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p51,
author = {Zhe Zhao and Guangke Chen and Jingyi Wang and Yiwei Yang and Fu Song and Jun Sun},
title = {Attack as Defense: Characterizing Adversarial Examples using Robustness},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3460319.3464822},
year = {2021},
}
Publisher's Version
ISSTA '21: "ModelDiff: Testing-Based DNN ..."
ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, and Yunxin Liu
(Microsoft Research, China; Peking University, China; Tsinghua University, China)
@InProceedings{ISSTA21p179,
author = {Yuanchun Li and Ziqi Zhang and Bingyan Liu and Ziyue Yang and Yunxin Liu},
title = {ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3460319.3464816},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Fuzzing SMT Solvers via Two-Dimensional ..."
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{ISSTA21p403,
author = {Peisen Yao and Heqing Huang and Wensheng Tang and Qingkai Shi and Rongxin Wu and Charles Zhang},
title = {Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {403-402},
doi = {10.1145/3460319.3464803},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "SCStudio: A Secure and Efficient ..."
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, and Yu Jiang
(Tsinghua University, China; WeBank, China; Ant Financial, China; University of Electronic Science and Technology of China, China)
@InProceedings{ISSTA21p827,
author = {Meng Ren and Fuchen Ma and Zijing Yin and Huizhong Li and Ying Fu and Ting Chen and Yu Jiang},
title = {SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {827-826},
doi = {10.1145/3460319.3469078},
year = {2021},
}
Publisher's Version
ISSTA '21: "Empirical Evaluation of Smart ..."
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p707,
author = {Meng Ren and Zijing Yin and Fuchen Ma and Zhenyang Xu and Yu Jiang and Chengnian Sun and Huizhong Li and Yan Cai},
title = {Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {707-706},
doi = {10.1145/3460319.3464837},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "AdvDoor: Adversarial Backdoor ..."
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, and Yu Jiang
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China)
@InProceedings{ISSTA21p163,
author = {Quan Zhang and Yifeng Ding and Yongqiang Tian and Jianmin Guo and Min Yuan and Yu Jiang},
title = {AdvDoor: Adversarial Backdoor Attack of Deep Learning System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3460319.3464809},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "RAProducer: Efficiently Diagnose ..."
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao
(Tsinghua University, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p739,
author = {Ming Yuan and Yeseop Lee and Chao Zhang and Yun Li and Yan Cai and Bodong Zhao},
title = {RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3460319.3464831},
year = {2021},
}
Publisher's Version
ISSTA '21: "Model-Based Testing of Networked ..."
Model-Based Testing of Networked Applications
Yishuai Li, Benjamin C. Pierce, and Steve Zdancewic
(University of Pennsylvania, USA)
@InProceedings{ISSTA21p659,
author = {Yishuai Li and Benjamin C. Pierce and Steve Zdancewic},
title = {Model-Based Testing of Networked Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {659-658},
doi = {10.1145/3460319.3464798},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "Deep Just-in-Time Defect Prediction: ..."
Deep Just-in-Time Defect Prediction: How Far Are We?
Zhengran Zeng, Yuqun Zhang, Haotian Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p531,
author = {Zhengran Zeng and Yuqun Zhang and Haotian Zhang and Lingming Zhang},
title = {Deep Just-in-Time Defect Prediction: How Far Are We?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {531-530},
doi = {10.1145/3460319.3464819},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "iDEV: Exploring and Exploiting ..."
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Shisong Qin, Chao Zhang, Kaixiang Chen, and Zheming Li
(Tsinghua University, China)
@InProceedings{ISSTA21p723,
author = {Shisong Qin and Chao Zhang and Kaixiang Chen and Zheming Li},
title = {iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {723-722},
doi = {10.1145/3460319.3464842},
year = {2021},
}
Publisher's Version
ISSTA '21: "RAProducer: Efficiently Diagnose ..."
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao
(Tsinghua University, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p739,
author = {Ming Yuan and Yeseop Lee and Chao Zhang and Yun Li and Yan Cai and Bodong Zhao},
title = {RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3460319.3464831},
year = {2021},
}
Publisher's Version
ISSTA '21: "Fuzzing SMT Solvers via Two-Dimensional ..."
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{ISSTA21p403,
author = {Peisen Yao and Heqing Huang and Wensheng Tang and Qingkai Shi and Rongxin Wu and Charles Zhang},
title = {Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {403-402},
doi = {10.1145/3460319.3464803},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "Synthesize Solving Strategy ..."
Synthesize Solving Strategy for Symbolic Execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p435,
author = {Zhenbang Chen and Zehua Chen and Ziqi Shuai and Guofeng Zhang and Weiyu Pan and Yufeng Zhang and Ji Wang},
title = {Synthesize Solving Strategy for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3460319.3464815},
year = {2021},
}
Publisher's Version
ISSTA '21: "Grammar-Agnostic Symbolic ..."
Grammar-Agnostic Symbolic Execution by Token Symbolization
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p467,
author = {Weiyu Pan and Zhenbang Chen and Guofeng Zhang and Yunlai Luo and Yufeng Zhang and Ji Wang},
title = {Grammar-Agnostic Symbolic Execution by Token Symbolization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {467-466},
doi = {10.1145/3460319.3464845},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Deep Just-in-Time Defect Prediction: ..."
Deep Just-in-Time Defect Prediction: How Far Are We?
Zhengran Zeng, Yuqun Zhang, Haotian Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p531,
author = {Zhengran Zeng and Yuqun Zhang and Haotian Zhang and Lingming Zhang},
title = {Deep Just-in-Time Defect Prediction: How Far Are We?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {531-530},
doi = {10.1145/3460319.3464819},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Efficient White-Box Fairness ..."
Efficient White-Box Fairness Testing through Gradient Search
Lingfeng Zhang, Yueling Zhang, and Min Zhang
(East China Normal University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p131,
author = {Lingfeng Zhang and Yueling Zhang and Min Zhang},
title = {Efficient White-Box Fairness Testing through Gradient Search},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3460319.3464820},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Deep Just-in-Time Defect Prediction: ..."
Deep Just-in-Time Defect Prediction: How Far Are We?
Zhengran Zeng, Yuqun Zhang, Haotian Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p531,
author = {Zhengran Zeng and Yuqun Zhang and Haotian Zhang and Lingming Zhang},
title = {Deep Just-in-Time Defect Prediction: How Far Are We?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {531-530},
doi = {10.1145/3460319.3464819},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Test-Case Prioritization for ..."
Test-Case Prioritization for Configuration Testing
Runxiang Cheng, Lingming Zhang, Darko Marinov, and Tianyin Xu
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p563,
author = {Runxiang Cheng and Lingming Zhang and Darko Marinov and Tianyin Xu},
title = {Test-Case Prioritization for Configuration Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {563-562},
doi = {10.1145/3460319.3464810},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Efficient White-Box Fairness ..."
Efficient White-Box Fairness Testing through Gradient Search
Lingfeng Zhang, Yueling Zhang, and Min Zhang
(East China Normal University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p131,
author = {Lingfeng Zhang and Yueling Zhang and Min Zhang},
title = {Efficient White-Box Fairness Testing through Gradient Search},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3460319.3464820},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "AdvDoor: Adversarial Backdoor ..."
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, and Yu Jiang
(Tsinghua University, China; University of Waterloo, Canada; WeBank, China)
@InProceedings{ISSTA21p163,
author = {Quan Zhang and Yifeng Ding and Yongqiang Tian and Jianmin Guo and Min Yuan and Yu Jiang},
title = {AdvDoor: Adversarial Backdoor Attack of Deep Learning System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3460319.3464809},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "GUIDER: GUI Structure and ..."
GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China; Tencent, China)
@InProceedings{ISSTA21p243,
author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li},
title = {GUIDER: GUI Structure and Vision Co-guided Test Script Repair for Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3460319.3464830},
year = {2021},
}
Publisher's Version
ISSTA '21: "A Lightweight Framework for ..."
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Han Gao, Shaoyin Cheng, Yinxing Xue, and Weiming Zhang
(University of Science and Technology of China, China)
@InProceedings{ISSTA21p755,
author = {Han Gao and Shaoyin Cheng and Yinxing Xue and Weiming Zhang},
title = {A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {755-754},
doi = {10.1145/3460319.3464804},
year = {2021},
}
Publisher's Version
ISSTA '21: "Predoo: Precision Testing ..."
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen
(Nanjing University, China; Huawei, China)
@InProceedings{ISSTA21p499,
author = {Xufan Zhang and Ning Sun and Chunrong Fang and Jiawei Liu and Jia Liu and Dong Chai and Jiang Wang and Zhenyu Chen},
title = {Predoo: Precision Testing of Deep Learning Operators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {499-498},
doi = {10.1145/3460319.3464843},
year = {2021},
}
Publisher's Version
ISSTA '21: "Semantic Table Structure Identification ..."
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, China)
@InProceedings{ISSTA21p355,
author = {Yakun Zhang and Xiao Lv and Haoyu Dong and Wensheng Dou and Shi Han and Dongmei Zhang and Jun Wei and Dan Ye},
title = {Semantic Table Structure Identification in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {355-354},
doi = {10.1145/3460319.3464812},
year = {2021},
}
Publisher's Version
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version
ISSTA '21: "WebEvo: Taming Web Application ..."
WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Fei Shao, Rui Xu, Wasif Haque, Jingwei Xu, Ying Zhang, Wei Yang, Yanfang Ye, and Xusheng Xiao
(Case Western Reserve University, USA; University of Texas at Dallas, USA; Peking University, China)
@InProceedings{ISSTA21p19,
author = {Fei Shao and Rui Xu and Wasif Haque and Jingwei Xu and Ying Zhang and Wei Yang and Yanfang Ye and Xusheng Xiao},
title = {WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460319.3464800},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Challenges and Opportunities: ..."
Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
@InProceedings{ISSTA21p595,
author = {Wang Li and Zhouyang Jia and Shanshan Li and Yuanliang Zhang and Teng Wang and Erci Xu and Ji Wang and Xiangke Liao},
title = {Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3460319.3464799},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Efficient White-Box Fairness ..."
Efficient White-Box Fairness Testing through Gradient Search
Lingfeng Zhang, Yueling Zhang, and Min Zhang
(East China Normal University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p131,
author = {Lingfeng Zhang and Yueling Zhang and Min Zhang},
title = {Efficient White-Box Fairness Testing through Gradient Search},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3460319.3464820},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "Synthesize Solving Strategy ..."
Synthesize Solving Strategy for Symbolic Execution
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p435,
author = {Zhenbang Chen and Zehua Chen and Ziqi Shuai and Guofeng Zhang and Weiyu Pan and Yufeng Zhang and Ji Wang},
title = {Synthesize Solving Strategy for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3460319.3464815},
year = {2021},
}
Publisher's Version
ISSTA '21: "Type and Interval Aware Array ..."
Type and Interval Aware Array Constraint Solving for Symbolic Execution
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, and Ji Wang
(National University of Defense Technology, China; Hunan University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p451,
author = {Ziqi Shuai and Zhenbang Chen and Yufeng Zhang and Jun Sun and Ji Wang},
title = {Type and Interval Aware Array Constraint Solving for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3460319.3464826},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "Grammar-Agnostic Symbolic ..."
Grammar-Agnostic Symbolic Execution by Token Symbolization
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, China; Hunan University, China)
@InProceedings{ISSTA21p467,
author = {Weiyu Pan and Zhenbang Chen and Guofeng Zhang and Yunlai Luo and Yufeng Zhang and Ji Wang},
title = {Grammar-Agnostic Symbolic Execution by Token Symbolization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {467-466},
doi = {10.1145/3460319.3464845},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
ISSTA '21: "Deep Just-in-Time Defect Prediction: ..."
Deep Just-in-Time Defect Prediction: How Far Are We?
Zhengran Zeng, Yuqun Zhang, Haotian Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA21p531,
author = {Zhengran Zeng and Yuqun Zhang and Haotian Zhang and Lingming Zhang},
title = {Deep Just-in-Time Defect Prediction: How Far Are We?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {531-530},
doi = {10.1145/3460319.3464819},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "ModelDiff: Testing-Based DNN ..."
ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, and Yunxin Liu
(Microsoft Research, China; Peking University, China; Tsinghua University, China)
@InProceedings{ISSTA21p179,
author = {Yuanchun Li and Ziqi Zhang and Bingyan Liu and Ziyue Yang and Yunxin Liu},
title = {ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {179-178},
doi = {10.1145/3460319.3464816},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
ISSTA '21: "RAProducer: Efficiently Diagnose ..."
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao
(Tsinghua University, China; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA21p739,
author = {Ming Yuan and Yeseop Lee and Chao Zhang and Yun Li and Yan Cai and Bodong Zhao},
title = {RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3460319.3464831},
year = {2021},
}
Publisher's Version
ISSTA '21: "Attack as Defense: Characterizing ..."
Attack as Defense: Characterizing Adversarial Examples using Robustness
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun
(ShanghaiTech University, China; Zhejiang University, China; Singapore Management University, Singapore)
@InProceedings{ISSTA21p51,
author = {Zhe Zhao and Guangke Chen and Jingyi Wang and Yiwei Yang and Fu Song and Jun Sun},
title = {Attack as Defense: Characterizing Adversarial Examples using Robustness},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3460319.3464822},
year = {2021},
}
Publisher's Version
ISSTA '21: "Parema: An Unpacking Framework ..."
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, and Yajin Zhou
(Hong Kong Polytechnic University, China; Xi'an Jiaotong University, China; Pennsylvania State University, USA; Zhejiang University, China)
@InProceedings{ISSTA21p195,
author = {Lei Xue and Yuxiao Yan and Luyi Yan and Muhui Jiang and Xiapu Luo and Dinghao Wu and Yajin Zhou},
title = {Parema: An Unpacking Framework for Demystifying VM-Based Android Packers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3460319.3464839},
year = {2021},
}
Publisher's Version
ISSTA '21: "Boosting Symbolic Execution ..."
Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, and Yangfan Zhou
(Fudan University, China)
@InProceedings{ISSTA21p419,
author = {Sicheng Luo and Hui Xu and Yanxiang Bi and Xin Wang and Yangfan Zhou},
title = {Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {419-418},
doi = {10.1145/3460319.3464813},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "DeepHyperion: Exploring the ..."
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, and Paolo Tonella
(USI Lugano, Switzerland; University of Passau, Germany)
@InProceedings{ISSTA21p99,
author = {Tahereh Zohdinasab and Vincenzo Riccio and Alessio Gambi and Paolo Tonella},
title = {DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3460319.3464811},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
ISSTA '21: "HomDroid: Detecting Android ..."
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Yueming Wu, Deqing Zou, Wei Yang, Xiang Li, and Hai Jin
(Huazhong University of Science and Technology, China; University of Texas at Dallas, USA)
@InProceedings{ISSTA21p275,
author = {Yueming Wu and Deqing Zou and Wei Yang and Xiang Li and Hai Jin},
title = {HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {275-274},
doi = {10.1145/3460319.3464833},
year = {2021},
}
Publisher's Version
ISSTA '21: "Identifying Privacy Weaknesses ..."
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, and Jin Song Dong
(National University of Singapore, Singapore; University of Queensland, Australia; Nanjing University, China; Sri Lanka Technological Campus, Sri Lanka)
@InProceedings{ISSTA21p3,
author = {Kulani Mahadewa and Yanjun Zhang and Guangdong Bai and Lei Bu and Zhiqiang Zuo and Dileepa Fernando and Zhenkai Liang and Jin Song Dong},
title = {Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3460319.3464838},
year = {2021},
}
Publisher's Version