| |
Abdessalem, Raja Ben
|
ISSTA '20: "Automated Repair of Feature ..."
Automated Repair of Feature Interaction Failures in Automated Driving Systems
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada; IEE, Luxembourg)
@InProceedings{ISSTA20p99,
author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter},
title = {Automated Repair of Feature Interaction Failures in Automated Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3395363.3397386},
year = {2020},
}
 Publisher's Version
Article: issta20main-id83-p doi:10.1145/3395363.3397386
|
| |
Afzal, Wasif |
ISSTA '20: "Intermittently Failing Tests ..."
Intermittently Failing Tests in the Embedded Systems Domain
Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, and Daniel Sundmark
(Westermo Network Technologies, Sweden; Mälardalen University, Sweden; University of Central Florida, USA)
@InProceedings{ISSTA20p379,
author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Wasif Afzal and Daniel Sundmark},
title = {Intermittently Failing Tests in the Embedded Systems Domain},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3395363.3397359},
year = {2020},
}
Publisher's Version
Article: issta20main-id63-p doi:10.1145/3395363.3397359
|
| |
Alhanahnah, Mohannad |
ISSTA '20: "Scalable Analysis of Interaction ..."
Scalable Analysis of Interaction Threats in IoT Systems
Mohannad Alhanahnah, Clay Stevens, and Hamid Bagheri
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA20p309,
author = {Mohannad Alhanahnah and Clay Stevens and Hamid Bagheri},
title = {Scalable Analysis of Interaction Threats in IoT Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3395363.3397347},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id143-p doi:10.1145/3395363.3397347
|
| |
Araujo Rodriguez, Luis Gustavo |
ISSTA '20: "Program-Aware Fuzzing for ..."
Program-Aware Fuzzing for MQTT Applications
Luis Gustavo Araujo Rodriguez and Daniel Macêdo Batista
(University of São Paulo, Brazil)
@InProceedings{ISSTA20p644,
author = {Luis Gustavo Araujo Rodriguez and Daniel Macêdo Batista},
title = {Program-Aware Fuzzing for MQTT Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {644-643},
doi = {10.1145/3395363.3402645},
year = {2020},
}
Publisher's Version
Article: issta20doc-p3-p doi:10.1145/3395363.3402645
|
| |
Bagheri, Hamid
|
ISSTA '20: "Scalable Analysis of Interaction ..."
Scalable Analysis of Interaction Threats in IoT Systems
Mohannad Alhanahnah, Clay Stevens, and Hamid Bagheri
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA20p309,
author = {Mohannad Alhanahnah and Clay Stevens and Hamid Bagheri},
title = {Scalable Analysis of Interaction Threats in IoT Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3395363.3397347},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id143-p doi:10.1145/3395363.3397347
|
| |
Bartocci, Ezio |
ISSTA '20: "CPSDebug: A Tool for Explanation ..."
CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković, and Fabrizio Pastore
(TU Vienna, Austria; Austrian Institute of Technology, Austria; University of Milano-Bicocca, Italy; University of Luxembourg, Luxembourg)
@InProceedings{ISSTA20p631,
author = {Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Ničković and Fabrizio Pastore},
title = {CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3395363.3404369},
year = {2020},
}
Publisher's Version
Article: issta20tool-id22-p doi:10.1145/3395363.3404369
|
| |
Bell, Jonathan |
ISSTA '20: "Debugging the Performance ..."
Debugging the Performance of Maven’s Test Isolation: Experience Report
Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
(University of Texas at Austin, USA; Facebook, USA; George Mason University, USA; Microsoft, USA)
@InProceedings{ISSTA20p281,
author = {Pengyu Nie and Ahmet Celik and Matthew Coley and Aleksandar Milicevic and Jonathan Bell and Milos Gligoric},
title = {Debugging the Performance of Maven’s Test Isolation: Experience Report},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3395363.3397381},
year = {2020},
}
Publisher's Version
Article: issta20main-id166-p doi:10.1145/3395363.3397381
|
| |
Bezzo, Nicola |
ISSTA '20: "Feasible and Stressful Trajectory ..."
Feasible and Stressful Trajectory Generation for Mobile Robots
Carl Hildebrandt, Sebastian Elbaum, Nicola Bezzo, and Matthew B. Dwyer
(University of Virginia, USA)
@InProceedings{ISSTA20p393,
author = {Carl Hildebrandt and Sebastian Elbaum and Nicola Bezzo and Matthew B. Dwyer},
title = {Feasible and Stressful Trajectory Generation for Mobile Robots},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {393-392},
doi = {10.1145/3395363.3397387},
year = {2020},
}
Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id108-p doi:10.1145/3395363.3397387
|
| |
Briand, Lionel C. |
ISSTA '20: "Automated Repair of Feature ..."
Automated Repair of Feature Interaction Failures in Automated Driving Systems
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada; IEE, Luxembourg)
@InProceedings{ISSTA20p99,
author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter},
title = {Automated Repair of Feature Interaction Failures in Automated Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3395363.3397386},
year = {2020},
}
Publisher's Version
Article: issta20main-id83-p doi:10.1145/3395363.3397386
|
| |
Bultan, Tevfik |
ISSTA '20: "Feedback-Driven Side-Channel ..."
Feedback-Driven Side-Channel Analysis for Networked Applications
İsmet Burak Kadron, Nicolás Rosner, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ISSTA20p295,
author = {İsmet Burak Kadron and Nicolás Rosner and Tevfik Bultan},
title = {Feedback-Driven Side-Channel Analysis for Networked Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {295-294},
doi = {10.1145/3395363.3397365},
year = {2020},
}
Publisher's Version
Article: issta20main-id101-p doi:10.1145/3395363.3397365
|
| |
Busse, Frank |
ISSTA '20: "Running Symbolic Execution ..."
Running Symbolic Execution Forever
Frank Busse, Martin Nowack, and Cristian Cadar
(Imperial College London, UK)
@InProceedings{ISSTA20p71,
author = {Frank Busse and Martin Nowack and Cristian Cadar},
title = {Running Symbolic Execution Forever},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3395363.3397360},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id94-p doi:10.1145/3395363.3397360
|
| |
Cadar, Cristian
|
ISSTA '20: "Running Symbolic Execution ..."
Running Symbolic Execution Forever
Frank Busse, Martin Nowack, and Cristian Cadar
(Imperial College London, UK)
@InProceedings{ISSTA20p71,
author = {Frank Busse and Martin Nowack and Cristian Cadar},
title = {Running Symbolic Execution Forever},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3395363.3397360},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id94-p doi:10.1145/3395363.3397360
|
| |
Celik, Ahmet |
ISSTA '20: "Debugging the Performance ..."
Debugging the Performance of Maven’s Test Isolation: Experience Report
Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
(University of Texas at Austin, USA; Facebook, USA; George Mason University, USA; Microsoft, USA)
@InProceedings{ISSTA20p281,
author = {Pengyu Nie and Ahmet Celik and Matthew Coley and Aleksandar Milicevic and Jonathan Bell and Milos Gligoric},
title = {Debugging the Performance of Maven’s Test Isolation: Experience Report},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3395363.3397381},
year = {2020},
}
Publisher's Version
Article: issta20main-id166-p doi:10.1145/3395363.3397381
|
| |
Černý, Pavol |
ISSTA '20: "Detecting and Understanding ..."
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries
Saeid Tizpaz-Niari, Pavol Černý, and Ashutosh Trivedi
(University of Colorado Boulder, USA; TU Vienna, Austria)
@InProceedings{ISSTA20p211,
author = {Saeid Tizpaz-Niari and Pavol Černý and Ashutosh Trivedi},
title = {Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3395363.3404540},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id50-p doi:10.1145/3395363.3404540
|
| |
Cha, Sooyoung |
ISSTA '20: "Effective White-Box Testing ..."
Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy
Seokhyun Lee, Sooyoung Cha, Dain Lee, and Hakjoo Oh
(Korea University, South Korea)
@InProceedings{ISSTA20p183,
author = {Seokhyun Lee and Sooyoung Cha and Dain Lee and Hakjoo Oh},
title = {Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3395363.3397346},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id26-p doi:10.1145/3395363.3397346
|
| |
Chandra, Satish |
ISSTA '20: "Scaffle: Bug Localization ..."
Scaffle: Bug Localization on Millions of Files
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, and Satish Chandra
(University of Stuttgart, Germany; Facebook, USA)
@InProceedings{ISSTA20p253,
author = {Michael Pradel and Vijayaraghavan Murali and Rebecca Qian and Mateusz Machalica and Erik Meijer and Satish Chandra},
title = {Scaffle: Bug Localization on Millions of Files},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3395363.3397356},
year = {2020},
}
Publisher's Version
Article: issta20main-id33-p doi:10.1145/3395363.3397356
|
| |
Chen, Bihuan |
ISSTA '20: "Patch Based Vulnerability ..."
Patch Based Vulnerability Matching for Binary Programs
Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, and Ting Liu
(Xi'an Jiaotong University, China; Nanyang Technological University, Singapore; Fudan University, China; ShanghaiTech University, China; Zhejiang University, China)
@InProceedings{ISSTA20p421,
author = {Yifei Xu and Zhengzi Xu and Bihuan Chen and Fu Song and Yang Liu and Ting Liu},
title = {Patch Based Vulnerability Matching for Binary Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3395363.3397361},
year = {2020},
}
Publisher's Version
Article: issta20main-id120-p doi:10.1145/3395363.3397361
|
| |
Chen, Tao |
ISSTA '20: "DeepSQLi: Deep Semantic Learning ..."
DeepSQLi: Deep Semantic Learning for Testing SQL Injection
Muyang Liu, Ke Li, and Tao Chen
(University of Electronic Science and Technology of China, China; University of Exeter, UK; Loughborough University, UK)
@InProceedings{ISSTA20p323,
author = {Muyang Liu and Ke Li and Tao Chen},
title = {DeepSQLi: Deep Semantic Learning for Testing SQL Injection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {323-322},
doi = {10.1145/3395363.3397375},
year = {2020},
}
Publisher's Version
Article: issta20main-id38-p doi:10.1145/3395363.3397375
|
| |
Chen, Yuqi |
ISSTA '20: "Active Fuzzing for Testing ..."
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang
(Singapore Management University, Singapore; Zhejiang University, China; Zhejiang Lab, China; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China)
@InProceedings{ISSTA20p15,
author = {Yuqi Chen and Bohan Xuan and Christopher M. Poskitt and Jun Sun and Fan Zhang},
title = {Active Fuzzing for Testing and Securing Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3395363.3397376},
year = {2020},
}
Publisher's Version
Article: issta20main-id40-p doi:10.1145/3395363.3397376
|
| |
Chen, Zhenyu |
ISSTA '20: "DeepGini: Prioritizing Massive ..."
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Ant Financial Services, China)
@InProceedings{ISSTA20p197,
author = {Yang Feng and Qingkai Shi and Xinyu Gao and Jun Wan and Chunrong Fang and Zhenyu Chen},
title = {DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {197-196},
doi = {10.1145/3395363.3397357},
year = {2020},
}
Publisher's Version
Article: issta20main-id149-p doi:10.1145/3395363.3397357
ISSTA '20: "Test Recommendation System ..."
Test Recommendation System Based on Slicing Coverage Filtering
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Mooctest, China)
@InProceedings{ISSTA20p635,
author = {Ruixiang Qian and Yuan Zhao and Duo Men and Yang Feng and Qingkai Shi and Yong Huang and Zhenyu Chen},
title = {Test Recommendation System Based on Slicing Coverage Filtering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {635-634},
doi = {10.1145/3395363.3404370},
year = {2020},
}
Publisher's Version
Article: issta20tool-id28-p doi:10.1145/3395363.3404370
|
| |
Chen, Zhong |
ISSTA '20: "EShield: Protect Smart Contracts ..."
EShield: Protect Smart Contracts against Reverse Engineering
Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, and Zhong Chen
(Peking University, China; Boya Blockchain, China)
@InProceedings{ISSTA20p615,
author = {Wentian Yan and Jianbo Gao and Zhenhao Wu and Yue Li and Zhi Guan and Qingshan Li and Zhong Chen},
title = {EShield: Protect Smart Contracts against Reverse Engineering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {615-614},
doi = {10.1145/3395363.3404365},
year = {2020},
}
Publisher's Version
Article: issta20tool-id11-p doi:10.1145/3395363.3404365
|
| |
Choma Neto, João |
ISSTA '20: "Automatic Support for the ..."
Automatic Support for the Identification of Infeasible Testing Requirements
João Choma Neto
(University of São Paulo, Brazil)
@InProceedings{ISSTA20p649,
author = {João Choma Neto},
title = {Automatic Support for the Identification of Infeasible Testing Requirements},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {649-648},
doi = {10.1145/3395363.3402646},
year = {2020},
}
Publisher's Version
Article: issta20doc-p5-p doi:10.1145/3395363.3402646
|
| |
Choudhary, Rutvik |
ISSTA '20: "Detecting Flaky Tests in Probabilistic ..."
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA20p239,
author = {Saikat Dutta and August Shi and Rutvik Choudhary and Zhekun Zhang and Aryaman Jain and Sasa Misailovic},
title = {Detecting Flaky Tests in Probabilistic and Machine Learning Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3395363.3397366},
year = {2020},
}
Publisher's Version
Article: issta20main-id159-p doi:10.1145/3395363.3397366
|
| |
Coley, Matthew |
ISSTA '20: "Debugging the Performance ..."
Debugging the Performance of Maven’s Test Isolation: Experience Report
Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
(University of Texas at Austin, USA; Facebook, USA; George Mason University, USA; Microsoft, USA)
@InProceedings{ISSTA20p281,
author = {Pengyu Nie and Ahmet Celik and Matthew Coley and Aleksandar Milicevic and Jonathan Bell and Milos Gligoric},
title = {Debugging the Performance of Maven’s Test Isolation: Experience Report},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3395363.3397381},
year = {2020},
}
Publisher's Version
Article: issta20main-id166-p doi:10.1145/3395363.3397381
|
| |
Coppa, Emilio |
ISSTA '20: "WEIZZ: Automatic Grey-Box ..."
WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats
Andrea Fioraldi, Daniele Cono D'Elia, and Emilio Coppa
(Sapienza University of Rome, Italy)
@InProceedings{ISSTA20p1,
author = {Andrea Fioraldi and Daniele Cono D'Elia and Emilio Coppa},
title = {WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3395363.3397372},
year = {2020},
}
Publisher's Version
Article: issta20main-id31-p doi:10.1145/3395363.3397372
|
| |
Cygan, Artur |
ISSTA '20: "Echidna: Effective, Usable, ..."
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, and Alex Groce
(Trail of Bits, USA; Northern Arizona University, USA)
@InProceedings{ISSTA20p619,
author = {Gustavo Grieco and Will Song and Artur Cygan and Josselin Feist and Alex Groce},
title = {Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {619-618},
doi = {10.1145/3395363.3404366},
year = {2020},
}
Publisher's Version
Article: issta20tool-id13-p doi:10.1145/3395363.3404366
|
| |
D'Elia, Daniele Cono
|
ISSTA '20: "WEIZZ: Automatic Grey-Box ..."
WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats
Andrea Fioraldi, Daniele Cono D'Elia, and Emilio Coppa
(Sapienza University of Rome, Italy)
@InProceedings{ISSTA20p1,
author = {Andrea Fioraldi and Daniele Cono D'Elia and Emilio Coppa},
title = {WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3395363.3397372},
year = {2020},
}
Publisher's Version
Article: issta20main-id31-p doi:10.1145/3395363.3397372
|
| |
Deng, Xuan |
ISSTA '20: "Discovering Discrepancies ..."
Discovering Discrepancies in Numerical Libraries
Jackson Vanover, Xuan Deng, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ISSTA20p547,
author = {Jackson Vanover and Xuan Deng and Cindy Rubio-González},
title = {Discovering Discrepancies in Numerical Libraries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3395363.3397380},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id128-p doi:10.1145/3395363.3397380
|
| |
Dong, Jin Song |
ISSTA '20: "Recovering Fitness Gradients ..."
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore Management University, Singapore; University of Passau, Germany; Xi'an Jiaotong University, China)
@InProceedings{ISSTA20p491,
author = {Yun Lin and Jun Sun and Gordon Fraser and Ziheng Xiu and Ting Liu and Jin Song Dong},
title = {Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {491-490},
doi = {10.1145/3395363.3397358},
year = {2020},
}
Publisher's Version
Article: issta20main-id134-p doi:10.1145/3395363.3397358
|
| |
Dou, Wensheng |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|
| |
Dutta, Saikat |
ISSTA '20: "Detecting Flaky Tests in Probabilistic ..."
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA20p239,
author = {Saikat Dutta and August Shi and Rutvik Choudhary and Zhekun Zhang and Aryaman Jain and Sasa Misailovic},
title = {Detecting Flaky Tests in Probabilistic and Machine Learning Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3395363.3397366},
year = {2020},
}
Publisher's Version
Article: issta20main-id159-p doi:10.1145/3395363.3397366
|
| |
Dwyer, Matthew B. |
ISSTA '20: "Feasible and Stressful Trajectory ..."
Feasible and Stressful Trajectory Generation for Mobile Robots
Carl Hildebrandt, Sebastian Elbaum, Nicola Bezzo, and Matthew B. Dwyer
(University of Virginia, USA)
@InProceedings{ISSTA20p393,
author = {Carl Hildebrandt and Sebastian Elbaum and Nicola Bezzo and Matthew B. Dwyer},
title = {Feasible and Stressful Trajectory Generation for Mobile Robots},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {393-392},
doi = {10.1145/3395363.3397387},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id108-p doi:10.1145/3395363.3397387
|
| |
Eichberg, Michael
|
ISSTA '20: "A Programming Model for Semi-implicit ..."
A Programming Model for Semi-implicit Parallelization of Static Analyses
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden)
@InProceedings{ISSTA20p477,
author = {Dominik Helm and Florian Kübler and Jan Thomas Kölzer and Philipp Haller and Michael Eichberg and Guido Salvaneschi and Mira Mezini},
title = {A Programming Model for Semi-implicit Parallelization of Static Analyses},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {477-476},
doi = {10.1145/3395363.3397367},
year = {2020},
}
Publisher's Version
Article: issta20main-id78-p doi:10.1145/3395363.3397367
|
| |
Elbaum, Sebastian |
ISSTA '20: "Feasible and Stressful Trajectory ..."
Feasible and Stressful Trajectory Generation for Mobile Robots
Carl Hildebrandt, Sebastian Elbaum, Nicola Bezzo, and Matthew B. Dwyer
(University of Virginia, USA)
@InProceedings{ISSTA20p393,
author = {Carl Hildebrandt and Sebastian Elbaum and Nicola Bezzo and Matthew B. Dwyer},
title = {Feasible and Stressful Trajectory Generation for Mobile Robots},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {393-392},
doi = {10.1145/3395363.3397387},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id108-p doi:10.1145/3395363.3397387
|
| |
Ernst, Michael D. |
ISSTA '20: "Dependent-Test-Aware Regression ..."
Dependent-Test-Aware Regression Testing Techniques
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Google, USA; University of Washington, USA; Peking University, China)
@InProceedings{ISSTA20p337,
author = {Wing Lam and August Shi and Reed Oei and Sai Zhang and Michael D. Ernst and Tao Xie},
title = {Dependent-Test-Aware Regression Testing Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {337-336},
doi = {10.1145/3395363.3397364},
year = {2020},
}
Publisher's Version
Article: issta20main-id57-p doi:10.1145/3395363.3397364
|
| |
Fan, Gang
|
ISSTA '20: "Escaping Dependency Hell: ..."
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China; Sourcebrella, China)
@InProceedings{ISSTA20p519,
author = {Gang Fan and Chengpeng Wang and Rongxin Wu and Xiao Xiao and Qingkai Shi and Charles Zhang},
title = {Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {519-518},
doi = {10.1145/3395363.3397388},
year = {2020},
}
Publisher's Version
Article: issta20main-id145-p doi:10.1145/3395363.3397388
|
| |
Fang, Chunrong |
ISSTA '20: "DeepGini: Prioritizing Massive ..."
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Ant Financial Services, China)
@InProceedings{ISSTA20p197,
author = {Yang Feng and Qingkai Shi and Xinyu Gao and Jun Wan and Chunrong Fang and Zhenyu Chen},
title = {DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {197-196},
doi = {10.1145/3395363.3397357},
year = {2020},
}
Publisher's Version
Article: issta20main-id149-p doi:10.1145/3395363.3397357
ISSTA '20: "Functional Code Clone Detection ..."
Functional Code Clone Detection with Syntax and Semantics Fusion Learning
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, and Qingkai Shi
(Nanjing University, China; Texas A&M University, USA; Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p575,
author = {Chunrong Fang and Zixi Liu and Yangyang Shi and Jeff Huang and Qingkai Shi},
title = {Functional Code Clone Detection with Syntax and Semantics Fusion Learning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {575-574},
doi = {10.1145/3395363.3397362},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id140-p doi:10.1145/3395363.3397362
|
| |
Feist, Josselin |
ISSTA '20: "Echidna: Effective, Usable, ..."
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, and Alex Groce
(Trail of Bits, USA; Northern Arizona University, USA)
@InProceedings{ISSTA20p619,
author = {Gustavo Grieco and Will Song and Artur Cygan and Josselin Feist and Alex Groce},
title = {Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {619-618},
doi = {10.1145/3395363.3404366},
year = {2020},
}
Publisher's Version
Article: issta20tool-id13-p doi:10.1145/3395363.3404366
|
| |
Feng, Yang |
ISSTA '20: "DeepGini: Prioritizing Massive ..."
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Ant Financial Services, China)
@InProceedings{ISSTA20p197,
author = {Yang Feng and Qingkai Shi and Xinyu Gao and Jun Wan and Chunrong Fang and Zhenyu Chen},
title = {DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {197-196},
doi = {10.1145/3395363.3397357},
year = {2020},
}
Publisher's Version
Article: issta20main-id149-p doi:10.1145/3395363.3397357
ISSTA '20: "Test Recommendation System ..."
Test Recommendation System Based on Slicing Coverage Filtering
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Mooctest, China)
@InProceedings{ISSTA20p635,
author = {Ruixiang Qian and Yuan Zhao and Duo Men and Yang Feng and Qingkai Shi and Yong Huang and Zhenyu Chen},
title = {Test Recommendation System Based on Slicing Coverage Filtering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {635-634},
doi = {10.1145/3395363.3404370},
year = {2020},
}
Publisher's Version
Article: issta20tool-id28-p doi:10.1145/3395363.3404370
|
| |
Fioraldi, Andrea |
ISSTA '20: "WEIZZ: Automatic Grey-Box ..."
WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats
Andrea Fioraldi, Daniele Cono D'Elia, and Emilio Coppa
(Sapienza University of Rome, Italy)
@InProceedings{ISSTA20p1,
author = {Andrea Fioraldi and Daniele Cono D'Elia and Emilio Coppa},
title = {WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3395363.3397372},
year = {2020},
}
Publisher's Version
Article: issta20main-id31-p doi:10.1145/3395363.3397372
|
| |
Fourtounis, George |
ISSTA '20: "Identifying Java Calls in ..."
Identifying Java Calls in Native Code via Binary Scanning
George Fourtounis, Leonidas Triantafyllou, and Yannis Smaragdakis
(University of Athens, Greece)
@InProceedings{ISSTA20p435,
author = {George Fourtounis and Leonidas Triantafyllou and Yannis Smaragdakis},
title = {Identifying Java Calls in Native Code via Binary Scanning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3395363.3397368},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id167-p doi:10.1145/3395363.3397368
|
| |
Fraser, Gordon |
ISSTA '20: "Recovering Fitness Gradients ..."
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore Management University, Singapore; University of Passau, Germany; Xi'an Jiaotong University, China)
@InProceedings{ISSTA20p491,
author = {Yun Lin and Jun Sun and Gordon Fraser and Ziheng Xiu and Ting Liu and Jin Song Dong},
title = {Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {491-490},
doi = {10.1145/3395363.3397358},
year = {2020},
}
Publisher's Version
Article: issta20main-id134-p doi:10.1145/3395363.3397358
|
| |
Gad, Ahmed
|
ISSTA '20: "Scalable Build Service System ..."
Scalable Build Service System with Smart Scheduling Service
Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, and Daniel Rall
(Google, USA)
@InProceedings{ISSTA20p505,
author = {Kaiyuan Wang and Greg Tener and Vijay Gullapalli and Xin Huang and Ahmed Gad and Daniel Rall},
title = {Scalable Build Service System with Smart Scheduling Service},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3395363.3397371},
year = {2020},
}
Publisher's Version
Article: issta20main-id27-p doi:10.1145/3395363.3397371
|
| |
Gallagher, John P. |
ISSTA '20: "Detecting and Diagnosing Energy ..."
Detecting and Diagnosing Energy Issues for Mobile Applications
Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, and Kaishun Wu
(Shenzhen University, China; Southern University of Science and Technology, China; Roskilde University, Denmark; IMDEA Software Institute, Spain)
@InProceedings{ISSTA20p127,
author = {Xueliang Li and Yuming Yang and Yepang Liu and John P. Gallagher and Kaishun Wu},
title = {Detecting and Diagnosing Energy Issues for Mobile Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3395363.3397350},
year = {2020},
}
Publisher's Version
Article: issta20main-id2-p doi:10.1145/3395363.3397350
|
| |
Gao, Jianbo |
ISSTA '20: "EShield: Protect Smart Contracts ..."
EShield: Protect Smart Contracts against Reverse Engineering
Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, and Zhong Chen
(Peking University, China; Boya Blockchain, China)
@InProceedings{ISSTA20p615,
author = {Wentian Yan and Jianbo Gao and Zhenhao Wu and Yue Li and Zhi Guan and Qingshan Li and Zhong Chen},
title = {EShield: Protect Smart Contracts against Reverse Engineering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {615-614},
doi = {10.1145/3395363.3404365},
year = {2020},
}
Publisher's Version
Article: issta20tool-id11-p doi:10.1145/3395363.3404365
|
| |
Gao, Xinyu |
ISSTA '20: "DeepGini: Prioritizing Massive ..."
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Ant Financial Services, China)
@InProceedings{ISSTA20p197,
author = {Yang Feng and Qingkai Shi and Xinyu Gao and Jun Wan and Chunrong Fang and Zhenyu Chen},
title = {DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {197-196},
doi = {10.1145/3395363.3397357},
year = {2020},
}
Publisher's Version
Article: issta20main-id149-p doi:10.1145/3395363.3397357
|
| |
Gao, Yu |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
|
| |
Ghaleb, Asem |
ISSTA '20: "How Effective Are Smart Contract ..."
How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection
Asem Ghaleb and Karthik Pattabiraman
(University of British Columbia, Canada)
@InProceedings{ISSTA20p463,
author = {Asem Ghaleb and Karthik Pattabiraman},
title = {How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {463-462},
doi = {10.1145/3395363.3397385},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id58-p doi:10.1145/3395363.3397385
|
| |
Ghanbari, Ali |
ISSTA '20: "Can Automated Program Repair ..."
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Ant Financial Services, China)
@InProceedings{ISSTA20p85,
author = {Yiling Lou and Ali Ghanbari and Xia Li and Lingming Zhang and Haotian Zhang and Dan Hao and Lu Zhang},
title = {Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3395363.3397351},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id22-p doi:10.1145/3395363.3397351
ISSTA '20: "ObjSim: Lightweight Automatic ..."
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
Ali Ghanbari
(University of Texas at Dallas, USA)
@InProceedings{ISSTA20p603,
author = {Ali Ghanbari},
title = {ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {603-602},
doi = {10.1145/3395363.3404362},
year = {2020},
}
Publisher's Version
Article: issta20tool-id1-p doi:10.1145/3395363.3404362
|
| |
Gligoric, Milos |
ISSTA '20: "Debugging the Performance ..."
Debugging the Performance of Maven’s Test Isolation: Experience Report
Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
(University of Texas at Austin, USA; Facebook, USA; George Mason University, USA; Microsoft, USA)
@InProceedings{ISSTA20p281,
author = {Pengyu Nie and Ahmet Celik and Matthew Coley and Aleksandar Milicevic and Jonathan Bell and Milos Gligoric},
title = {Debugging the Performance of Maven’s Test Isolation: Experience Report},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3395363.3397381},
year = {2020},
}
Publisher's Version
Article: issta20main-id166-p doi:10.1145/3395363.3397381
|
| |
Godefroid, Patrice |
ISSTA '20: "Differential Regression Testing ..."
Differential Regression Testing for REST APIs
Patrice Godefroid, Daniel Lehmann, and Marina Polishchuk
(Microsoft Research, USA; University of Stuttgart, Germany)
@InProceedings{ISSTA20p351,
author = {Patrice Godefroid and Daniel Lehmann and Marina Polishchuk},
title = {Differential Regression Testing for REST APIs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3395363.3397374},
year = {2020},
}
Publisher's Version
Article: issta20main-id90-p doi:10.1145/3395363.3397374
|
| |
Gopinath, Rahul |
ISSTA '20: "Abstracting Failure-Inducing ..."
Abstracting Failure-Inducing Inputs
Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p267,
author = {Rahul Gopinath and Alexander Kampmann and Nikolas Havrikov and Ezekiel O. Soremekun and Andreas Zeller},
title = {Abstracting Failure-Inducing Inputs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {267-266},
doi = {10.1145/3395363.3397349},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id136-p doi:10.1145/3395363.3397349
ISSTA '20: "Learning Input Tokens for ..."
Learning Input Tokens for Effective Fuzzing
Björn Mathis, Rahul Gopinath, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p29,
author = {Björn Mathis and Rahul Gopinath and Andreas Zeller},
title = {Learning Input Tokens for Effective Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3395363.3397348},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id130-p doi:10.1145/3395363.3397348
|
| |
Grieco, Gustavo |
ISSTA '20: "Echidna: Effective, Usable, ..."
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, and Alex Groce
(Trail of Bits, USA; Northern Arizona University, USA)
@InProceedings{ISSTA20p619,
author = {Gustavo Grieco and Will Song and Artur Cygan and Josselin Feist and Alex Groce},
title = {Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {619-618},
doi = {10.1145/3395363.3404366},
year = {2020},
}
Publisher's Version
Article: issta20tool-id13-p doi:10.1145/3395363.3404366
|
| |
Groce, Alex |
ISSTA '20: "Echidna: Effective, Usable, ..."
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, and Alex Groce
(Trail of Bits, USA; Northern Arizona University, USA)
@InProceedings{ISSTA20p619,
author = {Gustavo Grieco and Will Song and Artur Cygan and Josselin Feist and Alex Groce},
title = {Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {619-618},
doi = {10.1145/3395363.3404366},
year = {2020},
}
Publisher's Version
Article: issta20tool-id13-p doi:10.1145/3395363.3404366
|
| |
Guan, Zhi |
ISSTA '20: "EShield: Protect Smart Contracts ..."
EShield: Protect Smart Contracts against Reverse Engineering
Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, and Zhong Chen
(Peking University, China; Boya Blockchain, China)
@InProceedings{ISSTA20p615,
author = {Wentian Yan and Jianbo Gao and Zhenhao Wu and Yue Li and Zhi Guan and Qingshan Li and Zhong Chen},
title = {EShield: Protect Smart Contracts against Reverse Engineering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {615-614},
doi = {10.1145/3395363.3404365},
year = {2020},
}
Publisher's Version
Article: issta20tool-id11-p doi:10.1145/3395363.3404365
|
| |
Gullapalli, Vijay |
ISSTA '20: "Scalable Build Service System ..."
Scalable Build Service System with Smart Scheduling Service
Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, and Daniel Rall
(Google, USA)
@InProceedings{ISSTA20p505,
author = {Kaiyuan Wang and Greg Tener and Vijay Gullapalli and Xin Huang and Ahmed Gad and Daniel Rall},
title = {Scalable Build Service System with Smart Scheduling Service},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3395363.3397371},
year = {2020},
}
Publisher's Version
Article: issta20main-id27-p doi:10.1145/3395363.3397371
|
| |
Guo, Chao |
ISSTA '20: "Crowdsourced Requirements ..."
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Chao Guo, Tieke He, Wei Yuan, Yue Guo, and Rui Hao
(Nanjing University, China)
@InProceedings{ISSTA20p607,
author = {Chao Guo and Tieke He and Wei Yuan and Yue Guo and Rui Hao},
title = {Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {607-606},
doi = {10.1145/3395363.3404363},
year = {2020},
}
Publisher's Version
Article: issta20tool-id7-p doi:10.1145/3395363.3404363
|
| |
Guo, Yue |
ISSTA '20: "Crowdsourced Requirements ..."
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Chao Guo, Tieke He, Wei Yuan, Yue Guo, and Rui Hao
(Nanjing University, China)
@InProceedings{ISSTA20p607,
author = {Chao Guo and Tieke He and Wei Yuan and Yue Guo and Rui Hao},
title = {Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {607-606},
doi = {10.1145/3395363.3404363},
year = {2020},
}
Publisher's Version
Article: issta20tool-id7-p doi:10.1145/3395363.3404363
|
| |
Guo, Zichen |
ISSTA '20: "TauJud: Test Augmentation ..."
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, and Peitian Zhangzhu
(Nanjing University, China)
@InProceedings{ISSTA20p611,
author = {Zichen Guo and Jiawei Liu and Tieke He and Zhuoyang Li and Peitian Zhangzhu},
title = {TauJud: Test Augmentation of Machine Learning in Judicial Documents},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3395363.3404364},
year = {2020},
}
Publisher's Version
Article: issta20tool-id8-p doi:10.1145/3395363.3404364
|
| |
Haller, Philipp
|
ISSTA '20: "A Programming Model for Semi-implicit ..."
A Programming Model for Semi-implicit Parallelization of Static Analyses
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden)
@InProceedings{ISSTA20p477,
author = {Dominik Helm and Florian Kübler and Jan Thomas Kölzer and Philipp Haller and Michael Eichberg and Guido Salvaneschi and Mira Mezini},
title = {A Programming Model for Semi-implicit Parallelization of Static Analyses},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {477-476},
doi = {10.1145/3395363.3397367},
year = {2020},
}
Publisher's Version
Article: issta20main-id78-p doi:10.1145/3395363.3397367
|
| |
Hao, Dan |
ISSTA '20: "Can Automated Program Repair ..."
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Ant Financial Services, China)
@InProceedings{ISSTA20p85,
author = {Yiling Lou and Ali Ghanbari and Xia Li and Lingming Zhang and Haotian Zhang and Dan Hao and Lu Zhang},
title = {Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3395363.3397351},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id22-p doi:10.1145/3395363.3397351
|
| |
Hao, Rui |
ISSTA '20: "Crowdsourced Requirements ..."
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Chao Guo, Tieke He, Wei Yuan, Yue Guo, and Rui Hao
(Nanjing University, China)
@InProceedings{ISSTA20p607,
author = {Chao Guo and Tieke He and Wei Yuan and Yue Guo and Rui Hao},
title = {Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {607-606},
doi = {10.1145/3395363.3404363},
year = {2020},
}
Publisher's Version
Article: issta20tool-id7-p doi:10.1145/3395363.3404363
|
| |
Havrikov, Nikolas |
ISSTA '20: "Abstracting Failure-Inducing ..."
Abstracting Failure-Inducing Inputs
Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p267,
author = {Rahul Gopinath and Alexander Kampmann and Nikolas Havrikov and Ezekiel O. Soremekun and Andreas Zeller},
title = {Abstracting Failure-Inducing Inputs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {267-266},
doi = {10.1145/3395363.3397349},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id136-p doi:10.1145/3395363.3397349
|
| |
He, Tieke |
ISSTA '20: "Crowdsourced Requirements ..."
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Chao Guo, Tieke He, Wei Yuan, Yue Guo, and Rui Hao
(Nanjing University, China)
@InProceedings{ISSTA20p607,
author = {Chao Guo and Tieke He and Wei Yuan and Yue Guo and Rui Hao},
title = {Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {607-606},
doi = {10.1145/3395363.3404363},
year = {2020},
}
Publisher's Version
Article: issta20tool-id7-p doi:10.1145/3395363.3404363
ISSTA '20: "TauJud: Test Augmentation ..."
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, and Peitian Zhangzhu
(Nanjing University, China)
@InProceedings{ISSTA20p611,
author = {Zichen Guo and Jiawei Liu and Tieke He and Zhuoyang Li and Peitian Zhangzhu},
title = {TauJud: Test Augmentation of Machine Learning in Judicial Documents},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3395363.3404364},
year = {2020},
}
Publisher's Version
Article: issta20tool-id8-p doi:10.1145/3395363.3404364
|
| |
He, Xiao |
ISSTA '20: "Testing High Performance Numerical ..."
Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues
Xiao He, Xingwei Wang, Jia Shi, and Yi Liu
(University of Science and Technology Beijing, China; CNCERT/CC, China)
@InProceedings{ISSTA20p561,
author = {Xiao He and Xingwei Wang and Jia Shi and Yi Liu},
title = {Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {561-560},
doi = {10.1145/3395363.3397382},
year = {2020},
}
Publisher's Version
Article: issta20main-id76-p doi:10.1145/3395363.3397382
|
| |
Helm, Dominik |
ISSTA '20: "A Programming Model for Semi-implicit ..."
A Programming Model for Semi-implicit Parallelization of Static Analyses
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden)
@InProceedings{ISSTA20p477,
author = {Dominik Helm and Florian Kübler and Jan Thomas Kölzer and Philipp Haller and Michael Eichberg and Guido Salvaneschi and Mira Mezini},
title = {A Programming Model for Semi-implicit Parallelization of Static Analyses},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {477-476},
doi = {10.1145/3395363.3397367},
year = {2020},
}
Publisher's Version
Article: issta20main-id78-p doi:10.1145/3395363.3397367
|
| |
Hildebrandt, Carl |
ISSTA '20: "Feasible and Stressful Trajectory ..."
Feasible and Stressful Trajectory Generation for Mobile Robots
Carl Hildebrandt, Sebastian Elbaum, Nicola Bezzo, and Matthew B. Dwyer
(University of Virginia, USA)
@InProceedings{ISSTA20p393,
author = {Carl Hildebrandt and Sebastian Elbaum and Nicola Bezzo and Matthew B. Dwyer},
title = {Feasible and Stressful Trajectory Generation for Mobile Robots},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {393-392},
doi = {10.1145/3395363.3397387},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id108-p doi:10.1145/3395363.3397387
|
| |
Huang, An |
ISSTA '20: "Reinforcement Learning Based ..."
Reinforcement Learning Based Curiosity-Driven Testing of Android Applications
Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li
(Nanjing University, China)
@InProceedings{ISSTA20p169,
author = {Minxue Pan and An Huang and Guoxin Wang and Tian Zhang and Xuandong Li},
title = {Reinforcement Learning Based Curiosity-Driven Testing of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {169-168},
doi = {10.1145/3395363.3397354},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id155-p doi:10.1145/3395363.3397354
|
| |
Huang, Heqing |
ISSTA '20: "Fast Bit-Vector Satisfiability ..."
Fast Bit-Vector Satisfiability
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p43,
author = {Peisen Yao and Qingkai Shi and Heqing Huang and Charles Zhang},
title = {Fast Bit-Vector Satisfiability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3395363.3397378},
year = {2020},
}
Publisher's Version
Article: issta20main-id21-p doi:10.1145/3395363.3397378
|
| |
Huang, Jeff |
ISSTA '20: "Functional Code Clone Detection ..."
Functional Code Clone Detection with Syntax and Semantics Fusion Learning
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, and Qingkai Shi
(Nanjing University, China; Texas A&M University, USA; Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p575,
author = {Chunrong Fang and Zixi Liu and Yangyang Shi and Jeff Huang and Qingkai Shi},
title = {Functional Code Clone Detection with Syntax and Semantics Fusion Learning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {575-574},
doi = {10.1145/3395363.3397362},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id140-p doi:10.1145/3395363.3397362
|
| |
Huang, Tianze |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
|
| |
Huang, Xin |
ISSTA '20: "Scalable Build Service System ..."
Scalable Build Service System with Smart Scheduling Service
Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, and Daniel Rall
(Google, USA)
@InProceedings{ISSTA20p505,
author = {Kaiyuan Wang and Greg Tener and Vijay Gullapalli and Xin Huang and Ahmed Gad and Daniel Rall},
title = {Scalable Build Service System with Smart Scheduling Service},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3395363.3397371},
year = {2020},
}
Publisher's Version
Article: issta20main-id27-p doi:10.1145/3395363.3397371
|
| |
Huang, Yong |
ISSTA '20: "Test Recommendation System ..."
Test Recommendation System Based on Slicing Coverage Filtering
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Mooctest, China)
@InProceedings{ISSTA20p635,
author = {Ruixiang Qian and Yuan Zhao and Duo Men and Yang Feng and Qingkai Shi and Yong Huang and Zhenyu Chen},
title = {Test Recommendation System Based on Slicing Coverage Filtering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {635-634},
doi = {10.1145/3395363.3404370},
year = {2020},
}
Publisher's Version
Article: issta20tool-id28-p doi:10.1145/3395363.3404370
|
| |
Jain, Aryaman
|
ISSTA '20: "Detecting Flaky Tests in Probabilistic ..."
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA20p239,
author = {Saikat Dutta and August Shi and Rutvik Choudhary and Zhekun Zhang and Aryaman Jain and Sasa Misailovic},
title = {Detecting Flaky Tests in Probabilistic and Machine Learning Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3395363.3397366},
year = {2020},
}
Publisher's Version
Article: issta20main-id159-p doi:10.1145/3395363.3397366
|
| |
Jiang, Muhui |
ISSTA '20: "An Empirical Study on ARM ..."
An Empirical Study on ARM Disassembly Tools
Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China; Arizona State University, USA; Nanyang Technological University, Singapore)
@InProceedings{ISSTA20p449,
author = {Muhui Jiang and Yajin Zhou and Xiapu Luo and Ruoyu Wang and Yang Liu and Kui Ren},
title = {An Empirical Study on ARM Disassembly Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {449-448},
doi = {10.1145/3395363.3397377},
year = {2020},
}
Publisher's Version
Article: issta20main-id47-p doi:10.1145/3395363.3397377
|
| |
Jiang, Yanjie |
ISSTA '20: "Automated Classification of ..."
Automated Classification of Actions in Bug Reports of Mobile Apps
Hui Liu, Mingzhu Shen, Jiahao Jin, and Yanjie Jiang
(Beijing Institute of Technology, China)
@InProceedings{ISSTA20p141,
author = {Hui Liu and Mingzhu Shen and Jiahao Jin and Yanjie Jiang},
title = {Automated Classification of Actions in Bug Reports of Mobile Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3395363.3397355},
year = {2020},
}
Publisher's Version
Article: issta20main-id19-p doi:10.1145/3395363.3397355
|
| |
Jin, Jiahao |
ISSTA '20: "Automated Classification of ..."
Automated Classification of Actions in Bug Reports of Mobile Apps
Hui Liu, Mingzhu Shen, Jiahao Jin, and Yanjie Jiang
(Beijing Institute of Technology, China)
@InProceedings{ISSTA20p141,
author = {Hui Liu and Mingzhu Shen and Jiahao Jin and Yanjie Jiang},
title = {Automated Classification of Actions in Bug Reports of Mobile Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3395363.3397355},
year = {2020},
}
Publisher's Version
Article: issta20main-id19-p doi:10.1145/3395363.3397355
|
| |
Kadron, İsmet Burak
|
ISSTA '20: "Feedback-Driven Side-Channel ..."
Feedback-Driven Side-Channel Analysis for Networked Applications
İsmet Burak Kadron, Nicolás Rosner, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ISSTA20p295,
author = {İsmet Burak Kadron and Nicolás Rosner and Tevfik Bultan},
title = {Feedback-Driven Side-Channel Analysis for Networked Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {295-294},
doi = {10.1145/3395363.3397365},
year = {2020},
}
Publisher's Version
Article: issta20main-id101-p doi:10.1145/3395363.3397365
|
| |
Kampmann, Alexander |
ISSTA '20: "Abstracting Failure-Inducing ..."
Abstracting Failure-Inducing Inputs
Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p267,
author = {Rahul Gopinath and Alexander Kampmann and Nikolas Havrikov and Ezekiel O. Soremekun and Andreas Zeller},
title = {Abstracting Failure-Inducing Inputs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {267-266},
doi = {10.1145/3395363.3397349},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id136-p doi:10.1145/3395363.3397349
|
| |
Kölzer, Jan Thomas |
ISSTA '20: "A Programming Model for Semi-implicit ..."
A Programming Model for Semi-implicit Parallelization of Static Analyses
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden)
@InProceedings{ISSTA20p477,
author = {Dominik Helm and Florian Kübler and Jan Thomas Kölzer and Philipp Haller and Michael Eichberg and Guido Salvaneschi and Mira Mezini},
title = {A Programming Model for Semi-implicit Parallelization of Static Analyses},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {477-476},
doi = {10.1145/3395363.3397367},
year = {2020},
}
Publisher's Version
Article: issta20main-id78-p doi:10.1145/3395363.3397367
|
| |
Kübler, Florian |
ISSTA '20: "A Programming Model for Semi-implicit ..."
A Programming Model for Semi-implicit Parallelization of Static Analyses
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden)
@InProceedings{ISSTA20p477,
author = {Dominik Helm and Florian Kübler and Jan Thomas Kölzer and Philipp Haller and Michael Eichberg and Guido Salvaneschi and Mira Mezini},
title = {A Programming Model for Semi-implicit Parallelization of Static Analyses},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {477-476},
doi = {10.1145/3395363.3397367},
year = {2020},
}
Publisher's Version
Article: issta20main-id78-p doi:10.1145/3395363.3397367
|
| |
Lam, Wing
|
ISSTA '20: "Dependent-Test-Aware Regression ..."
Dependent-Test-Aware Regression Testing Techniques
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Google, USA; University of Washington, USA; Peking University, China)
@InProceedings{ISSTA20p337,
author = {Wing Lam and August Shi and Reed Oei and Sai Zhang and Michael D. Ernst and Tao Xie},
title = {Dependent-Test-Aware Regression Testing Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {337-336},
doi = {10.1145/3395363.3397364},
year = {2020},
}
Publisher's Version
Article: issta20main-id57-p doi:10.1145/3395363.3397364
|
| |
Lee, Dain |
ISSTA '20: "Effective White-Box Testing ..."
Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy
Seokhyun Lee, Sooyoung Cha, Dain Lee, and Hakjoo Oh
(Korea University, South Korea)
@InProceedings{ISSTA20p183,
author = {Seokhyun Lee and Sooyoung Cha and Dain Lee and Hakjoo Oh},
title = {Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3395363.3397346},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id26-p doi:10.1145/3395363.3397346
|
| |
Lee, Seokhyun |
ISSTA '20: "Effective White-Box Testing ..."
Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy
Seokhyun Lee, Sooyoung Cha, Dain Lee, and Hakjoo Oh
(Korea University, South Korea)
@InProceedings{ISSTA20p183,
author = {Seokhyun Lee and Sooyoung Cha and Dain Lee and Hakjoo Oh},
title = {Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3395363.3397346},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id26-p doi:10.1145/3395363.3397346
|
| |
Lehmann, Daniel |
ISSTA '20: "Differential Regression Testing ..."
Differential Regression Testing for REST APIs
Patrice Godefroid, Daniel Lehmann, and Marina Polishchuk
(Microsoft Research, USA; University of Stuttgart, Germany)
@InProceedings{ISSTA20p351,
author = {Patrice Godefroid and Daniel Lehmann and Marina Polishchuk},
title = {Differential Regression Testing for REST APIs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3395363.3397374},
year = {2020},
}
Publisher's Version
Article: issta20main-id90-p doi:10.1145/3395363.3397374
|
| |
Li, Hui |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
|
| |
Li, Ke |
ISSTA '20: "DeepSQLi: Deep Semantic Learning ..."
DeepSQLi: Deep Semantic Learning for Testing SQL Injection
Muyang Liu, Ke Li, and Tao Chen
(University of Electronic Science and Technology of China, China; University of Exeter, UK; Loughborough University, UK)
@InProceedings{ISSTA20p323,
author = {Muyang Liu and Ke Li and Tao Chen},
title = {DeepSQLi: Deep Semantic Learning for Testing SQL Injection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {323-322},
doi = {10.1145/3395363.3397375},
year = {2020},
}
Publisher's Version
Article: issta20main-id38-p doi:10.1145/3395363.3397375
|
| |
Li, Qingshan |
ISSTA '20: "EShield: Protect Smart Contracts ..."
EShield: Protect Smart Contracts against Reverse Engineering
Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, and Zhong Chen
(Peking University, China; Boya Blockchain, China)
@InProceedings{ISSTA20p615,
author = {Wentian Yan and Jianbo Gao and Zhenhao Wu and Yue Li and Zhi Guan and Qingshan Li and Zhong Chen},
title = {EShield: Protect Smart Contracts against Reverse Engineering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {615-614},
doi = {10.1145/3395363.3404365},
year = {2020},
}
Publisher's Version
Article: issta20tool-id11-p doi:10.1145/3395363.3404365
|
| |
Li, Xia |
ISSTA '20: "Can Automated Program Repair ..."
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Ant Financial Services, China)
@InProceedings{ISSTA20p85,
author = {Yiling Lou and Ali Ghanbari and Xia Li and Lingming Zhang and Haotian Zhang and Dan Hao and Lu Zhang},
title = {Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3395363.3397351},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id22-p doi:10.1145/3395363.3397351
|
| |
Li, Xuandong |
ISSTA '20: "Reinforcement Learning Based ..."
Reinforcement Learning Based Curiosity-Driven Testing of Android Applications
Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li
(Nanjing University, China)
@InProceedings{ISSTA20p169,
author = {Minxue Pan and An Huang and Guoxin Wang and Tian Zhang and Xuandong Li},
title = {Reinforcement Learning Based Curiosity-Driven Testing of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {169-168},
doi = {10.1145/3395363.3397354},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id155-p doi:10.1145/3395363.3397354
|
| |
Li, Xueliang |
ISSTA '20: "Detecting and Diagnosing Energy ..."
Detecting and Diagnosing Energy Issues for Mobile Applications
Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, and Kaishun Wu
(Shenzhen University, China; Southern University of Science and Technology, China; Roskilde University, Denmark; IMDEA Software Institute, Spain)
@InProceedings{ISSTA20p127,
author = {Xueliang Li and Yuming Yang and Yepang Liu and John P. Gallagher and Kaishun Wu},
title = {Detecting and Diagnosing Energy Issues for Mobile Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3395363.3397350},
year = {2020},
}
Publisher's Version
Article: issta20main-id2-p doi:10.1145/3395363.3397350
|
| |
Li, Yitong |
ISSTA '20: "CoCoNuT: Combining Context-Aware ..."
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, and Lin Tan
(University of Waterloo, Canada; Purdue University, USA)
@InProceedings{ISSTA20p113,
author = {Thibaud Lutellier and Hung Viet Pham and Lawrence Pang and Yitong Li and Moshi Wei and Lin Tan},
title = {CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3395363.3397369},
year = {2020},
}
Publisher's Version
Article: issta20main-id96-p doi:10.1145/3395363.3397369
|
| |
Li, Yue |
ISSTA '20: "EShield: Protect Smart Contracts ..."
EShield: Protect Smart Contracts against Reverse Engineering
Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, and Zhong Chen
(Peking University, China; Boya Blockchain, China)
@InProceedings{ISSTA20p615,
author = {Wentian Yan and Jianbo Gao and Zhenhao Wu and Yue Li and Zhi Guan and Qingshan Li and Zhong Chen},
title = {EShield: Protect Smart Contracts against Reverse Engineering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {615-614},
doi = {10.1145/3395363.3404365},
year = {2020},
}
Publisher's Version
Article: issta20tool-id11-p doi:10.1145/3395363.3404365
|
| |
Li, Zhuoyang |
ISSTA '20: "TauJud: Test Augmentation ..."
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, and Peitian Zhangzhu
(Nanjing University, China)
@InProceedings{ISSTA20p611,
author = {Zichen Guo and Jiawei Liu and Tieke He and Zhuoyang Li and Peitian Zhangzhu},
title = {TauJud: Test Augmentation of Machine Learning in Judicial Documents},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3395363.3404364},
year = {2020},
}
Publisher's Version
Article: issta20tool-id8-p doi:10.1145/3395363.3404364
|
| |
Lin, Yun |
ISSTA '20: "Recovering Fitness Gradients ..."
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore Management University, Singapore; University of Passau, Germany; Xi'an Jiaotong University, China)
@InProceedings{ISSTA20p491,
author = {Yun Lin and Jun Sun and Gordon Fraser and Ziheng Xiu and Ting Liu and Jin Song Dong},
title = {Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {491-490},
doi = {10.1145/3395363.3397358},
year = {2020},
}
Publisher's Version
Article: issta20main-id134-p doi:10.1145/3395363.3397358
|
| |
Liu, Hui |
ISSTA '20: "Automated Classification of ..."
Automated Classification of Actions in Bug Reports of Mobile Apps
Hui Liu, Mingzhu Shen, Jiahao Jin, and Yanjie Jiang
(Beijing Institute of Technology, China)
@InProceedings{ISSTA20p141,
author = {Hui Liu and Mingzhu Shen and Jiahao Jin and Yanjie Jiang},
title = {Automated Classification of Actions in Bug Reports of Mobile Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3395363.3397355},
year = {2020},
}
Publisher's Version
Article: issta20main-id19-p doi:10.1145/3395363.3397355
|
| |
Liu, Jiawei |
ISSTA '20: "TauJud: Test Augmentation ..."
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, and Peitian Zhangzhu
(Nanjing University, China)
@InProceedings{ISSTA20p611,
author = {Zichen Guo and Jiawei Liu and Tieke He and Zhuoyang Li and Peitian Zhangzhu},
title = {TauJud: Test Augmentation of Machine Learning in Judicial Documents},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3395363.3404364},
year = {2020},
}
Publisher's Version
Article: issta20tool-id8-p doi:10.1145/3395363.3404364
|
| |
Liu, Muyang |
ISSTA '20: "DeepSQLi: Deep Semantic Learning ..."
DeepSQLi: Deep Semantic Learning for Testing SQL Injection
Muyang Liu, Ke Li, and Tao Chen
(University of Electronic Science and Technology of China, China; University of Exeter, UK; Loughborough University, UK)
@InProceedings{ISSTA20p323,
author = {Muyang Liu and Ke Li and Tao Chen},
title = {DeepSQLi: Deep Semantic Learning for Testing SQL Injection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {323-322},
doi = {10.1145/3395363.3397375},
year = {2020},
}
Publisher's Version
Article: issta20main-id38-p doi:10.1145/3395363.3397375
|
| |
Liu, Ting |
ISSTA '20: "Patch Based Vulnerability ..."
Patch Based Vulnerability Matching for Binary Programs
Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, and Ting Liu
(Xi'an Jiaotong University, China; Nanyang Technological University, Singapore; Fudan University, China; ShanghaiTech University, China; Zhejiang University, China)
@InProceedings{ISSTA20p421,
author = {Yifei Xu and Zhengzi Xu and Bihuan Chen and Fu Song and Yang Liu and Ting Liu},
title = {Patch Based Vulnerability Matching for Binary Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3395363.3397361},
year = {2020},
}
Publisher's Version
Article: issta20main-id120-p doi:10.1145/3395363.3397361
ISSTA '20: "Recovering Fitness Gradients ..."
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore Management University, Singapore; University of Passau, Germany; Xi'an Jiaotong University, China)
@InProceedings{ISSTA20p491,
author = {Yun Lin and Jun Sun and Gordon Fraser and Ziheng Xiu and Ting Liu and Jin Song Dong},
title = {Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {491-490},
doi = {10.1145/3395363.3397358},
year = {2020},
}
Publisher's Version
Article: issta20main-id134-p doi:10.1145/3395363.3397358
|
| |
Liu, Yang |
ISSTA '20: "Patch Based Vulnerability ..."
Patch Based Vulnerability Matching for Binary Programs
Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, and Ting Liu
(Xi'an Jiaotong University, China; Nanyang Technological University, Singapore; Fudan University, China; ShanghaiTech University, China; Zhejiang University, China)
@InProceedings{ISSTA20p421,
author = {Yifei Xu and Zhengzi Xu and Bihuan Chen and Fu Song and Yang Liu and Ting Liu},
title = {Patch Based Vulnerability Matching for Binary Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3395363.3397361},
year = {2020},
}
Publisher's Version
Article: issta20main-id120-p doi:10.1145/3395363.3397361
ISSTA '20: "An Empirical Study on ARM ..."
An Empirical Study on ARM Disassembly Tools
Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China; Arizona State University, USA; Nanyang Technological University, Singapore)
@InProceedings{ISSTA20p449,
author = {Muhui Jiang and Yajin Zhou and Xiapu Luo and Ruoyu Wang and Yang Liu and Kui Ren},
title = {An Empirical Study on ARM Disassembly Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {449-448},
doi = {10.1145/3395363.3397377},
year = {2020},
}
Publisher's Version
Article: issta20main-id47-p doi:10.1145/3395363.3397377
|
| |
Liu, Yepang |
ISSTA '20: "Detecting and Diagnosing Energy ..."
Detecting and Diagnosing Energy Issues for Mobile Applications
Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, and Kaishun Wu
(Shenzhen University, China; Southern University of Science and Technology, China; Roskilde University, Denmark; IMDEA Software Institute, Spain)
@InProceedings{ISSTA20p127,
author = {Xueliang Li and Yuming Yang and Yepang Liu and John P. Gallagher and Kaishun Wu},
title = {Detecting and Diagnosing Energy Issues for Mobile Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3395363.3397350},
year = {2020},
}
Publisher's Version
Article: issta20main-id2-p doi:10.1145/3395363.3397350
|
| |
Liu, Yi |
ISSTA '20: "Testing High Performance Numerical ..."
Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues
Xiao He, Xingwei Wang, Jia Shi, and Yi Liu
(University of Science and Technology Beijing, China; CNCERT/CC, China)
@InProceedings{ISSTA20p561,
author = {Xiao He and Xingwei Wang and Jia Shi and Yi Liu},
title = {Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {561-560},
doi = {10.1145/3395363.3397382},
year = {2020},
}
Publisher's Version
Article: issta20main-id76-p doi:10.1145/3395363.3397382
|
| |
Liu, Zhibo |
ISSTA '20: "How Far We Have Come: Testing ..."
How Far We Have Come: Testing Decompilation Correctness of C Decompilers
Zhibo Liu and Shuai Wang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p533,
author = {Zhibo Liu and Shuai Wang},
title = {How Far We Have Come: Testing Decompilation Correctness of C Decompilers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {533-532},
doi = {10.1145/3395363.3397370},
year = {2020},
}
Publisher's Version
Artifacts Functional
Article: issta20main-id103-p doi:10.1145/3395363.3397370
|
| |
Liu, Zixi |
ISSTA '20: "Functional Code Clone Detection ..."
Functional Code Clone Detection with Syntax and Semantics Fusion Learning
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, and Qingkai Shi
(Nanjing University, China; Texas A&M University, USA; Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p575,
author = {Chunrong Fang and Zixi Liu and Yangyang Shi and Jeff Huang and Qingkai Shi},
title = {Functional Code Clone Detection with Syntax and Semantics Fusion Learning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {575-574},
doi = {10.1145/3395363.3397362},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id140-p doi:10.1145/3395363.3397362
|
| |
Lou, Yiling |
ISSTA '20: "Can Automated Program Repair ..."
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Ant Financial Services, China)
@InProceedings{ISSTA20p85,
author = {Yiling Lou and Ali Ghanbari and Xia Li and Lingming Zhang and Haotian Zhang and Dan Hao and Lu Zhang},
title = {Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3395363.3397351},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id22-p doi:10.1145/3395363.3397351
|
| |
Luo, Xiapu |
ISSTA '20: "An Empirical Study on ARM ..."
An Empirical Study on ARM Disassembly Tools
Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China; Arizona State University, USA; Nanyang Technological University, Singapore)
@InProceedings{ISSTA20p449,
author = {Muhui Jiang and Yajin Zhou and Xiapu Luo and Ruoyu Wang and Yang Liu and Kui Ren},
title = {An Empirical Study on ARM Disassembly Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {449-448},
doi = {10.1145/3395363.3397377},
year = {2020},
}
Publisher's Version
Article: issta20main-id47-p doi:10.1145/3395363.3397377
|
| |
Lutellier, Thibaud |
ISSTA '20: "CoCoNuT: Combining Context-Aware ..."
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, and Lin Tan
(University of Waterloo, Canada; Purdue University, USA)
@InProceedings{ISSTA20p113,
author = {Thibaud Lutellier and Hung Viet Pham and Lawrence Pang and Yitong Li and Moshi Wei and Lin Tan},
title = {CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3395363.3397369},
year = {2020},
}
Publisher's Version
Article: issta20main-id96-p doi:10.1145/3395363.3397369
|
| |
Ma, Shiqing
|
ISSTA '20: "FineLock: Automatically Refactoring ..."
FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks
Yang Zhang, Shuai Shao, Juan Zhai, and Shiqing Ma
(Hebei University of Science and Technology, China; Rutgers University, USA)
@InProceedings{ISSTA20p627,
author = {Yang Zhang and Shuai Shao and Juan Zhai and Shiqing Ma},
title = {FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3395363.3404368},
year = {2020},
}
Publisher's Version
Article: issta20tool-id21-p doi:10.1145/3395363.3404368
|
| |
Macêdo Batista, Daniel |
ISSTA '20: "Program-Aware Fuzzing for ..."
Program-Aware Fuzzing for MQTT Applications
Luis Gustavo Araujo Rodriguez and Daniel Macêdo Batista
(University of São Paulo, Brazil)
@InProceedings{ISSTA20p644,
author = {Luis Gustavo Araujo Rodriguez and Daniel Macêdo Batista},
title = {Program-Aware Fuzzing for MQTT Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {644-643},
doi = {10.1145/3395363.3402645},
year = {2020},
}
Publisher's Version
Article: issta20doc-p3-p doi:10.1145/3395363.3402645
|
| |
Machalica, Mateusz |
ISSTA '20: "Scaffle: Bug Localization ..."
Scaffle: Bug Localization on Millions of Files
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, and Satish Chandra
(University of Stuttgart, Germany; Facebook, USA)
@InProceedings{ISSTA20p253,
author = {Michael Pradel and Vijayaraghavan Murali and Rebecca Qian and Mateusz Machalica and Erik Meijer and Satish Chandra},
title = {Scaffle: Bug Localization on Millions of Files},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3395363.3397356},
year = {2020},
}
Publisher's Version
Article: issta20main-id33-p doi:10.1145/3395363.3397356
|
| |
Manjunath, Niveditha |
ISSTA '20: "CPSDebug: A Tool for Explanation ..."
CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković, and Fabrizio Pastore
(TU Vienna, Austria; Austrian Institute of Technology, Austria; University of Milano-Bicocca, Italy; University of Luxembourg, Luxembourg)
@InProceedings{ISSTA20p631,
author = {Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Ničković and Fabrizio Pastore},
title = {CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3395363.3404369},
year = {2020},
}
Publisher's Version
Article: issta20tool-id22-p doi:10.1145/3395363.3404369
|
| |
Mariani, Leonardo |
ISSTA '20: "Data Loss Detector: Automatically ..."
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
@InProceedings{ISSTA20p155,
author = {Oliviero Riganelli and Simone Paolo Mottadelli and Claudio Rota and Daniela Micucci and Leonardo Mariani},
title = {Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3395363.3397379},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id98-p doi:10.1145/3395363.3397379
ISSTA '20: "CPSDebug: A Tool for Explanation ..."
CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković, and Fabrizio Pastore
(TU Vienna, Austria; Austrian Institute of Technology, Austria; University of Milano-Bicocca, Italy; University of Luxembourg, Luxembourg)
@InProceedings{ISSTA20p631,
author = {Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Ničković and Fabrizio Pastore},
title = {CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3395363.3404369},
year = {2020},
}
Publisher's Version
Article: issta20tool-id22-p doi:10.1145/3395363.3404369
|
| |
Mateis, Cristinel |
ISSTA '20: "CPSDebug: A Tool for Explanation ..."
CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković, and Fabrizio Pastore
(TU Vienna, Austria; Austrian Institute of Technology, Austria; University of Milano-Bicocca, Italy; University of Luxembourg, Luxembourg)
@InProceedings{ISSTA20p631,
author = {Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Ničković and Fabrizio Pastore},
title = {CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3395363.3404369},
year = {2020},
}
Publisher's Version
Article: issta20tool-id22-p doi:10.1145/3395363.3404369
|
| |
Mathis, Björn |
ISSTA '20: "Learning Input Tokens for ..."
Learning Input Tokens for Effective Fuzzing
Björn Mathis, Rahul Gopinath, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p29,
author = {Björn Mathis and Rahul Gopinath and Andreas Zeller},
title = {Learning Input Tokens for Effective Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3395363.3397348},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id130-p doi:10.1145/3395363.3397348
|
| |
Meijer, Erik |
ISSTA '20: "Scaffle: Bug Localization ..."
Scaffle: Bug Localization on Millions of Files
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, and Satish Chandra
(University of Stuttgart, Germany; Facebook, USA)
@InProceedings{ISSTA20p253,
author = {Michael Pradel and Vijayaraghavan Murali and Rebecca Qian and Mateusz Machalica and Erik Meijer and Satish Chandra},
title = {Scaffle: Bug Localization on Millions of Files},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3395363.3397356},
year = {2020},
}
Publisher's Version
Article: issta20main-id33-p doi:10.1145/3395363.3397356
|
| |
Men, Duo |
ISSTA '20: "Test Recommendation System ..."
Test Recommendation System Based on Slicing Coverage Filtering
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Mooctest, China)
@InProceedings{ISSTA20p635,
author = {Ruixiang Qian and Yuan Zhao and Duo Men and Yang Feng and Qingkai Shi and Yong Huang and Zhenyu Chen},
title = {Test Recommendation System Based on Slicing Coverage Filtering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {635-634},
doi = {10.1145/3395363.3404370},
year = {2020},
}
Publisher's Version
Article: issta20tool-id28-p doi:10.1145/3395363.3404370
|
| |
Mezini, Mira |
ISSTA '20: "A Programming Model for Semi-implicit ..."
A Programming Model for Semi-implicit Parallelization of Static Analyses
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden)
@InProceedings{ISSTA20p477,
author = {Dominik Helm and Florian Kübler and Jan Thomas Kölzer and Philipp Haller and Michael Eichberg and Guido Salvaneschi and Mira Mezini},
title = {A Programming Model for Semi-implicit Parallelization of Static Analyses},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {477-476},
doi = {10.1145/3395363.3397367},
year = {2020},
}
Publisher's Version
Article: issta20main-id78-p doi:10.1145/3395363.3397367
|
| |
Micucci, Daniela |
ISSTA '20: "Data Loss Detector: Automatically ..."
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
@InProceedings{ISSTA20p155,
author = {Oliviero Riganelli and Simone Paolo Mottadelli and Claudio Rota and Daniela Micucci and Leonardo Mariani},
title = {Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3395363.3397379},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id98-p doi:10.1145/3395363.3397379
|
| |
Milicevic, Aleksandar |
ISSTA '20: "Debugging the Performance ..."
Debugging the Performance of Maven’s Test Isolation: Experience Report
Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
(University of Texas at Austin, USA; Facebook, USA; George Mason University, USA; Microsoft, USA)
@InProceedings{ISSTA20p281,
author = {Pengyu Nie and Ahmet Celik and Matthew Coley and Aleksandar Milicevic and Jonathan Bell and Milos Gligoric},
title = {Debugging the Performance of Maven’s Test Isolation: Experience Report},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3395363.3397381},
year = {2020},
}
Publisher's Version
Article: issta20main-id166-p doi:10.1145/3395363.3397381
|
| |
Misailovic, Sasa |
ISSTA '20: "Detecting Flaky Tests in Probabilistic ..."
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA20p239,
author = {Saikat Dutta and August Shi and Rutvik Choudhary and Zhekun Zhang and Aryaman Jain and Sasa Misailovic},
title = {Detecting Flaky Tests in Probabilistic and Machine Learning Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3395363.3397366},
year = {2020},
}
Publisher's Version
Article: issta20main-id159-p doi:10.1145/3395363.3397366
|
| |
Mottadelli, Simone Paolo |
ISSTA '20: "Data Loss Detector: Automatically ..."
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
@InProceedings{ISSTA20p155,
author = {Oliviero Riganelli and Simone Paolo Mottadelli and Claudio Rota and Daniela Micucci and Leonardo Mariani},
title = {Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3395363.3397379},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id98-p doi:10.1145/3395363.3397379
|
| |
Murali, Vijayaraghavan |
ISSTA '20: "Scaffle: Bug Localization ..."
Scaffle: Bug Localization on Millions of Files
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, and Satish Chandra
(University of Stuttgart, Germany; Facebook, USA)
@InProceedings{ISSTA20p253,
author = {Michael Pradel and Vijayaraghavan Murali and Rebecca Qian and Mateusz Machalica and Erik Meijer and Satish Chandra},
title = {Scaffle: Bug Localization on Millions of Files},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3395363.3397356},
year = {2020},
}
Publisher's Version
Article: issta20main-id33-p doi:10.1145/3395363.3397356
|
| |
Nejati, Shiva
|
ISSTA '20: "Automated Repair of Feature ..."
Automated Repair of Feature Interaction Failures in Automated Driving Systems
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada; IEE, Luxembourg)
@InProceedings{ISSTA20p99,
author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter},
title = {Automated Repair of Feature Interaction Failures in Automated Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3395363.3397386},
year = {2020},
}
Publisher's Version
Article: issta20main-id83-p doi:10.1145/3395363.3397386
|
| |
Ničković, Dejan |
ISSTA '20: "CPSDebug: A Tool for Explanation ..."
CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković, and Fabrizio Pastore
(TU Vienna, Austria; Austrian Institute of Technology, Austria; University of Milano-Bicocca, Italy; University of Luxembourg, Luxembourg)
@InProceedings{ISSTA20p631,
author = {Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Ničković and Fabrizio Pastore},
title = {CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3395363.3404369},
year = {2020},
}
Publisher's Version
Article: issta20tool-id22-p doi:10.1145/3395363.3404369
|
| |
Nie, Pengyu |
ISSTA '20: "Debugging the Performance ..."
Debugging the Performance of Maven’s Test Isolation: Experience Report
Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
(University of Texas at Austin, USA; Facebook, USA; George Mason University, USA; Microsoft, USA)
@InProceedings{ISSTA20p281,
author = {Pengyu Nie and Ahmet Celik and Matthew Coley and Aleksandar Milicevic and Jonathan Bell and Milos Gligoric},
title = {Debugging the Performance of Maven’s Test Isolation: Experience Report},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3395363.3397381},
year = {2020},
}
Publisher's Version
Article: issta20main-id166-p doi:10.1145/3395363.3397381
|
| |
Nowack, Martin |
ISSTA '20: "Running Symbolic Execution ..."
Running Symbolic Execution Forever
Frank Busse, Martin Nowack, and Cristian Cadar
(Imperial College London, UK)
@InProceedings{ISSTA20p71,
author = {Frank Busse and Martin Nowack and Cristian Cadar},
title = {Running Symbolic Execution Forever},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3395363.3397360},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id94-p doi:10.1145/3395363.3397360
|
| |
Oei, Reed
|
ISSTA '20: "Dependent-Test-Aware Regression ..."
Dependent-Test-Aware Regression Testing Techniques
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Google, USA; University of Washington, USA; Peking University, China)
@InProceedings{ISSTA20p337,
author = {Wing Lam and August Shi and Reed Oei and Sai Zhang and Michael D. Ernst and Tao Xie},
title = {Dependent-Test-Aware Regression Testing Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {337-336},
doi = {10.1145/3395363.3397364},
year = {2020},
}
Publisher's Version
Article: issta20main-id57-p doi:10.1145/3395363.3397364
|
| |
Oh, Hakjoo |
ISSTA '20: "Effective White-Box Testing ..."
Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy
Seokhyun Lee, Sooyoung Cha, Dain Lee, and Hakjoo Oh
(Korea University, South Korea)
@InProceedings{ISSTA20p183,
author = {Seokhyun Lee and Sooyoung Cha and Dain Lee and Hakjoo Oh},
title = {Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3395363.3397346},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id26-p doi:10.1145/3395363.3397346
|
| |
Ostrand, Thomas J. |
ISSTA '20: "Intermittently Failing Tests ..."
Intermittently Failing Tests in the Embedded Systems Domain
Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, and Daniel Sundmark
(Westermo Network Technologies, Sweden; Mälardalen University, Sweden; University of Central Florida, USA)
@InProceedings{ISSTA20p379,
author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Wasif Afzal and Daniel Sundmark},
title = {Intermittently Failing Tests in the Embedded Systems Domain},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3395363.3397359},
year = {2020},
}
Publisher's Version
Article: issta20main-id63-p doi:10.1145/3395363.3397359
|
| |
Pan, Minxue
|
ISSTA '20: "Reinforcement Learning Based ..."
Reinforcement Learning Based Curiosity-Driven Testing of Android Applications
Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li
(Nanjing University, China)
@InProceedings{ISSTA20p169,
author = {Minxue Pan and An Huang and Guoxin Wang and Tian Zhang and Xuandong Li},
title = {Reinforcement Learning Based Curiosity-Driven Testing of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {169-168},
doi = {10.1145/3395363.3397354},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id155-p doi:10.1145/3395363.3397354
|
| |
Pang, Lawrence |
ISSTA '20: "CoCoNuT: Combining Context-Aware ..."
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, and Lin Tan
(University of Waterloo, Canada; Purdue University, USA)
@InProceedings{ISSTA20p113,
author = {Thibaud Lutellier and Hung Viet Pham and Lawrence Pang and Yitong Li and Moshi Wei and Lin Tan},
title = {CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3395363.3397369},
year = {2020},
}
Publisher's Version
Article: issta20main-id96-p doi:10.1145/3395363.3397369
|
| |
Panichella, Annibale |
ISSTA '20: "Automated Repair of Feature ..."
Automated Repair of Feature Interaction Failures in Automated Driving Systems
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada; IEE, Luxembourg)
@InProceedings{ISSTA20p99,
author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter},
title = {Automated Repair of Feature Interaction Failures in Automated Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3395363.3397386},
year = {2020},
}
Publisher's Version
Article: issta20main-id83-p doi:10.1145/3395363.3397386
|
| |
Pastore, Fabrizio |
ISSTA '20: "CPSDebug: A Tool for Explanation ..."
CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković, and Fabrizio Pastore
(TU Vienna, Austria; Austrian Institute of Technology, Austria; University of Milano-Bicocca, Italy; University of Luxembourg, Luxembourg)
@InProceedings{ISSTA20p631,
author = {Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Ničković and Fabrizio Pastore},
title = {CPSDebug: A Tool for Explanation of Failures in Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3395363.3404369},
year = {2020},
}
Publisher's Version
Article: issta20tool-id22-p doi:10.1145/3395363.3404369
|
| |
Pattabiraman, Karthik |
ISSTA '20: "How Effective Are Smart Contract ..."
How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection
Asem Ghaleb and Karthik Pattabiraman
(University of British Columbia, Canada)
@InProceedings{ISSTA20p463,
author = {Asem Ghaleb and Karthik Pattabiraman},
title = {How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {463-462},
doi = {10.1145/3395363.3397385},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id58-p doi:10.1145/3395363.3397385
|
| |
Peng, Qianyang |
ISSTA '20: "Empirically Revisiting and ..."
Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization
Qianyang Peng, August Shi, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
@InProceedings{ISSTA20p365,
author = {Qianyang Peng and August Shi and Lingming Zhang},
title = {Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {365-364},
doi = {10.1145/3395363.3397383},
year = {2020},
}
Publisher's Version
Article: issta20main-id126-p doi:10.1145/3395363.3397383
|
| |
Pham, Hung Viet |
ISSTA '20: "CoCoNuT: Combining Context-Aware ..."
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, and Lin Tan
(University of Waterloo, Canada; Purdue University, USA)
@InProceedings{ISSTA20p113,
author = {Thibaud Lutellier and Hung Viet Pham and Lawrence Pang and Yitong Li and Moshi Wei and Lin Tan},
title = {CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3395363.3397369},
year = {2020},
}
Publisher's Version
Article: issta20main-id96-p doi:10.1145/3395363.3397369
|
| |
Polishchuk, Marina |
ISSTA '20: "Differential Regression Testing ..."
Differential Regression Testing for REST APIs
Patrice Godefroid, Daniel Lehmann, and Marina Polishchuk
(Microsoft Research, USA; University of Stuttgart, Germany)
@InProceedings{ISSTA20p351,
author = {Patrice Godefroid and Daniel Lehmann and Marina Polishchuk},
title = {Differential Regression Testing for REST APIs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3395363.3397374},
year = {2020},
}
Publisher's Version
Article: issta20main-id90-p doi:10.1145/3395363.3397374
|
| |
Poskitt, Christopher M. |
ISSTA '20: "Active Fuzzing for Testing ..."
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang
(Singapore Management University, Singapore; Zhejiang University, China; Zhejiang Lab, China; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China)
@InProceedings{ISSTA20p15,
author = {Yuqi Chen and Bohan Xuan and Christopher M. Poskitt and Jun Sun and Fan Zhang},
title = {Active Fuzzing for Testing and Securing Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3395363.3397376},
year = {2020},
}
Publisher's Version
Article: issta20main-id40-p doi:10.1145/3395363.3397376
|
| |
Pradel, Michael |
ISSTA '20: "Scaffle: Bug Localization ..."
Scaffle: Bug Localization on Millions of Files
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, and Satish Chandra
(University of Stuttgart, Germany; Facebook, USA)
@InProceedings{ISSTA20p253,
author = {Michael Pradel and Vijayaraghavan Murali and Rebecca Qian and Mateusz Machalica and Erik Meijer and Satish Chandra},
title = {Scaffle: Bug Localization on Millions of Files},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3395363.3397356},
year = {2020},
}
Publisher's Version
Article: issta20main-id33-p doi:10.1145/3395363.3397356
|
| |
Qian, Rebecca
|
ISSTA '20: "Scaffle: Bug Localization ..."
Scaffle: Bug Localization on Millions of Files
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, and Satish Chandra
(University of Stuttgart, Germany; Facebook, USA)
@InProceedings{ISSTA20p253,
author = {Michael Pradel and Vijayaraghavan Murali and Rebecca Qian and Mateusz Machalica and Erik Meijer and Satish Chandra},
title = {Scaffle: Bug Localization on Millions of Files},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3395363.3397356},
year = {2020},
}
Publisher's Version
Article: issta20main-id33-p doi:10.1145/3395363.3397356
|
| |
Qian, Ruixiang |
ISSTA '20: "Test Recommendation System ..."
Test Recommendation System Based on Slicing Coverage Filtering
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Mooctest, China)
@InProceedings{ISSTA20p635,
author = {Ruixiang Qian and Yuan Zhao and Duo Men and Yang Feng and Qingkai Shi and Yong Huang and Zhenyu Chen},
title = {Test Recommendation System Based on Slicing Coverage Filtering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {635-634},
doi = {10.1145/3395363.3404370},
year = {2020},
}
Publisher's Version
Article: issta20tool-id28-p doi:10.1145/3395363.3404370
|
| |
Rall, Daniel
|
ISSTA '20: "Scalable Build Service System ..."
Scalable Build Service System with Smart Scheduling Service
Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, and Daniel Rall
(Google, USA)
@InProceedings{ISSTA20p505,
author = {Kaiyuan Wang and Greg Tener and Vijay Gullapalli and Xin Huang and Ahmed Gad and Daniel Rall},
title = {Scalable Build Service System with Smart Scheduling Service},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3395363.3397371},
year = {2020},
}
Publisher's Version
Article: issta20main-id27-p doi:10.1145/3395363.3397371
|
| |
Ren, Kui |
ISSTA '20: "An Empirical Study on ARM ..."
An Empirical Study on ARM Disassembly Tools
Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China; Arizona State University, USA; Nanyang Technological University, Singapore)
@InProceedings{ISSTA20p449,
author = {Muhui Jiang and Yajin Zhou and Xiapu Luo and Ruoyu Wang and Yang Liu and Kui Ren},
title = {An Empirical Study on ARM Disassembly Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {449-448},
doi = {10.1145/3395363.3397377},
year = {2020},
}
Publisher's Version
Article: issta20main-id47-p doi:10.1145/3395363.3397377
|
| |
Riganelli, Oliviero |
ISSTA '20: "Data Loss Detector: Automatically ..."
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
@InProceedings{ISSTA20p155,
author = {Oliviero Riganelli and Simone Paolo Mottadelli and Claudio Rota and Daniela Micucci and Leonardo Mariani},
title = {Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3395363.3397379},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id98-p doi:10.1145/3395363.3397379
|
| |
Rinetzky, Noam |
ISSTA '20: "Relocatable Addressing Model ..."
Relocatable Addressing Model for Symbolic Execution
David Trabish and Noam Rinetzky
(Tel Aviv University, Israel)
@InProceedings{ISSTA20p57,
author = {David Trabish and Noam Rinetzky},
title = {Relocatable Addressing Model for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3395363.3397363},
year = {2020},
}
Publisher's Version
Article: issta20main-id53-p doi:10.1145/3395363.3397363
|
| |
Rosner, Nicolás |
ISSTA '20: "Feedback-Driven Side-Channel ..."
Feedback-Driven Side-Channel Analysis for Networked Applications
İsmet Burak Kadron, Nicolás Rosner, and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{ISSTA20p295,
author = {İsmet Burak Kadron and Nicolás Rosner and Tevfik Bultan},
title = {Feedback-Driven Side-Channel Analysis for Networked Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {295-294},
doi = {10.1145/3395363.3397365},
year = {2020},
}
Publisher's Version
Article: issta20main-id101-p doi:10.1145/3395363.3397365
|
| |
Rota, Claudio |
ISSTA '20: "Data Loss Detector: Automatically ..."
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
@InProceedings{ISSTA20p155,
author = {Oliviero Riganelli and Simone Paolo Mottadelli and Claudio Rota and Daniela Micucci and Leonardo Mariani},
title = {Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3395363.3397379},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id98-p doi:10.1145/3395363.3397379
|
| |
Rubio-González, Cindy |
ISSTA '20: "Discovering Discrepancies ..."
Discovering Discrepancies in Numerical Libraries
Jackson Vanover, Xuan Deng, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ISSTA20p547,
author = {Jackson Vanover and Xuan Deng and Cindy Rubio-González},
title = {Discovering Discrepancies in Numerical Libraries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3395363.3397380},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id128-p doi:10.1145/3395363.3397380
|
| |
Salvaneschi, Guido
|
ISSTA '20: "A Programming Model for Semi-implicit ..."
A Programming Model for Semi-implicit Parallelization of Static Analyses
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden)
@InProceedings{ISSTA20p477,
author = {Dominik Helm and Florian Kübler and Jan Thomas Kölzer and Philipp Haller and Michael Eichberg and Guido Salvaneschi and Mira Mezini},
title = {A Programming Model for Semi-implicit Parallelization of Static Analyses},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {477-476},
doi = {10.1145/3395363.3397367},
year = {2020},
}
Publisher's Version
Article: issta20main-id78-p doi:10.1145/3395363.3397367
|
| |
Shao, Shuai |
ISSTA '20: "FineLock: Automatically Refactoring ..."
FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks
Yang Zhang, Shuai Shao, Juan Zhai, and Shiqing Ma
(Hebei University of Science and Technology, China; Rutgers University, USA)
@InProceedings{ISSTA20p627,
author = {Yang Zhang and Shuai Shao and Juan Zhai and Shiqing Ma},
title = {FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3395363.3404368},
year = {2020},
}
Publisher's Version
Article: issta20tool-id21-p doi:10.1145/3395363.3404368
|
| |
Sharma, Arnab |
ISSTA '20: "Higher Income, Larger Loan? ..."
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
Arnab Sharma and Heike Wehrheim
(University of Paderborn, Germany)
@InProceedings{ISSTA20p225,
author = {Arnab Sharma and Heike Wehrheim},
title = {Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {225-224},
doi = {10.1145/3395363.3397352},
year = {2020},
}
Publisher's Version
Article: issta20main-id85-p doi:10.1145/3395363.3397352
|
| |
Shen, Mingzhu |
ISSTA '20: "Automated Classification of ..."
Automated Classification of Actions in Bug Reports of Mobile Apps
Hui Liu, Mingzhu Shen, Jiahao Jin, and Yanjie Jiang
(Beijing Institute of Technology, China)
@InProceedings{ISSTA20p141,
author = {Hui Liu and Mingzhu Shen and Jiahao Jin and Yanjie Jiang},
title = {Automated Classification of Actions in Bug Reports of Mobile Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3395363.3397355},
year = {2020},
}
Publisher's Version
Article: issta20main-id19-p doi:10.1145/3395363.3397355
|
| |
Shi, August |
ISSTA '20: "Detecting Flaky Tests in Probabilistic ..."
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA20p239,
author = {Saikat Dutta and August Shi and Rutvik Choudhary and Zhekun Zhang and Aryaman Jain and Sasa Misailovic},
title = {Detecting Flaky Tests in Probabilistic and Machine Learning Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3395363.3397366},
year = {2020},
}
Publisher's Version
Article: issta20main-id159-p doi:10.1145/3395363.3397366
ISSTA '20: "Dependent-Test-Aware Regression ..."
Dependent-Test-Aware Regression Testing Techniques
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Google, USA; University of Washington, USA; Peking University, China)
@InProceedings{ISSTA20p337,
author = {Wing Lam and August Shi and Reed Oei and Sai Zhang and Michael D. Ernst and Tao Xie},
title = {Dependent-Test-Aware Regression Testing Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {337-336},
doi = {10.1145/3395363.3397364},
year = {2020},
}
Publisher's Version
Article: issta20main-id57-p doi:10.1145/3395363.3397364
ISSTA '20: "Empirically Revisiting and ..."
Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization
Qianyang Peng, August Shi, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
@InProceedings{ISSTA20p365,
author = {Qianyang Peng and August Shi and Lingming Zhang},
title = {Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {365-364},
doi = {10.1145/3395363.3397383},
year = {2020},
}
Publisher's Version
Article: issta20main-id126-p doi:10.1145/3395363.3397383
|
| |
Shi, Jia |
ISSTA '20: "Testing High Performance Numerical ..."
Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues
Xiao He, Xingwei Wang, Jia Shi, and Yi Liu
(University of Science and Technology Beijing, China; CNCERT/CC, China)
@InProceedings{ISSTA20p561,
author = {Xiao He and Xingwei Wang and Jia Shi and Yi Liu},
title = {Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {561-560},
doi = {10.1145/3395363.3397382},
year = {2020},
}
Publisher's Version
Article: issta20main-id76-p doi:10.1145/3395363.3397382
|
| |
Shi, Qingkai |
ISSTA '20: "DeepGini: Prioritizing Massive ..."
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Ant Financial Services, China)
@InProceedings{ISSTA20p197,
author = {Yang Feng and Qingkai Shi and Xinyu Gao and Jun Wan and Chunrong Fang and Zhenyu Chen},
title = {DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {197-196},
doi = {10.1145/3395363.3397357},
year = {2020},
}
Publisher's Version
Article: issta20main-id149-p doi:10.1145/3395363.3397357
ISSTA '20: "Fast Bit-Vector Satisfiability ..."
Fast Bit-Vector Satisfiability
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p43,
author = {Peisen Yao and Qingkai Shi and Heqing Huang and Charles Zhang},
title = {Fast Bit-Vector Satisfiability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3395363.3397378},
year = {2020},
}
Publisher's Version
Article: issta20main-id21-p doi:10.1145/3395363.3397378
ISSTA '20: "Escaping Dependency Hell: ..."
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China; Sourcebrella, China)
@InProceedings{ISSTA20p519,
author = {Gang Fan and Chengpeng Wang and Rongxin Wu and Xiao Xiao and Qingkai Shi and Charles Zhang},
title = {Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {519-518},
doi = {10.1145/3395363.3397388},
year = {2020},
}
Publisher's Version
Article: issta20main-id145-p doi:10.1145/3395363.3397388
ISSTA '20: "Functional Code Clone Detection ..."
Functional Code Clone Detection with Syntax and Semantics Fusion Learning
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, and Qingkai Shi
(Nanjing University, China; Texas A&M University, USA; Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p575,
author = {Chunrong Fang and Zixi Liu and Yangyang Shi and Jeff Huang and Qingkai Shi},
title = {Functional Code Clone Detection with Syntax and Semantics Fusion Learning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {575-574},
doi = {10.1145/3395363.3397362},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id140-p doi:10.1145/3395363.3397362
ISSTA '20: "Test Recommendation System ..."
Test Recommendation System Based on Slicing Coverage Filtering
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Mooctest, China)
@InProceedings{ISSTA20p635,
author = {Ruixiang Qian and Yuan Zhao and Duo Men and Yang Feng and Qingkai Shi and Yong Huang and Zhenyu Chen},
title = {Test Recommendation System Based on Slicing Coverage Filtering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {635-634},
doi = {10.1145/3395363.3404370},
year = {2020},
}
Publisher's Version
Article: issta20tool-id28-p doi:10.1145/3395363.3404370
|
| |
Shi, Yangyang |
ISSTA '20: "Functional Code Clone Detection ..."
Functional Code Clone Detection with Syntax and Semantics Fusion Learning
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, and Qingkai Shi
(Nanjing University, China; Texas A&M University, USA; Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p575,
author = {Chunrong Fang and Zixi Liu and Yangyang Shi and Jeff Huang and Qingkai Shi},
title = {Functional Code Clone Detection with Syntax and Semantics Fusion Learning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {575-574},
doi = {10.1145/3395363.3397362},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id140-p doi:10.1145/3395363.3397362
|
| |
Smaragdakis, Yannis |
ISSTA '20: "Identifying Java Calls in ..."
Identifying Java Calls in Native Code via Binary Scanning
George Fourtounis, Leonidas Triantafyllou, and Yannis Smaragdakis
(University of Athens, Greece)
@InProceedings{ISSTA20p435,
author = {George Fourtounis and Leonidas Triantafyllou and Yannis Smaragdakis},
title = {Identifying Java Calls in Native Code via Binary Scanning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3395363.3397368},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id167-p doi:10.1145/3395363.3397368
|
| |
Song, Fu |
ISSTA '20: "Patch Based Vulnerability ..."
Patch Based Vulnerability Matching for Binary Programs
Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, and Ting Liu
(Xi'an Jiaotong University, China; Nanyang Technological University, Singapore; Fudan University, China; ShanghaiTech University, China; Zhejiang University, China)
@InProceedings{ISSTA20p421,
author = {Yifei Xu and Zhengzi Xu and Bihuan Chen and Fu Song and Yang Liu and Ting Liu},
title = {Patch Based Vulnerability Matching for Binary Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3395363.3397361},
year = {2020},
}
Publisher's Version
Article: issta20main-id120-p doi:10.1145/3395363.3397361
|
| |
Song, Will |
ISSTA '20: "Echidna: Effective, Usable, ..."
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, and Alex Groce
(Trail of Bits, USA; Northern Arizona University, USA)
@InProceedings{ISSTA20p619,
author = {Gustavo Grieco and Will Song and Artur Cygan and Josselin Feist and Alex Groce},
title = {Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {619-618},
doi = {10.1145/3395363.3404366},
year = {2020},
}
Publisher's Version
Article: issta20tool-id13-p doi:10.1145/3395363.3404366
|
| |
Soremekun, Ezekiel O. |
ISSTA '20: "Abstracting Failure-Inducing ..."
Abstracting Failure-Inducing Inputs
Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p267,
author = {Rahul Gopinath and Alexander Kampmann and Nikolas Havrikov and Ezekiel O. Soremekun and Andreas Zeller},
title = {Abstracting Failure-Inducing Inputs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {267-266},
doi = {10.1145/3395363.3397349},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id136-p doi:10.1145/3395363.3397349
|
| |
Stevens, Clay |
ISSTA '20: "Scalable Analysis of Interaction ..."
Scalable Analysis of Interaction Threats in IoT Systems
Mohannad Alhanahnah, Clay Stevens, and Hamid Bagheri
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA20p309,
author = {Mohannad Alhanahnah and Clay Stevens and Hamid Bagheri},
title = {Scalable Analysis of Interaction Threats in IoT Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3395363.3397347},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id143-p doi:10.1145/3395363.3397347
|
| |
Stifter, Thomas |
ISSTA '20: "Automated Repair of Feature ..."
Automated Repair of Feature Interaction Failures in Automated Driving Systems
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; University of Ottawa, Canada; IEE, Luxembourg)
@InProceedings{ISSTA20p99,
author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter},
title = {Automated Repair of Feature Interaction Failures in Automated Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3395363.3397386},
year = {2020},
}
Publisher's Version
Article: issta20main-id83-p doi:10.1145/3395363.3397386
|
| |
Strandberg, Per Erik |
ISSTA '20: "Intermittently Failing Tests ..."
Intermittently Failing Tests in the Embedded Systems Domain
Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, and Daniel Sundmark
(Westermo Network Technologies, Sweden; Mälardalen University, Sweden; University of Central Florida, USA)
@InProceedings{ISSTA20p379,
author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Wasif Afzal and Daniel Sundmark},
title = {Intermittently Failing Tests in the Embedded Systems Domain},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3395363.3397359},
year = {2020},
}
Publisher's Version
Article: issta20main-id63-p doi:10.1145/3395363.3397359
|
| |
Sullivan, Allison K. |
ISSTA '20: "ProFL: A Fault Localization ..."
ProFL: A Fault Localization Framework for Prolog
George Thompson and Allison K. Sullivan
(North Carolina A&T State University, USA; University of Texas at Arlington, USA)
@InProceedings{ISSTA20p623,
author = {George Thompson and Allison K. Sullivan},
title = {ProFL: A Fault Localization Framework for Prolog},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {623-622},
doi = {10.1145/3395363.3404367},
year = {2020},
}
Publisher's Version
Article: issta20tool-id18-p doi:10.1145/3395363.3404367
|
| |
Sun, Jun |
ISSTA '20: "Active Fuzzing for Testing ..."
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang
(Singapore Management University, Singapore; Zhejiang University, China; Zhejiang Lab, China; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China)
@InProceedings{ISSTA20p15,
author = {Yuqi Chen and Bohan Xuan and Christopher M. Poskitt and Jun Sun and Fan Zhang},
title = {Active Fuzzing for Testing and Securing Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3395363.3397376},
year = {2020},
}
Publisher's Version
Article: issta20main-id40-p doi:10.1145/3395363.3397376
ISSTA '20: "Recovering Fitness Gradients ..."
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore Management University, Singapore; University of Passau, Germany; Xi'an Jiaotong University, China)
@InProceedings{ISSTA20p491,
author = {Yun Lin and Jun Sun and Gordon Fraser and Ziheng Xiu and Ting Liu and Jin Song Dong},
title = {Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {491-490},
doi = {10.1145/3395363.3397358},
year = {2020},
}
Publisher's Version
Article: issta20main-id134-p doi:10.1145/3395363.3397358
|
| |
Sundmark, Daniel |
ISSTA '20: "Intermittently Failing Tests ..."
Intermittently Failing Tests in the Embedded Systems Domain
Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, and Daniel Sundmark
(Westermo Network Technologies, Sweden; Mälardalen University, Sweden; University of Central Florida, USA)
@InProceedings{ISSTA20p379,
author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Wasif Afzal and Daniel Sundmark},
title = {Intermittently Failing Tests in the Embedded Systems Domain},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3395363.3397359},
year = {2020},
}
Publisher's Version
Article: issta20main-id63-p doi:10.1145/3395363.3397359
|
| |
Tan, Lin
|
ISSTA '20: "CoCoNuT: Combining Context-Aware ..."
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, and Lin Tan
(University of Waterloo, Canada; Purdue University, USA)
@InProceedings{ISSTA20p113,
author = {Thibaud Lutellier and Hung Viet Pham and Lawrence Pang and Yitong Li and Moshi Wei and Lin Tan},
title = {CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3395363.3397369},
year = {2020},
}
Publisher's Version
Article: issta20main-id96-p doi:10.1145/3395363.3397369
|
| |
Tener, Greg |
ISSTA '20: "Scalable Build Service System ..."
Scalable Build Service System with Smart Scheduling Service
Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, and Daniel Rall
(Google, USA)
@InProceedings{ISSTA20p505,
author = {Kaiyuan Wang and Greg Tener and Vijay Gullapalli and Xin Huang and Ahmed Gad and Daniel Rall},
title = {Scalable Build Service System with Smart Scheduling Service},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3395363.3397371},
year = {2020},
}
Publisher's Version
Article: issta20main-id27-p doi:10.1145/3395363.3397371
|
| |
Thompson, George |
ISSTA '20: "ProFL: A Fault Localization ..."
ProFL: A Fault Localization Framework for Prolog
George Thompson and Allison K. Sullivan
(North Carolina A&T State University, USA; University of Texas at Arlington, USA)
@InProceedings{ISSTA20p623,
author = {George Thompson and Allison K. Sullivan},
title = {ProFL: A Fault Localization Framework for Prolog},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {623-622},
doi = {10.1145/3395363.3404367},
year = {2020},
}
Publisher's Version
Article: issta20tool-id18-p doi:10.1145/3395363.3404367
|
| |
Tizpaz-Niari, Saeid |
ISSTA '20: "Detecting and Understanding ..."
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries
Saeid Tizpaz-Niari, Pavol Černý, and Ashutosh Trivedi
(University of Colorado Boulder, USA; TU Vienna, Austria)
@InProceedings{ISSTA20p211,
author = {Saeid Tizpaz-Niari and Pavol Černý and Ashutosh Trivedi},
title = {Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3395363.3404540},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id50-p doi:10.1145/3395363.3404540
|
| |
Trabish, David |
ISSTA '20: "Relocatable Addressing Model ..."
Relocatable Addressing Model for Symbolic Execution
David Trabish and Noam Rinetzky
(Tel Aviv University, Israel)
@InProceedings{ISSTA20p57,
author = {David Trabish and Noam Rinetzky},
title = {Relocatable Addressing Model for Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3395363.3397363},
year = {2020},
}
Publisher's Version
Article: issta20main-id53-p doi:10.1145/3395363.3397363
|
| |
Triantafyllou, Leonidas |
ISSTA '20: "Identifying Java Calls in ..."
Identifying Java Calls in Native Code via Binary Scanning
George Fourtounis, Leonidas Triantafyllou, and Yannis Smaragdakis
(University of Athens, Greece)
@InProceedings{ISSTA20p435,
author = {George Fourtounis and Leonidas Triantafyllou and Yannis Smaragdakis},
title = {Identifying Java Calls in Native Code via Binary Scanning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3395363.3397368},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id167-p doi:10.1145/3395363.3397368
|
| |
Trivedi, Ashutosh |
ISSTA '20: "Detecting and Understanding ..."
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries
Saeid Tizpaz-Niari, Pavol Černý, and Ashutosh Trivedi
(University of Colorado Boulder, USA; TU Vienna, Austria)
@InProceedings{ISSTA20p211,
author = {Saeid Tizpaz-Niari and Pavol Černý and Ashutosh Trivedi},
title = {Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3395363.3404540},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id50-p doi:10.1145/3395363.3404540
|
| |
Vanover, Jackson
|
ISSTA '20: "Discovering Discrepancies ..."
Discovering Discrepancies in Numerical Libraries
Jackson Vanover, Xuan Deng, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ISSTA20p547,
author = {Jackson Vanover and Xuan Deng and Cindy Rubio-González},
title = {Discovering Discrepancies in Numerical Libraries},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3395363.3397380},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id128-p doi:10.1145/3395363.3397380
|
| |
Wan, Jun
|
ISSTA '20: "DeepGini: Prioritizing Massive ..."
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Ant Financial Services, China)
@InProceedings{ISSTA20p197,
author = {Yang Feng and Qingkai Shi and Xinyu Gao and Jun Wan and Chunrong Fang and Zhenyu Chen},
title = {DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {197-196},
doi = {10.1145/3395363.3397357},
year = {2020},
}
Publisher's Version
Article: issta20main-id149-p doi:10.1145/3395363.3397357
|
| |
Wang, Chengpeng |
ISSTA '20: "Escaping Dependency Hell: ..."
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China; Sourcebrella, China)
@InProceedings{ISSTA20p519,
author = {Gang Fan and Chengpeng Wang and Rongxin Wu and Xiao Xiao and Qingkai Shi and Charles Zhang},
title = {Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {519-518},
doi = {10.1145/3395363.3397388},
year = {2020},
}
Publisher's Version
Article: issta20main-id145-p doi:10.1145/3395363.3397388
|
| |
Wang, Dong |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
|
| |
Wang, Guoxin |
ISSTA '20: "Reinforcement Learning Based ..."
Reinforcement Learning Based Curiosity-Driven Testing of Android Applications
Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li
(Nanjing University, China)
@InProceedings{ISSTA20p169,
author = {Minxue Pan and An Huang and Guoxin Wang and Tian Zhang and Xuandong Li},
title = {Reinforcement Learning Based Curiosity-Driven Testing of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {169-168},
doi = {10.1145/3395363.3397354},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id155-p doi:10.1145/3395363.3397354
|
| |
Wang, Kaiyuan |
ISSTA '20: "Scalable Build Service System ..."
Scalable Build Service System with Smart Scheduling Service
Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, and Daniel Rall
(Google, USA)
@InProceedings{ISSTA20p505,
author = {Kaiyuan Wang and Greg Tener and Vijay Gullapalli and Xin Huang and Ahmed Gad and Daniel Rall},
title = {Scalable Build Service System with Smart Scheduling Service},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3395363.3397371},
year = {2020},
}
Publisher's Version
Article: issta20main-id27-p doi:10.1145/3395363.3397371
|
| |
Wang, Ruoyu |
ISSTA '20: "An Empirical Study on ARM ..."
An Empirical Study on ARM Disassembly Tools
Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China; Arizona State University, USA; Nanyang Technological University, Singapore)
@InProceedings{ISSTA20p449,
author = {Muhui Jiang and Yajin Zhou and Xiapu Luo and Ruoyu Wang and Yang Liu and Kui Ren},
title = {An Empirical Study on ARM Disassembly Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {449-448},
doi = {10.1145/3395363.3397377},
year = {2020},
}
Publisher's Version
Article: issta20main-id47-p doi:10.1145/3395363.3397377
|
| |
Wang, Shuai |
ISSTA '20: "How Far We Have Come: Testing ..."
How Far We Have Come: Testing Decompilation Correctness of C Decompilers
Zhibo Liu and Shuai Wang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p533,
author = {Zhibo Liu and Shuai Wang},
title = {How Far We Have Come: Testing Decompilation Correctness of C Decompilers},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {533-532},
doi = {10.1145/3395363.3397370},
year = {2020},
}
Publisher's Version
Artifacts Functional
Article: issta20main-id103-p doi:10.1145/3395363.3397370
|
| |
Wang, Wei |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
|
| |
Wang, Xingwei |
ISSTA '20: "Testing High Performance Numerical ..."
Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues
Xiao He, Xingwei Wang, Jia Shi, and Yi Liu
(University of Science and Technology Beijing, China; CNCERT/CC, China)
@InProceedings{ISSTA20p561,
author = {Xiao He and Xingwei Wang and Jia Shi and Yi Liu},
title = {Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {561-560},
doi = {10.1145/3395363.3397382},
year = {2020},
}
Publisher's Version
Article: issta20main-id76-p doi:10.1145/3395363.3397382
|
| |
Wehrheim, Heike |
ISSTA '20: "Higher Income, Larger Loan? ..."
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
Arnab Sharma and Heike Wehrheim
(University of Paderborn, Germany)
@InProceedings{ISSTA20p225,
author = {Arnab Sharma and Heike Wehrheim},
title = {Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {225-224},
doi = {10.1145/3395363.3397352},
year = {2020},
}
Publisher's Version
Article: issta20main-id85-p doi:10.1145/3395363.3397352
|
| |
Wei, Jun |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|
| |
Wei, Moshi |
ISSTA '20: "CoCoNuT: Combining Context-Aware ..."
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, and Lin Tan
(University of Waterloo, Canada; Purdue University, USA)
@InProceedings{ISSTA20p113,
author = {Thibaud Lutellier and Hung Viet Pham and Lawrence Pang and Yitong Li and Moshi Wei and Lin Tan},
title = {CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3395363.3397369},
year = {2020},
}
Publisher's Version
Article: issta20main-id96-p doi:10.1145/3395363.3397369
|
| |
Weyuker, Elaine J. |
ISSTA '20: "Intermittently Failing Tests ..."
Intermittently Failing Tests in the Embedded Systems Domain
Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, and Daniel Sundmark
(Westermo Network Technologies, Sweden; Mälardalen University, Sweden; University of Central Florida, USA)
@InProceedings{ISSTA20p379,
author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Wasif Afzal and Daniel Sundmark},
title = {Intermittently Failing Tests in the Embedded Systems Domain},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3395363.3397359},
year = {2020},
}
Publisher's Version
Article: issta20main-id63-p doi:10.1145/3395363.3397359
|
| |
Wu, Kaishun |
ISSTA '20: "Detecting and Diagnosing Energy ..."
Detecting and Diagnosing Energy Issues for Mobile Applications
Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, and Kaishun Wu
(Shenzhen University, China; Southern University of Science and Technology, China; Roskilde University, Denmark; IMDEA Software Institute, Spain)
@InProceedings{ISSTA20p127,
author = {Xueliang Li and Yuming Yang and Yepang Liu and John P. Gallagher and Kaishun Wu},
title = {Detecting and Diagnosing Energy Issues for Mobile Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3395363.3397350},
year = {2020},
}
Publisher's Version
Article: issta20main-id2-p doi:10.1145/3395363.3397350
|
| |
Wu, Rongxin |
ISSTA '20: "Escaping Dependency Hell: ..."
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China; Sourcebrella, China)
@InProceedings{ISSTA20p519,
author = {Gang Fan and Chengpeng Wang and Rongxin Wu and Xiao Xiao and Qingkai Shi and Charles Zhang},
title = {Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {519-518},
doi = {10.1145/3395363.3397388},
year = {2020},
}
Publisher's Version
Article: issta20main-id145-p doi:10.1145/3395363.3397388
|
| |
Wu, Zhenhao |
ISSTA '20: "EShield: Protect Smart Contracts ..."
EShield: Protect Smart Contracts against Reverse Engineering
Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, and Zhong Chen
(Peking University, China; Boya Blockchain, China)
@InProceedings{ISSTA20p615,
author = {Wentian Yan and Jianbo Gao and Zhenhao Wu and Yue Li and Zhi Guan and Qingshan Li and Zhong Chen},
title = {EShield: Protect Smart Contracts against Reverse Engineering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {615-614},
doi = {10.1145/3395363.3404365},
year = {2020},
}
Publisher's Version
Article: issta20tool-id11-p doi:10.1145/3395363.3404365
|
| |
Xiao, Xiao
|
ISSTA '20: "Escaping Dependency Hell: ..."
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China; Sourcebrella, China)
@InProceedings{ISSTA20p519,
author = {Gang Fan and Chengpeng Wang and Rongxin Wu and Xiao Xiao and Qingkai Shi and Charles Zhang},
title = {Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {519-518},
doi = {10.1145/3395363.3397388},
year = {2020},
}
Publisher's Version
Article: issta20main-id145-p doi:10.1145/3395363.3397388
|
| |
Xie, Tao |
ISSTA '20: "Dependent-Test-Aware Regression ..."
Dependent-Test-Aware Regression Testing Techniques
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Google, USA; University of Washington, USA; Peking University, China)
@InProceedings{ISSTA20p337,
author = {Wing Lam and August Shi and Reed Oei and Sai Zhang and Michael D. Ernst and Tao Xie},
title = {Dependent-Test-Aware Regression Testing Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {337-336},
doi = {10.1145/3395363.3397364},
year = {2020},
}
Publisher's Version
Article: issta20main-id57-p doi:10.1145/3395363.3397364
|
| |
Xiu, Ziheng |
ISSTA '20: "Recovering Fitness Gradients ..."
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore Management University, Singapore; University of Passau, Germany; Xi'an Jiaotong University, China)
@InProceedings{ISSTA20p491,
author = {Yun Lin and Jun Sun and Gordon Fraser and Ziheng Xiu and Ting Liu and Jin Song Dong},
title = {Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {491-490},
doi = {10.1145/3395363.3397358},
year = {2020},
}
Publisher's Version
Article: issta20main-id134-p doi:10.1145/3395363.3397358
|
| |
Xu, Liang |
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|
| |
Xu, Lijie |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
|
| |
Xu, Yifei |
ISSTA '20: "Patch Based Vulnerability ..."
Patch Based Vulnerability Matching for Binary Programs
Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, and Ting Liu
(Xi'an Jiaotong University, China; Nanyang Technological University, Singapore; Fudan University, China; ShanghaiTech University, China; Zhejiang University, China)
@InProceedings{ISSTA20p421,
author = {Yifei Xu and Zhengzi Xu and Bihuan Chen and Fu Song and Yang Liu and Ting Liu},
title = {Patch Based Vulnerability Matching for Binary Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3395363.3397361},
year = {2020},
}
Publisher's Version
Article: issta20main-id120-p doi:10.1145/3395363.3397361
|
| |
Xu, Zhengzi |
ISSTA '20: "Patch Based Vulnerability ..."
Patch Based Vulnerability Matching for Binary Programs
Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, and Ting Liu
(Xi'an Jiaotong University, China; Nanyang Technological University, Singapore; Fudan University, China; ShanghaiTech University, China; Zhejiang University, China)
@InProceedings{ISSTA20p421,
author = {Yifei Xu and Zhengzi Xu and Bihuan Chen and Fu Song and Yang Liu and Ting Liu},
title = {Patch Based Vulnerability Matching for Binary Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3395363.3397361},
year = {2020},
}
Publisher's Version
Article: issta20main-id120-p doi:10.1145/3395363.3397361
|
| |
Xuan, Bohan |
ISSTA '20: "Active Fuzzing for Testing ..."
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang
(Singapore Management University, Singapore; Zhejiang University, China; Zhejiang Lab, China; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China)
@InProceedings{ISSTA20p15,
author = {Yuqi Chen and Bohan Xuan and Christopher M. Poskitt and Jun Sun and Fan Zhang},
title = {Active Fuzzing for Testing and Securing Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3395363.3397376},
year = {2020},
}
Publisher's Version
Article: issta20main-id40-p doi:10.1145/3395363.3397376
|
| |
Xue, Feng |
ISSTA '20: "Automated Mobile Apps Testing ..."
Automated Mobile Apps Testing from Visual Perspective
Feng Xue
(Northwestern Polytechnical University, China)
@InProceedings{ISSTA20p639,
author = {Feng Xue},
title = {Automated Mobile Apps Testing from Visual Perspective},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {639-638},
doi = {10.1145/3395363.3402644},
year = {2020},
}
Publisher's Version
Article: issta20doc-p2-p doi:10.1145/3395363.3402644
|
| |
Yan, Wentian
|
ISSTA '20: "EShield: Protect Smart Contracts ..."
EShield: Protect Smart Contracts against Reverse Engineering
Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, and Zhong Chen
(Peking University, China; Boya Blockchain, China)
@InProceedings{ISSTA20p615,
author = {Wentian Yan and Jianbo Gao and Zhenhao Wu and Yue Li and Zhi Guan and Qingshan Li and Zhong Chen},
title = {EShield: Protect Smart Contracts against Reverse Engineering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {615-614},
doi = {10.1145/3395363.3404365},
year = {2020},
}
Publisher's Version
Article: issta20tool-id11-p doi:10.1145/3395363.3404365
|
| |
Yang, Bo |
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|
| |
Yang, Yuming |
ISSTA '20: "Detecting and Diagnosing Energy ..."
Detecting and Diagnosing Energy Issues for Mobile Applications
Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, and Kaishun Wu
(Shenzhen University, China; Southern University of Science and Technology, China; Roskilde University, Denmark; IMDEA Software Institute, Spain)
@InProceedings{ISSTA20p127,
author = {Xueliang Li and Yuming Yang and Yepang Liu and John P. Gallagher and Kaishun Wu},
title = {Detecting and Diagnosing Energy Issues for Mobile Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3395363.3397350},
year = {2020},
}
Publisher's Version
Article: issta20main-id2-p doi:10.1145/3395363.3397350
|
| |
Yao, Peisen |
ISSTA '20: "Fast Bit-Vector Satisfiability ..."
Fast Bit-Vector Satisfiability
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p43,
author = {Peisen Yao and Qingkai Shi and Heqing Huang and Charles Zhang},
title = {Fast Bit-Vector Satisfiability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3395363.3397378},
year = {2020},
}
Publisher's Version
Article: issta20main-id21-p doi:10.1145/3395363.3397378
|
| |
Ye, Dan |
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|
| |
Yuan, Wei |
ISSTA '20: "Crowdsourced Requirements ..."
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Chao Guo, Tieke He, Wei Yuan, Yue Guo, and Rui Hao
(Nanjing University, China)
@InProceedings{ISSTA20p607,
author = {Chao Guo and Tieke He and Wei Yuan and Yue Guo and Rui Hao},
title = {Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {607-606},
doi = {10.1145/3395363.3404363},
year = {2020},
}
Publisher's Version
Article: issta20tool-id7-p doi:10.1145/3395363.3404363
|
| |
Zeller, Andreas
|
ISSTA '20: "Abstracting Failure-Inducing ..."
Abstracting Failure-Inducing Inputs
Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p267,
author = {Rahul Gopinath and Alexander Kampmann and Nikolas Havrikov and Ezekiel O. Soremekun and Andreas Zeller},
title = {Abstracting Failure-Inducing Inputs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {267-266},
doi = {10.1145/3395363.3397349},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id136-p doi:10.1145/3395363.3397349
ISSTA '20: "Learning Input Tokens for ..."
Learning Input Tokens for Effective Fuzzing
Björn Mathis, Rahul Gopinath, and Andreas Zeller
(CISPA, Germany)
@InProceedings{ISSTA20p29,
author = {Björn Mathis and Rahul Gopinath and Andreas Zeller},
title = {Learning Input Tokens for Effective Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3395363.3397348},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta20main-id130-p doi:10.1145/3395363.3397348
|
| |
Zhai, Juan |
ISSTA '20: "FineLock: Automatically Refactoring ..."
FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks
Yang Zhang, Shuai Shao, Juan Zhai, and Shiqing Ma
(Hebei University of Science and Technology, China; Rutgers University, USA)
@InProceedings{ISSTA20p627,
author = {Yang Zhang and Shuai Shao and Juan Zhai and Shiqing Ma},
title = {FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3395363.3404368},
year = {2020},
}
Publisher's Version
Article: issta20tool-id21-p doi:10.1145/3395363.3404368
|
| |
Zhang, Charles |
ISSTA '20: "Fast Bit-Vector Satisfiability ..."
Fast Bit-Vector Satisfiability
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA20p43,
author = {Peisen Yao and Qingkai Shi and Heqing Huang and Charles Zhang},
title = {Fast Bit-Vector Satisfiability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3395363.3397378},
year = {2020},
}
Publisher's Version
Article: issta20main-id21-p doi:10.1145/3395363.3397378
ISSTA '20: "Escaping Dependency Hell: ..."
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China; Sourcebrella, China)
@InProceedings{ISSTA20p519,
author = {Gang Fan and Chengpeng Wang and Rongxin Wu and Xiao Xiao and Qingkai Shi and Charles Zhang},
title = {Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {519-518},
doi = {10.1145/3395363.3397388},
year = {2020},
}
Publisher's Version
Article: issta20main-id145-p doi:10.1145/3395363.3397388
|
| |
Zhang, Fan |
ISSTA '20: "Active Fuzzing for Testing ..."
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang
(Singapore Management University, Singapore; Zhejiang University, China; Zhejiang Lab, China; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China)
@InProceedings{ISSTA20p15,
author = {Yuqi Chen and Bohan Xuan and Christopher M. Poskitt and Jun Sun and Fan Zhang},
title = {Active Fuzzing for Testing and Securing Cyber-Physical Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3395363.3397376},
year = {2020},
}
Publisher's Version
Article: issta20main-id40-p doi:10.1145/3395363.3397376
|
| |
Zhang, Haotian |
ISSTA '20: "Can Automated Program Repair ..."
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Ant Financial Services, China)
@InProceedings{ISSTA20p85,
author = {Yiling Lou and Ali Ghanbari and Xia Li and Lingming Zhang and Haotian Zhang and Dan Hao and Lu Zhang},
title = {Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3395363.3397351},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id22-p doi:10.1145/3395363.3397351
|
| |
Zhang, Lingming |
ISSTA '20: "Empirically Revisiting and ..."
Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization
Qianyang Peng, August Shi, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
@InProceedings{ISSTA20p365,
author = {Qianyang Peng and August Shi and Lingming Zhang},
title = {Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {365-364},
doi = {10.1145/3395363.3397383},
year = {2020},
}
Publisher's Version
Article: issta20main-id126-p doi:10.1145/3395363.3397383
ISSTA '20: "Can Automated Program Repair ..."
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Ant Financial Services, China)
@InProceedings{ISSTA20p85,
author = {Yiling Lou and Ali Ghanbari and Xia Li and Lingming Zhang and Haotian Zhang and Dan Hao and Lu Zhang},
title = {Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3395363.3397351},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id22-p doi:10.1145/3395363.3397351
|
| |
Zhang, Lu |
ISSTA '20: "Can Automated Program Repair ..."
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Ant Financial Services, China)
@InProceedings{ISSTA20p85,
author = {Yiling Lou and Ali Ghanbari and Xia Li and Lingming Zhang and Haotian Zhang and Dan Hao and Lu Zhang},
title = {Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3395363.3397351},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id22-p doi:10.1145/3395363.3397351
|
| |
Zhang, Sai |
ISSTA '20: "Dependent-Test-Aware Regression ..."
Dependent-Test-Aware Regression Testing Techniques
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Google, USA; University of Washington, USA; Peking University, China)
@InProceedings{ISSTA20p337,
author = {Wing Lam and August Shi and Reed Oei and Sai Zhang and Michael D. Ernst and Tao Xie},
title = {Dependent-Test-Aware Regression Testing Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {337-336},
doi = {10.1145/3395363.3397364},
year = {2020},
}
Publisher's Version
Article: issta20main-id57-p doi:10.1145/3395363.3397364
|
| |
Zhang, Tian |
ISSTA '20: "Reinforcement Learning Based ..."
Reinforcement Learning Based Curiosity-Driven Testing of Android Applications
Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li
(Nanjing University, China)
@InProceedings{ISSTA20p169,
author = {Minxue Pan and An Huang and Guoxin Wang and Tian Zhang and Xuandong Li},
title = {Reinforcement Learning Based Curiosity-Driven Testing of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {169-168},
doi = {10.1145/3395363.3397354},
year = {2020},
}
Publisher's Version
ACM SIGSOFT Distinguished Paper Award
Article: issta20main-id155-p doi:10.1145/3395363.3397354
|
| |
Zhang, Yakun |
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|
| |
Zhang, Yang |
ISSTA '20: "FineLock: Automatically Refactoring ..."
FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks
Yang Zhang, Shuai Shao, Juan Zhai, and Shiqing Ma
(Hebei University of Science and Technology, China; Rutgers University, USA)
@InProceedings{ISSTA20p627,
author = {Yang Zhang and Shuai Shao and Juan Zhai and Shiqing Ma},
title = {FineLock: Automatically Refactoring Coarse-Grained Locks into Fine-Grained Locks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {627-626},
doi = {10.1145/3395363.3404368},
year = {2020},
}
Publisher's Version
Article: issta20tool-id21-p doi:10.1145/3395363.3404368
|
| |
Zhang, Zhekun |
ISSTA '20: "Detecting Flaky Tests in Probabilistic ..."
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA20p239,
author = {Saikat Dutta and August Shi and Rutvik Choudhary and Zhekun Zhang and Aryaman Jain and Sasa Misailovic},
title = {Detecting Flaky Tests in Probabilistic and Machine Learning Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3395363.3397366},
year = {2020},
}
Publisher's Version
Article: issta20main-id159-p doi:10.1145/3395363.3397366
|
| |
Zhangzhu, Peitian |
ISSTA '20: "TauJud: Test Augmentation ..."
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, and Peitian Zhangzhu
(Nanjing University, China)
@InProceedings{ISSTA20p611,
author = {Zichen Guo and Jiawei Liu and Tieke He and Zhuoyang Li and Peitian Zhangzhu},
title = {TauJud: Test Augmentation of Machine Learning in Judicial Documents},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {611-610},
doi = {10.1145/3395363.3404364},
year = {2020},
}
Publisher's Version
Article: issta20tool-id8-p doi:10.1145/3395363.3404364
|
| |
Zhao, Yuan |
ISSTA '20: "Test Recommendation System ..."
Test Recommendation System Based on Slicing Coverage Filtering
Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng, Qingkai Shi, Yong Huang, and Zhenyu Chen
(Nanjing University, China; Hong Kong University of Science and Technology, China; Mooctest, China)
@InProceedings{ISSTA20p635,
author = {Ruixiang Qian and Yuan Zhao and Duo Men and Yang Feng and Qingkai Shi and Yong Huang and Zhenyu Chen},
title = {Test Recommendation System Based on Slicing Coverage Filtering},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {635-634},
doi = {10.1145/3395363.3404370},
year = {2020},
}
Publisher's Version
Article: issta20tool-id28-p doi:10.1145/3395363.3404370
|
| |
Zhong, Hua |
ISSTA '20: "Detecting Cache-Related Bugs ..."
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{ISSTA20p407,
author = {Hui Li and Dong Wang and Tianze Huang and Yu Gao and Wensheng Dou and Lijie Xu and Wei Wang and Jun Wei and Hua Zhong},
title = {Detecting Cache-Related Bugs in Spark Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {407-406},
doi = {10.1145/3395363.3397353},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: issta20main-id139-p doi:10.1145/3395363.3397353
|
| |
Zhou, Yajin |
ISSTA '20: "An Empirical Study on ARM ..."
An Empirical Study on ARM Disassembly Tools
Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China; Arizona State University, USA; Nanyang Technological University, Singapore)
@InProceedings{ISSTA20p449,
author = {Muhui Jiang and Yajin Zhou and Xiapu Luo and Ruoyu Wang and Yang Liu and Kui Ren},
title = {An Empirical Study on ARM Disassembly Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {449-448},
doi = {10.1145/3395363.3397377},
year = {2020},
}
Publisher's Version
Article: issta20main-id47-p doi:10.1145/3395363.3397377
|
| |
Zhou, Zhiyong |
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|
| |
Zhu, Jiaxin |
ISSTA '20: "Learning to Detect Table Clones ..."
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, and Bo Yang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China; North China University of Technology, China)
@InProceedings{ISSTA20p589,
author = {Yakun Zhang and Wensheng Dou and Jiaxin Zhu and Liang Xu and Zhiyong Zhou and Jun Wei and Dan Ye and Bo Yang},
title = {Learning to Detect Table Clones in Spreadsheets},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {589-588},
doi = {10.1145/3395363.3397384},
year = {2020},
}
Publisher's Version
Article: issta20main-id141-p doi:10.1145/3395363.3397384
|