ISSTA 2020 – Author Index

A B C D E F G H J K L M N O P Q R S T V W X Y Z

	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Č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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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 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
	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
	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 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 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 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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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 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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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