ISSTA 2018 – 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

	Afzal, Wasif	ISSTA '18: "Automated Test Mapping and ..." Automated Test Mapping and Coverage for Network Topologies Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, and Wasif Afzal (Westermo Research and Development, Sweden; Mälardalen University, Sweden) @InProceedings{ISSTA18p172, author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Daniel Sundmark and Wasif Afzal}, title = {Automated Test Mapping and Coverage for Network Topologies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3213846.3213859}, year = {2018}, } Publisher's Version Article: issta18main-p65-p doi:10.1145/3213846.3213859
	Ahuja, Manish	ISSTA '18: "Identifying Implementation ..." Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder (Accenture Labs, India) @InProceedings{ISSTA18p220, author = {Anurag Dwarakanath and Manish Ahuja and Samarth Sikand and Raghotham M. Rao and R. P. Jagadeesh Chandra Bose and Neville Dubash and Sanjay Podder}, title = {Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3213846.3213858}, year = {2018}, } Publisher's Version Article: issta18main-p62-p doi:10.1145/3213846.3213858
	Almasi, M. Moein	ISSTA '18: "Search-Based Detection of ..." Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications M. Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, and Janis Benefelds (University of Manitoba, Canada; University of Calgary, Canada; University of Passau, Germany; University of Sheffield, UK; SEB Life and Pensions Holding, Latvia) @InProceedings{ISSTA18p376, author = {M. Moein Almasi and Hadi Hemmati and Gordon Fraser and Phil McMinn and Janis Benefelds}, title = {Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {10.1145/3213846.3213861}, year = {2018}, } Publisher's Version Article: issta18main-p83-p doi:10.1145/3213846.3213861
	Barr, Earl T.	ISSTA '18: "Making Data-Driven Porting ..." Making Data-Driven Porting Decisions with Tuscan Kareem Khazem, Earl T. Barr, and Petr Hosek (University College London, UK; Google, USA) @InProceedings{ISSTA18p388, author = {Kareem Khazem and Earl T. Barr and Petr Hosek}, title = {Making Data-Driven Porting Decisions with Tuscan}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {388-387}, doi = {10.1145/3213846.3213855}, year = {2018}, } Publisher's Version Article: issta18main-p40-p doi:10.1145/3213846.3213855
	Behrang, Farnaz	ISSTA '18: "Test Migration for Efficient ..." Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments Farnaz Behrang and Alessandro Orso (Georgia Institute of Technology, USA) @InProceedings{ISSTA18p268, author = {Farnaz Behrang and Alessandro Orso}, title = {Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {268-267}, doi = {10.1145/3213846.3213854}, year = {2018}, } Publisher's Version Article: issta18main-p37-p doi:10.1145/3213846.3213854
	Benefelds, Janis	ISSTA '18: "Search-Based Detection of ..." Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications M. Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, and Janis Benefelds (University of Manitoba, Canada; University of Calgary, Canada; University of Passau, Germany; University of Sheffield, UK; SEB Life and Pensions Holding, Latvia) @InProceedings{ISSTA18p376, author = {M. Moein Almasi and Hadi Hemmati and Gordon Fraser and Phil McMinn and Janis Benefelds}, title = {Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {10.1145/3213846.3213861}, year = {2018}, } Publisher's Version Article: issta18main-p83-p doi:10.1145/3213846.3213861
	Bissyandé, Tegawendé F.	ISSTA '18: "Bench4BL: Reproducibility ..." Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, and Yves Le Traon (University of Luxembourg, Luxembourg; Seoul National University of Education, South Korea) @InProceedings{ISSTA18p160, author = {Jaekwon Lee and Dongsun Kim and Tegawendé F. Bissyandé and Woosung Jung and Yves Le Traon}, title = {Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {160-159}, doi = {10.1145/3213846.3213856}, year = {2018}, } Publisher's Version Article: issta18main-p43-p doi:10.1145/3213846.3213856 ISSTA '18: "CiD: Automating the Detection ..." CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps Li Li, Tegawendé F. Bissyandé, Haoyu Wang, and Jacques Klein (Monash University, Australia; University of Luxembourg, Luxembourg; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p256, author = {Li Li and Tegawendé F. Bissyandé and Haoyu Wang and Jacques Klein}, title = {CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3213846.3213857}, year = {2018}, } Publisher's Version Article: issta18main-p61-p doi:10.1145/3213846.3213857
	Bläser, Luc	ISSTA '18: "Practical Detection of Concurrency ..." Practical Detection of Concurrency Issues at Coding Time Luc Bläser (University of Applied Sciences Rapperswil, Switzerland) @InProceedings{ISSTA18p328, author = {Luc Bläser}, title = {Practical Detection of Concurrency Issues at Coding Time}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {328-327}, doi = {10.1145/3213846.3213853}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p21-p doi:10.1145/3213846.3213853
	Blasi, Arianna	ISSTA '18: "Translating Code Comments ..." Translating Code Comments to Procedure Specifications Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos (University of Lugano, Switzerland; Saarland University, Germany; CISPA, Germany; IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{ISSTA18p352, author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè and Sergio Delgado Castellanos}, title = {Translating Code Comments to Procedure Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3213846.3213872}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p doi:10.1145/3213846.3213872
	Bose, R. P. Jagadeesh Chandra	ISSTA '18: "Identifying Implementation ..." Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder (Accenture Labs, India) @InProceedings{ISSTA18p220, author = {Anurag Dwarakanath and Manish Ahuja and Samarth Sikand and Raghotham M. Rao and R. P. Jagadeesh Chandra Bose and Neville Dubash and Sanjay Podder}, title = {Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3213846.3213858}, year = {2018}, } Publisher's Version Article: issta18main-p62-p doi:10.1145/3213846.3213858
	Brennan, Tegan	ISSTA '18: "Symbolic Path Cost Analysis ..." Symbolic Path Cost Analysis for Side-Channel Detection Tegan Brennan, Seemanta Saha, Tevfik Bultan, and Corina S. Păsăreanu (University of California at Santa Barbara, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA18p124, author = {Tegan Brennan and Seemanta Saha and Tevfik Bultan and Corina S. Păsăreanu}, title = {Symbolic Path Cost Analysis for Side-Channel Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2018}, } Article: issta18main-p100-p doi:
	Briand, Lionel C.	ISSTA '18: "Test Case Prioritization for ..." Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, and Frank Zimmer (University of Luxembourg, Luxembourg; SES Techcom, Luxembourg) @InProceedings{ISSTA18p148, author = {Seung Yeob Shin and Shiva Nejati and Mehrdad Sabetzadeh and Lionel C. Briand and Frank Zimmer}, title = {Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {148-147}, doi = {10.1145/3213846.3213852}, year = {2018}, } Publisher's Version Article: issta18main-p17-p doi:10.1145/3213846.3213852
	Bultan, Tevfik	ISSTA '18: "Symbolic Path Cost Analysis ..." Symbolic Path Cost Analysis for Side-Channel Detection Tegan Brennan, Seemanta Saha, Tevfik Bultan, and Corina S. Păsăreanu (University of California at Santa Barbara, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA18p124, author = {Tegan Brennan and Seemanta Saha and Tevfik Bultan and Corina S. Păsăreanu}, title = {Symbolic Path Cost Analysis for Side-Channel Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2018}, } Article: issta18main-p100-p doi:
	Castellanos, Sergio Delgado	ISSTA '18: "Translating Code Comments ..." Translating Code Comments to Procedure Specifications Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos (University of Lugano, Switzerland; Saarland University, Germany; CISPA, Germany; IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{ISSTA18p352, author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè and Sergio Delgado Castellanos}, title = {Translating Code Comments to Procedure Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3213846.3213872}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p doi:10.1145/3213846.3213872
	Celik, Ahmet	ISSTA '18: "piCoq: Parallel Regression ..." piCoq: Parallel Regression Proving for Large-Scale Verification Projects Karl Palmskog, Ahmet Celik, and Milos Gligoric (University of Texas at Austin, USA) @InProceedings{ISSTA18p460, author = {Karl Palmskog and Ahmet Celik and Milos Gligoric}, title = {piCoq: Parallel Regression Proving for Large-Scale Verification Projects}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {460-459}, doi = {10.1145/3213846.3213877}, year = {2018}, } Publisher's Version Article: issta18main-p138-p doi:10.1145/3213846.3213877
	Chen, Xiangqun	ISSTA '18: "Shaping Program Repair Space ..." Shaping Program Repair Space with Existing Patches and Similar Code Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, and Xiangqun Chen (Peking University, China; University of Newcastle, Australia) @InProceedings{ISSTA18p412, author = {Jiajun Jiang and Yingfei Xiong and Hongyu Zhang and Qing Gao and Xiangqun Chen}, title = {Shaping Program Repair Space with Existing Patches and Similar Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {412-411}, doi = {10.1145/3213846.3213871}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p115-p doi:10.1145/3213846.3213871
	Chen, Yifan	ISSTA '18: "An Empirical Study on TensorFlow ..." An Empirical Study on TensorFlow Program Bugs Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, and Lu Zhang (Peking University, China; Hong Kong University of Science and Technology, China) @InProceedings{ISSTA18p232, author = {Yuhao Zhang and Yifan Chen and Shing-Chi Cheung and Yingfei Xiong and Lu Zhang}, title = {An Empirical Study on TensorFlow Program Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {10.1145/3213846.3213866}, year = {2018}, } Publisher's Version Article: issta18main-p98-p doi:10.1145/3213846.3213866
	Cheung, Shing-Chi	ISSTA '18: "An Empirical Study on TensorFlow ..." An Empirical Study on TensorFlow Program Bugs Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, and Lu Zhang (Peking University, China; Hong Kong University of Science and Technology, China) @InProceedings{ISSTA18p232, author = {Yuhao Zhang and Yifan Chen and Shing-Chi Cheung and Yingfei Xiong and Lu Zhang}, title = {An Empirical Study on TensorFlow Program Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {10.1145/3213846.3213866}, year = {2018}, } Publisher's Version Article: issta18main-p98-p doi:10.1145/3213846.3213866
	Clark, David	ISSTA '18: "OASIs: Oracle Assessment and ..." OASIs: Oracle Assessment and Improvement Tool Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella (Fondazione Bruno Kessler, Italy; University College London, UK) @InProceedings{ISSTA18p484, author = {Gunel Jahangirova and David Clark and Mark Harman and Paolo Tonella}, title = {OASIs: Oracle Assessment and Improvement Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {484-483}, doi = {10.1145/3213846.3229503}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p6-p doi:10.1145/3213846.3229503
	Cummins, Chris	ISSTA '18: "Compiler Fuzzing through Deep ..." Compiler Fuzzing through Deep Learning Chris Cummins, Pavlos Petoumenos, Alastair Murray, and Hugh Leather (University of Edinburgh, UK; Codeplay Software, UK) @InProceedings{ISSTA18p196, author = {Chris Cummins and Pavlos Petoumenos and Alastair Murray and Hugh Leather}, title = {Compiler Fuzzing through Deep Learning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3213846.3213848}, year = {2018}, } Publisher's Version Article: issta18main-p4-p doi:10.1145/3213846.3213848
	D'Amorim, Marcelo	ISSTA '18: "Automatically Translating ..." Automatically Translating Bug Reports into Test Cases for Mobile Apps Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, and Alessandro Orso (Georgia Institute of Technology, USA; Federal University of Pernambuco, Brazil) @InProceedings{ISSTA18p244, author = {Mattia Fazzini and Martin Prammer and Marcelo d'Amorim and Alessandro Orso}, title = {Automatically Translating Bug Reports into Test Cases for Mobile Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {244-243}, doi = {10.1145/3213846.3213869}, year = {2018}, } Publisher's Version Article: issta18main-p105-p doi:10.1145/3213846.3213869
	Dang, Tommy	ISSTA '18: "MalViz: An Interactive Visualization ..." MalViz: An Interactive Visualization Tool for Tracing Malware Vinh The Nguyen, Akbar Siami Namin, and Tommy Dang (Texas Tech University, USA) @InProceedings{ISSTA18p492, author = {Vinh The Nguyen and Akbar Siami Namin and Tommy Dang}, title = {MalViz: An Interactive Visualization Tool for Tracing Malware}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {492-491}, doi = {10.1145/3213846.3229501}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p2-p doi:10.1145/3213846.3229501
	Dort, Vlastimil	ISSTA '18: "Lightweight Verification of ..." Lightweight Verification of Array Indexing Martin Kellogg, Vlastimil Dort, Suzanne Millstein, and Michael D. Ernst (University of Washington, USA; Charles University in Prague, Czechia) @InProceedings{ISSTA18p100, author = {Martin Kellogg and Vlastimil Dort and Suzanne Millstein and Michael D. Ernst}, title = {Lightweight Verification of Array Indexing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3213846.3213849}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p7-p doi:10.1145/3213846.3213849
	Drosos, Ian	ISSTA '18: "Comparing Developer-Provided ..." Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair René Just, Chris Parnin, Ian Drosos, and Michael D. Ernst (University of Massachusetts at Amherst, USA; North Carolina State University, USA; University of California at San Diego, USA; University of Washington, USA) @InProceedings{ISSTA18p400, author = {René Just and Chris Parnin and Ian Drosos and Michael D. Ernst}, title = {Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3213846.3213870}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p108-p doi:10.1145/3213846.3213870
	Dubash, Neville	ISSTA '18: "Identifying Implementation ..." Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder (Accenture Labs, India) @InProceedings{ISSTA18p220, author = {Anurag Dwarakanath and Manish Ahuja and Samarth Sikand and Raghotham M. Rao and R. P. Jagadeesh Chandra Bose and Neville Dubash and Sanjay Podder}, title = {Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3213846.3213858}, year = {2018}, } Publisher's Version Article: issta18main-p62-p doi:10.1145/3213846.3213858
	Dwarakanath, Anurag	ISSTA '18: "Identifying Implementation ..." Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder (Accenture Labs, India) @InProceedings{ISSTA18p220, author = {Anurag Dwarakanath and Manish Ahuja and Samarth Sikand and Raghotham M. Rao and R. P. Jagadeesh Chandra Bose and Neville Dubash and Sanjay Podder}, title = {Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3213846.3213858}, year = {2018}, } Publisher's Version Article: issta18main-p62-p doi:10.1145/3213846.3213858
	Ernst, Michael D.	ISSTA '18: "Lightweight Verification of ..." Lightweight Verification of Array Indexing Martin Kellogg, Vlastimil Dort, Suzanne Millstein, and Michael D. Ernst (University of Washington, USA; Charles University in Prague, Czechia) @InProceedings{ISSTA18p100, author = {Martin Kellogg and Vlastimil Dort and Suzanne Millstein and Michael D. Ernst}, title = {Lightweight Verification of Array Indexing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3213846.3213849}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p7-p doi:10.1145/3213846.3213849 ISSTA '18: "Translating Code Comments ..." Translating Code Comments to Procedure Specifications Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos (University of Lugano, Switzerland; Saarland University, Germany; CISPA, Germany; IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{ISSTA18p352, author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè and Sergio Delgado Castellanos}, title = {Translating Code Comments to Procedure Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3213846.3213872}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p doi:10.1145/3213846.3213872 ISSTA '18: "Comparing Developer-Provided ..." Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair René Just, Chris Parnin, Ian Drosos, and Michael D. Ernst (University of Massachusetts at Amherst, USA; North Carolina State University, USA; University of California at San Diego, USA; University of Washington, USA) @InProceedings{ISSTA18p400, author = {René Just and Chris Parnin and Ian Drosos and Michael D. Ernst}, title = {Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3213846.3213870}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p108-p doi:10.1145/3213846.3213870
	Fazzini, Mattia	ISSTA '18: "Automatically Translating ..." Automatically Translating Bug Reports into Test Cases for Mobile Apps Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, and Alessandro Orso (Georgia Institute of Technology, USA; Federal University of Pernambuco, Brazil) @InProceedings{ISSTA18p244, author = {Mattia Fazzini and Martin Prammer and Marcelo d'Amorim and Alessandro Orso}, title = {Automatically Translating Bug Reports into Test Cases for Mobile Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {244-243}, doi = {10.1145/3213846.3213869}, year = {2018}, } Publisher's Version Article: issta18main-p105-p doi:10.1145/3213846.3213869
	Fiedor, Jan	ISSTA '18: "Advances in the ANaConDA Framework ..." Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, and Tomáš Vojnar (Brno University of Technology, Czechia) @InProceedings{ISSTA18p472, author = {Jan Fiedor and Monika Mužikovská and Aleš Smrčka and Ondřej Vašíček and Tomáš Vojnar}, title = {Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {472-471}, doi = {10.1145/3213846.3229505}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p12-p doi:10.1145/3213846.3229505
	Fourtounis, George	ISSTA '18: "Shooting from the Heap: Ultra-Scalable ..." Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) @InProceedings{ISSTA18p304, author = {Neville Grech and George Fourtounis and Adrian Francalanza and Yannis Smaragdakis}, title = {Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {304-303}, doi = {10.1145/3213846.3213860}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p72-p doi:10.1145/3213846.3213860 ISSTA '18: "Static Analysis of Java Dynamic ..." Static Analysis of Java Dynamic Proxies George Fourtounis, George Kastrinis, and Yannis Smaragdakis (University of Athens, Greece) @InProceedings{ISSTA18p316, author = {George Fourtounis and George Kastrinis and Yannis Smaragdakis}, title = {Static Analysis of Java Dynamic Proxies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {316-315}, doi = {10.1145/3213846.3213864}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p92-p doi:10.1145/3213846.3213864
	Francalanza, Adrian	ISSTA '18: "Shooting from the Heap: Ultra-Scalable ..." Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) @InProceedings{ISSTA18p304, author = {Neville Grech and George Fourtounis and Adrian Francalanza and Yannis Smaragdakis}, title = {Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {304-303}, doi = {10.1145/3213846.3213860}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p72-p doi:10.1145/3213846.3213860
	Fraser, Gordon	ISSTA '18: "Search-Based Detection of ..." Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications M. Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, and Janis Benefelds (University of Manitoba, Canada; University of Calgary, Canada; University of Passau, Germany; University of Sheffield, UK; SEB Life and Pensions Holding, Latvia) @InProceedings{ISSTA18p376, author = {M. Moein Almasi and Hadi Hemmati and Gordon Fraser and Phil McMinn and Janis Benefelds}, title = {Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {10.1145/3213846.3213861}, year = {2018}, } Publisher's Version Article: issta18main-p83-p doi:10.1145/3213846.3213861
	Gao, Jian	ISSTA '18: "Managing Concurrent Testing ..." Managing Concurrent Testing of Data Race with ComRaDe Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, and Ming Gu (Tsinghua University, China; Huawei Technologies, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p480, author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu}, title = {Managing Concurrent Testing of Data Race with ComRaDe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {10.1145/3213846.3229502}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p5-p doi:10.1145/3213846.3229502
	Gao, Qing	ISSTA '18: "Shaping Program Repair Space ..." Shaping Program Repair Space with Existing Patches and Similar Code Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, and Xiangqun Chen (Peking University, China; University of Newcastle, Australia) @InProceedings{ISSTA18p412, author = {Jiajun Jiang and Yingfei Xiong and Hongyu Zhang and Qing Gao and Xiangqun Chen}, title = {Shaping Program Repair Space with Existing Patches and Similar Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {412-411}, doi = {10.1145/3213846.3213871}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p115-p doi:10.1145/3213846.3213871
	Gligoric, Milos	ISSTA '18: "piCoq: Parallel Regression ..." piCoq: Parallel Regression Proving for Large-Scale Verification Projects Karl Palmskog, Ahmet Celik, and Milos Gligoric (University of Texas at Austin, USA) @InProceedings{ISSTA18p460, author = {Karl Palmskog and Ahmet Celik and Milos Gligoric}, title = {piCoq: Parallel Regression Proving for Large-Scale Verification Projects}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {460-459}, doi = {10.1145/3213846.3213877}, year = {2018}, } Publisher's Version Article: issta18main-p138-p doi:10.1145/3213846.3213877
	Goffi, Alberto	ISSTA '18: "Translating Code Comments ..." Translating Code Comments to Procedure Specifications Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos (University of Lugano, Switzerland; Saarland University, Germany; CISPA, Germany; IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{ISSTA18p352, author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè and Sergio Delgado Castellanos}, title = {Translating Code Comments to Procedure Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3213846.3213872}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p doi:10.1145/3213846.3213872
	Gorla, Alessandra	ISSTA '18: "Translating Code Comments ..." Translating Code Comments to Procedure Specifications Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos (University of Lugano, Switzerland; Saarland University, Germany; CISPA, Germany; IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{ISSTA18p352, author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè and Sergio Delgado Castellanos}, title = {Translating Code Comments to Procedure Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3213846.3213872}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p doi:10.1145/3213846.3213872
	Grech, Neville	ISSTA '18: "Shooting from the Heap: Ultra-Scalable ..." Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) @InProceedings{ISSTA18p304, author = {Neville Grech and George Fourtounis and Adrian Francalanza and Yannis Smaragdakis}, title = {Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {304-303}, doi = {10.1145/3213846.3213860}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p72-p doi:10.1145/3213846.3213860
	Gu, Ming	ISSTA '18: "Managing Concurrent Testing ..." Managing Concurrent Testing of Data Race with ComRaDe Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, and Ming Gu (Tsinghua University, China; Huawei Technologies, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p480, author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu}, title = {Managing Concurrent Testing of Data Race with ComRaDe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {10.1145/3213846.3229502}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p5-p doi:10.1145/3213846.3229502
	Guo, Hui	ISSTA '18: "Exploiting Community Structure ..." Exploiting Community Structure for Floating-Point Precision Tuning Hui Guo and Cindy Rubio-González (University of California at Davis, USA) @InProceedings{ISSTA18p448, author = {Hui Guo and Cindy Rubio-González}, title = {Exploiting Community Structure for Floating-Point Precision Tuning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {448-447}, doi = {10.1145/3213846.3213862}, year = {2018}, } Publisher's Version Article: issta18main-p89-p doi:10.1145/3213846.3213862
	Guo, Shengjian	ISSTA '18: "Eliminating Timing Side-Channel ..." Eliminating Timing Side-Channel Leaks using Program Repair Meng Wu, Shengjian Guo, Patrick Schaumont, and Chao Wang (Virginia Tech, USA; University of Southern California, USA) @InProceedings{ISSTA18p112, author = {Meng Wu and Shengjian Guo and Patrick Schaumont and Chao Wang}, title = {Eliminating Timing Side-Channel Leaks using Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {112-111}, doi = {10.1145/3213846.3213851}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p15-p doi:10.1145/3213846.3213851
	Gyori, Alex	ISSTA '18: "Evaluating Test-Suite Reduction ..." Evaluating Test-Suite Reduction in Real Software Evolution August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA18p184, author = {August Shi and Alex Gyori and Suleman Mahmood and Peiyuan Zhao and Darko Marinov}, title = {Evaluating Test-Suite Reduction in Real Software Evolution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {184-183}, doi = {10.1145/3213846.3213875}, year = {2018}, } Publisher's Version Article: issta18main-p124-p doi:10.1145/3213846.3213875
	Halfond, William G. J.	ISSTA '18: "Remove RATs from Your Code: ..." Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications Yingjun Lyu, Ding Li, and William G. J. Halfond (University of Southern California, USA; NEC Labs, USA) @InProceedings{ISSTA18p424, author = {Yingjun Lyu and Ding Li and William G. J. Halfond}, title = {Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {424-423}, doi = {10.1145/3213846.3213865}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p95-p doi:10.1145/3213846.3213865
	Harman, Mark	ISSTA '18: "OASIs: Oracle Assessment and ..." OASIs: Oracle Assessment and Improvement Tool Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella (Fondazione Bruno Kessler, Italy; University College London, UK) @InProceedings{ISSTA18p484, author = {Gunel Jahangirova and David Clark and Mark Harman and Paolo Tonella}, title = {OASIs: Oracle Assessment and Improvement Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {484-483}, doi = {10.1145/3213846.3229503}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p6-p doi:10.1145/3213846.3229503
	Hemmati, Hadi	ISSTA '18: "Search-Based Detection of ..." Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications M. Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, and Janis Benefelds (University of Manitoba, Canada; University of Calgary, Canada; University of Passau, Germany; University of Sheffield, UK; SEB Life and Pensions Holding, Latvia) @InProceedings{ISSTA18p376, author = {M. Moein Almasi and Hadi Hemmati and Gordon Fraser and Phil McMinn and Janis Benefelds}, title = {Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {10.1145/3213846.3213861}, year = {2018}, } Publisher's Version Article: issta18main-p83-p doi:10.1145/3213846.3213861
	Hosek, Petr	ISSTA '18: "Making Data-Driven Porting ..." Making Data-Driven Porting Decisions with Tuscan Kareem Khazem, Earl T. Barr, and Petr Hosek (University College London, UK; Google, USA) @InProceedings{ISSTA18p388, author = {Kareem Khazem and Earl T. Barr and Petr Hosek}, title = {Making Data-Driven Porting Decisions with Tuscan}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {388-387}, doi = {10.1145/3213846.3213855}, year = {2018}, } Publisher's Version Article: issta18main-p40-p doi:10.1145/3213846.3213855
	Jahangirova, Gunel	ISSTA '18: "OASIs: Oracle Assessment and ..." OASIs: Oracle Assessment and Improvement Tool Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella (Fondazione Bruno Kessler, Italy; University College London, UK) @InProceedings{ISSTA18p484, author = {Gunel Jahangirova and David Clark and Mark Harman and Paolo Tonella}, title = {OASIs: Oracle Assessment and Improvement Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {484-483}, doi = {10.1145/3213846.3229503}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p6-p doi:10.1145/3213846.3229503
	Jiang, Jiajun	ISSTA '18: "Shaping Program Repair Space ..." Shaping Program Repair Space with Existing Patches and Similar Code Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, and Xiangqun Chen (Peking University, China; University of Newcastle, Australia) @InProceedings{ISSTA18p412, author = {Jiajun Jiang and Yingfei Xiong and Hongyu Zhang and Qing Gao and Xiangqun Chen}, title = {Shaping Program Repair Space with Existing Patches and Similar Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {412-411}, doi = {10.1145/3213846.3213871}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p115-p doi:10.1145/3213846.3213871
	Jiang, Yu	ISSTA '18: "Managing Concurrent Testing ..." Managing Concurrent Testing of Data Race with ComRaDe Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, and Ming Gu (Tsinghua University, China; Huawei Technologies, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p480, author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu}, title = {Managing Concurrent Testing of Data Race with ComRaDe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {10.1145/3213846.3229502}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p5-p doi:10.1145/3213846.3229502
	Jung, Woosung	ISSTA '18: "Bench4BL: Reproducibility ..." Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, and Yves Le Traon (University of Luxembourg, Luxembourg; Seoul National University of Education, South Korea) @InProceedings{ISSTA18p160, author = {Jaekwon Lee and Dongsun Kim and Tegawendé F. Bissyandé and Woosung Jung and Yves Le Traon}, title = {Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {160-159}, doi = {10.1145/3213846.3213856}, year = {2018}, } Publisher's Version Article: issta18main-p43-p doi:10.1145/3213846.3213856
	Just, René	ISSTA '18: "Comparing Developer-Provided ..." Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair René Just, Chris Parnin, Ian Drosos, and Michael D. Ernst (University of Massachusetts at Amherst, USA; North Carolina State University, USA; University of California at San Diego, USA; University of Washington, USA) @InProceedings{ISSTA18p400, author = {René Just and Chris Parnin and Ian Drosos and Michael D. Ernst}, title = {Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3213846.3213870}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p108-p doi:10.1145/3213846.3213870
	Kastrinis, George	ISSTA '18: "Static Analysis of Java Dynamic ..." Static Analysis of Java Dynamic Proxies George Fourtounis, George Kastrinis, and Yannis Smaragdakis (University of Athens, Greece) @InProceedings{ISSTA18p316, author = {George Fourtounis and George Kastrinis and Yannis Smaragdakis}, title = {Static Analysis of Java Dynamic Proxies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {316-315}, doi = {10.1145/3213846.3213864}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p92-p doi:10.1145/3213846.3213864
	Kellogg, Martin	ISSTA '18: "Lightweight Verification of ..." Lightweight Verification of Array Indexing Martin Kellogg, Vlastimil Dort, Suzanne Millstein, and Michael D. Ernst (University of Washington, USA; Charles University in Prague, Czechia) @InProceedings{ISSTA18p100, author = {Martin Kellogg and Vlastimil Dort and Suzanne Millstein and Michael D. Ernst}, title = {Lightweight Verification of Array Indexing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3213846.3213849}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p7-p doi:10.1145/3213846.3213849
	Kersten, Rody	ISSTA '18: "Badger: Complexity Analysis ..." Badger: Complexity Analysis with Fuzzing and Symbolic Execution Yannic Noller, Rody Kersten, and Corina S. Păsăreanu (Humboldt University of Berlin, Germany; Synopsys, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA18p436, author = {Yannic Noller and Rody Kersten and Corina S. Păsăreanu}, title = {Badger: Complexity Analysis with Fuzzing and Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {436-435}, doi = {}, year = {2018}, } Article: issta18main-p101-p doi:
	Khazem, Kareem	ISSTA '18: "Making Data-Driven Porting ..." Making Data-Driven Porting Decisions with Tuscan Kareem Khazem, Earl T. Barr, and Petr Hosek (University College London, UK; Google, USA) @InProceedings{ISSTA18p388, author = {Kareem Khazem and Earl T. Barr and Petr Hosek}, title = {Making Data-Driven Porting Decisions with Tuscan}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {388-387}, doi = {10.1145/3213846.3213855}, year = {2018}, } Publisher's Version Article: issta18main-p40-p doi:10.1145/3213846.3213855
	Khurshid, Sarfraz	ISSTA '18: "Test Input Generation with ..." Test Input Generation with Java PathFinder: Then and Now (Invited Talk Abstract) Sarfraz Khurshid, Corina S. Păsăreanu, and Willem Visser (University of Texas at Austin, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA18p1, author = {Sarfraz Khurshid and Corina S. Păsăreanu and Willem Visser}, title = {Test Input Generation with Java PathFinder: Then and Now (Invited Talk Abstract)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3213846.3234687}, year = {2018}, } Publisher's Version Article: issta18inv-p1-p doi:10.1145/3213846.3234687
	Kim, Dongsun	ISSTA '18: "Bench4BL: Reproducibility ..." Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, and Yves Le Traon (University of Luxembourg, Luxembourg; Seoul National University of Education, South Korea) @InProceedings{ISSTA18p160, author = {Jaekwon Lee and Dongsun Kim and Tegawendé F. Bissyandé and Woosung Jung and Yves Le Traon}, title = {Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {160-159}, doi = {10.1145/3213846.3213856}, year = {2018}, } Publisher's Version Article: issta18main-p43-p doi:10.1145/3213846.3213856
	Klein, Jacques	ISSTA '18: "CiD: Automating the Detection ..." CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps Li Li, Tegawendé F. Bissyandé, Haoyu Wang, and Jacques Klein (Monash University, Australia; University of Luxembourg, Luxembourg; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p256, author = {Li Li and Tegawendé F. Bissyandé and Haoyu Wang and Jacques Klein}, title = {CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3213846.3213857}, year = {2018}, } Publisher's Version Article: issta18main-p61-p doi:10.1145/3213846.3213857
	Křikava, Filip	ISSTA '18: "Tests from Traces: Automated ..." Tests from Traces: Automated Unit Test Extraction for R Filip Křikava and Jan Vitek (Czech Technical University, Czechia; Northeastern University, USA) @InProceedings{ISSTA18p340, author = {Filip Křikava and Jan Vitek}, title = {Tests from Traces: Automated Unit Test Extraction for R}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {340-339}, doi = {10.1145/3213846.3213863}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p90-p doi:10.1145/3213846.3213863
	Kuznetsov, Konstantin	ISSTA '18: "Translating Code Comments ..." Translating Code Comments to Procedure Specifications Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos (University of Lugano, Switzerland; Saarland University, Germany; CISPA, Germany; IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{ISSTA18p352, author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè and Sergio Delgado Castellanos}, title = {Translating Code Comments to Procedure Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3213846.3213872}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p doi:10.1145/3213846.3213872
	Le, Tien-Duy B.	ISSTA '18: "Deep Specification Mining ..." Deep Specification Mining Tien-Duy B. Le and David Lo (Singapore Management University, Singapore) @InProceedings{ISSTA18p208, author = {Tien-Duy B. Le and David Lo}, title = {Deep Specification Mining}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {208-207}, doi = {10.1145/3213846.3213876}, year = {2018}, } Publisher's Version Article: issta18main-p136-p doi:10.1145/3213846.3213876
	Leather, Hugh	ISSTA '18: "Compiler Fuzzing through Deep ..." Compiler Fuzzing through Deep Learning Chris Cummins, Pavlos Petoumenos, Alastair Murray, and Hugh Leather (University of Edinburgh, UK; Codeplay Software, UK) @InProceedings{ISSTA18p196, author = {Chris Cummins and Pavlos Petoumenos and Alastair Murray and Hugh Leather}, title = {Compiler Fuzzing through Deep Learning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3213846.3213848}, year = {2018}, } Publisher's Version Article: issta18main-p4-p doi:10.1145/3213846.3213848
	Lee, Jaekwon	ISSTA '18: "Bench4BL: Reproducibility ..." Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, and Yves Le Traon (University of Luxembourg, Luxembourg; Seoul National University of Education, South Korea) @InProceedings{ISSTA18p160, author = {Jaekwon Lee and Dongsun Kim and Tegawendé F. Bissyandé and Woosung Jung and Yves Le Traon}, title = {Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {160-159}, doi = {10.1145/3213846.3213856}, year = {2018}, } Publisher's Version Article: issta18main-p43-p doi:10.1145/3213846.3213856
	Lemieux, Caroline	ISSTA '18: "PerfFuzz: Automatically Generating ..." PerfFuzz: Automatically Generating Pathological Inputs Caroline Lemieux, Rohan Padhye, Koushik Sen, and Dawn Song (University of California at Berkeley, USA) @InProceedings{ISSTA18p364, author = {Caroline Lemieux and Rohan Padhye and Koushik Sen and Dawn Song}, title = {PerfFuzz: Automatically Generating Pathological Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {364-363}, doi = {10.1145/3213846.3213874}, year = {2018}, } Publisher's Version Article: issta18main-p123-p doi:10.1145/3213846.3213874
	Le Traon, Yves	ISSTA '18: "Bench4BL: Reproducibility ..." Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, and Yves Le Traon (University of Luxembourg, Luxembourg; Seoul National University of Education, South Korea) @InProceedings{ISSTA18p160, author = {Jaekwon Lee and Dongsun Kim and Tegawendé F. Bissyandé and Woosung Jung and Yves Le Traon}, title = {Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {160-159}, doi = {10.1145/3213846.3213856}, year = {2018}, } Publisher's Version Article: issta18main-p43-p doi:10.1145/3213846.3213856
	Lhoták, Ondřej	ISSTA '18: "Safe and Sound Program Analysis ..." Safe and Sound Program Analysis with Flix Magnus Madsen and Ondřej Lhoták (Aalborg University, Denmark; University of Waterloo, Canada) @InProceedings{ISSTA18p136, author = {Magnus Madsen and Ondřej Lhoták}, title = {Safe and Sound Program Analysis with Flix}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {136-135}, doi = {10.1145/3213846.3213847}, year = {2018}, } Publisher's Version Article: issta18main-p2-p doi:10.1145/3213846.3213847
	Li, Ding	ISSTA '18: "Remove RATs from Your Code: ..." Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications Yingjun Lyu, Ding Li, and William G. J. Halfond (University of Southern California, USA; NEC Labs, USA) @InProceedings{ISSTA18p424, author = {Yingjun Lyu and Ding Li and William G. J. Halfond}, title = {Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {424-423}, doi = {10.1145/3213846.3213865}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p95-p doi:10.1145/3213846.3213865
	Li, Li	ISSTA '18: "CiD: Automating the Detection ..." CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps Li Li, Tegawendé F. Bissyandé, Haoyu Wang, and Jacques Klein (Monash University, Australia; University of Luxembourg, Luxembourg; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p256, author = {Li Li and Tegawendé F. Bissyandé and Haoyu Wang and Jacques Klein}, title = {CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3213846.3213857}, year = {2018}, } Publisher's Version Article: issta18main-p61-p doi:10.1145/3213846.3213857
	Li, Yaqi	ISSTA '18: "LAND: A User-Friendly and ..." LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ISSTA18p476, author = {Jiwei Yan and Linjie Pan and Yaqi Li and Jun Yan and Jian Zhang}, title = {LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3213846.3229500}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p1-p doi:10.1145/3213846.3229500
	Linares-Vásquez, Mario	ISSTA '18: "Mutode: Generic JavaScript ..." Mutode: Generic JavaScript and Node.js Mutation Testing Tool Diego Rodríguez-Baquero and Mario Linares-Vásquez (Universidad de los Andes, Colombia) @InProceedings{ISSTA18p488, author = {Diego Rodríguez-Baquero and Mario Linares-Vásquez}, title = {Mutode: Generic JavaScript and Node.js Mutation Testing Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {488-487}, doi = {10.1145/3213846.3229504}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p10-p doi:10.1145/3213846.3229504
	Liu, Han	ISSTA '18: "Managing Concurrent Testing ..." Managing Concurrent Testing of Data Race with ComRaDe Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, and Ming Gu (Tsinghua University, China; Huawei Technologies, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p480, author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu}, title = {Managing Concurrent Testing of Data Race with ComRaDe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {10.1145/3213846.3229502}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p5-p doi:10.1145/3213846.3229502
	Lo, David	ISSTA '18: "Deep Specification Mining ..." Deep Specification Mining Tien-Duy B. Le and David Lo (Singapore Management University, Singapore) @InProceedings{ISSTA18p208, author = {Tien-Duy B. Le and David Lo}, title = {Deep Specification Mining}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {208-207}, doi = {10.1145/3213846.3213876}, year = {2018}, } Publisher's Version Article: issta18main-p136-p doi:10.1145/3213846.3213876
	Lyu, Yingjun	ISSTA '18: "Remove RATs from Your Code: ..." Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications Yingjun Lyu, Ding Li, and William G. J. Halfond (University of Southern California, USA; NEC Labs, USA) @InProceedings{ISSTA18p424, author = {Yingjun Lyu and Ding Li and William G. J. Halfond}, title = {Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {424-423}, doi = {10.1145/3213846.3213865}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p95-p doi:10.1145/3213846.3213865
	Madsen, Magnus	ISSTA '18: "Safe and Sound Program Analysis ..." Safe and Sound Program Analysis with Flix Magnus Madsen and Ondřej Lhoták (Aalborg University, Denmark; University of Waterloo, Canada) @InProceedings{ISSTA18p136, author = {Magnus Madsen and Ondřej Lhoták}, title = {Safe and Sound Program Analysis with Flix}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {136-135}, doi = {10.1145/3213846.3213847}, year = {2018}, } Publisher's Version Article: issta18main-p2-p doi:10.1145/3213846.3213847
	Mahmood, Suleman	ISSTA '18: "Evaluating Test-Suite Reduction ..." Evaluating Test-Suite Reduction in Real Software Evolution August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA18p184, author = {August Shi and Alex Gyori and Suleman Mahmood and Peiyuan Zhao and Darko Marinov}, title = {Evaluating Test-Suite Reduction in Real Software Evolution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {184-183}, doi = {10.1145/3213846.3213875}, year = {2018}, } Publisher's Version Article: issta18main-p124-p doi:10.1145/3213846.3213875
	Marinov, Darko	ISSTA '18: "Evaluating Test-Suite Reduction ..." Evaluating Test-Suite Reduction in Real Software Evolution August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA18p184, author = {August Shi and Alex Gyori and Suleman Mahmood and Peiyuan Zhao and Darko Marinov}, title = {Evaluating Test-Suite Reduction in Real Software Evolution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {184-183}, doi = {10.1145/3213846.3213875}, year = {2018}, } Publisher's Version Article: issta18main-p124-p doi:10.1145/3213846.3213875
	McMinn, Phil	ISSTA '18: "Search-Based Detection of ..." Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications M. Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, and Janis Benefelds (University of Manitoba, Canada; University of Calgary, Canada; University of Passau, Germany; University of Sheffield, UK; SEB Life and Pensions Holding, Latvia) @InProceedings{ISSTA18p376, author = {M. Moein Almasi and Hadi Hemmati and Gordon Fraser and Phil McMinn and Janis Benefelds}, title = {Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {10.1145/3213846.3213861}, year = {2018}, } Publisher's Version Article: issta18main-p83-p doi:10.1145/3213846.3213861
	Millstein, Suzanne	ISSTA '18: "Lightweight Verification of ..." Lightweight Verification of Array Indexing Martin Kellogg, Vlastimil Dort, Suzanne Millstein, and Michael D. Ernst (University of Washington, USA; Charles University in Prague, Czechia) @InProceedings{ISSTA18p100, author = {Martin Kellogg and Vlastimil Dort and Suzanne Millstein and Michael D. Ernst}, title = {Lightweight Verification of Array Indexing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3213846.3213849}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p7-p doi:10.1145/3213846.3213849
	Murray, Alastair	ISSTA '18: "Compiler Fuzzing through Deep ..." Compiler Fuzzing through Deep Learning Chris Cummins, Pavlos Petoumenos, Alastair Murray, and Hugh Leather (University of Edinburgh, UK; Codeplay Software, UK) @InProceedings{ISSTA18p196, author = {Chris Cummins and Pavlos Petoumenos and Alastair Murray and Hugh Leather}, title = {Compiler Fuzzing through Deep Learning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3213846.3213848}, year = {2018}, } Publisher's Version Article: issta18main-p4-p doi:10.1145/3213846.3213848
	Muske, Tukaram	ISSTA '18: "Repositioning of Static Analysis ..." Repositioning of Static Analysis Alarms Tukaram Muske, Rohith Talluri, and Alexander Serebrenik (Tata Consultancy Services, India; Eindhoven University of Technology, Netherlands) @InProceedings{ISSTA18p292, author = {Tukaram Muske and Rohith Talluri and Alexander Serebrenik}, title = {Repositioning of Static Analysis Alarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {292-291}, doi = {10.1145/3213846.3213850}, year = {2018}, } Publisher's Version Artifacts Functional Article: issta18main-p14-p doi:10.1145/3213846.3213850
	Mužikovská, Monika	ISSTA '18: "Advances in the ANaConDA Framework ..." Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, and Tomáš Vojnar (Brno University of Technology, Czechia) @InProceedings{ISSTA18p472, author = {Jan Fiedor and Monika Mužikovská and Aleš Smrčka and Ondřej Vašíček and Tomáš Vojnar}, title = {Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {472-471}, doi = {10.1145/3213846.3229505}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p12-p doi:10.1145/3213846.3229505
	Namin, Akbar Siami	ISSTA '18: "MalViz: An Interactive Visualization ..." MalViz: An Interactive Visualization Tool for Tracing Malware Vinh The Nguyen, Akbar Siami Namin, and Tommy Dang (Texas Tech University, USA) @InProceedings{ISSTA18p492, author = {Vinh The Nguyen and Akbar Siami Namin and Tommy Dang}, title = {MalViz: An Interactive Visualization Tool for Tracing Malware}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {492-491}, doi = {10.1145/3213846.3229501}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p2-p doi:10.1145/3213846.3229501
	Nejati, Shiva	ISSTA '18: "Test Case Prioritization for ..." Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, and Frank Zimmer (University of Luxembourg, Luxembourg; SES Techcom, Luxembourg) @InProceedings{ISSTA18p148, author = {Seung Yeob Shin and Shiva Nejati and Mehrdad Sabetzadeh and Lionel C. Briand and Frank Zimmer}, title = {Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {148-147}, doi = {10.1145/3213846.3213852}, year = {2018}, } Publisher's Version Article: issta18main-p17-p doi:10.1145/3213846.3213852
	Nguyen, Vinh The	ISSTA '18: "MalViz: An Interactive Visualization ..." MalViz: An Interactive Visualization Tool for Tracing Malware Vinh The Nguyen, Akbar Siami Namin, and Tommy Dang (Texas Tech University, USA) @InProceedings{ISSTA18p492, author = {Vinh The Nguyen and Akbar Siami Namin and Tommy Dang}, title = {MalViz: An Interactive Visualization Tool for Tracing Malware}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {492-491}, doi = {10.1145/3213846.3229501}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p2-p doi:10.1145/3213846.3229501
	Noller, Yannic	ISSTA '18: "Badger: Complexity Analysis ..." Badger: Complexity Analysis with Fuzzing and Symbolic Execution Yannic Noller, Rody Kersten, and Corina S. Păsăreanu (Humboldt University of Berlin, Germany; Synopsys, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA18p436, author = {Yannic Noller and Rody Kersten and Corina S. Păsăreanu}, title = {Badger: Complexity Analysis with Fuzzing and Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {436-435}, doi = {}, year = {2018}, } Article: issta18main-p101-p doi:
	Orso, Alessandro	ISSTA '18: "Automatically Translating ..." Automatically Translating Bug Reports into Test Cases for Mobile Apps Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, and Alessandro Orso (Georgia Institute of Technology, USA; Federal University of Pernambuco, Brazil) @InProceedings{ISSTA18p244, author = {Mattia Fazzini and Martin Prammer and Marcelo d'Amorim and Alessandro Orso}, title = {Automatically Translating Bug Reports into Test Cases for Mobile Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {244-243}, doi = {10.1145/3213846.3213869}, year = {2018}, } Publisher's Version Article: issta18main-p105-p doi:10.1145/3213846.3213869 ISSTA '18: "Test Migration for Efficient ..." Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments Farnaz Behrang and Alessandro Orso (Georgia Institute of Technology, USA) @InProceedings{ISSTA18p268, author = {Farnaz Behrang and Alessandro Orso}, title = {Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {268-267}, doi = {10.1145/3213846.3213854}, year = {2018}, } Publisher's Version Article: issta18main-p37-p doi:10.1145/3213846.3213854
	Ostrand, Thomas J.	ISSTA '18: "Automated Test Mapping and ..." Automated Test Mapping and Coverage for Network Topologies Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, and Wasif Afzal (Westermo Research and Development, Sweden; Mälardalen University, Sweden) @InProceedings{ISSTA18p172, author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Daniel Sundmark and Wasif Afzal}, title = {Automated Test Mapping and Coverage for Network Topologies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3213846.3213859}, year = {2018}, } Publisher's Version Article: issta18main-p65-p doi:10.1145/3213846.3213859
	Padhye, Rohan	ISSTA '18: "PerfFuzz: Automatically Generating ..." PerfFuzz: Automatically Generating Pathological Inputs Caroline Lemieux, Rohan Padhye, Koushik Sen, and Dawn Song (University of California at Berkeley, USA) @InProceedings{ISSTA18p364, author = {Caroline Lemieux and Rohan Padhye and Koushik Sen and Dawn Song}, title = {PerfFuzz: Automatically Generating Pathological Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {364-363}, doi = {10.1145/3213846.3213874}, year = {2018}, } Publisher's Version Article: issta18main-p123-p doi:10.1145/3213846.3213874
	Palmskog, Karl	ISSTA '18: "piCoq: Parallel Regression ..." piCoq: Parallel Regression Proving for Large-Scale Verification Projects Karl Palmskog, Ahmet Celik, and Milos Gligoric (University of Texas at Austin, USA) @InProceedings{ISSTA18p460, author = {Karl Palmskog and Ahmet Celik and Milos Gligoric}, title = {piCoq: Parallel Regression Proving for Large-Scale Verification Projects}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {460-459}, doi = {10.1145/3213846.3213877}, year = {2018}, } Publisher's Version Article: issta18main-p138-p doi:10.1145/3213846.3213877
	Pan, Linjie	ISSTA '18: "LAND: A User-Friendly and ..." LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ISSTA18p476, author = {Jiwei Yan and Linjie Pan and Yaqi Li and Jun Yan and Jian Zhang}, title = {LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3213846.3229500}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p1-p doi:10.1145/3213846.3229500
	Parnin, Chris	ISSTA '18: "Comparing Developer-Provided ..." Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair René Just, Chris Parnin, Ian Drosos, and Michael D. Ernst (University of Massachusetts at Amherst, USA; North Carolina State University, USA; University of California at San Diego, USA; University of Washington, USA) @InProceedings{ISSTA18p400, author = {René Just and Chris Parnin and Ian Drosos and Michael D. Ernst}, title = {Comparing Developer-Provided to User-Provided Tests for Fault Localization and Automated Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3213846.3213870}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p108-p doi:10.1145/3213846.3213870
	Păsăreanu, Corina S.	ISSTA '18: "Test Input Generation with ..." Test Input Generation with Java PathFinder: Then and Now (Invited Talk Abstract) Sarfraz Khurshid, Corina S. Păsăreanu, and Willem Visser (University of Texas at Austin, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA18p1, author = {Sarfraz Khurshid and Corina S. Păsăreanu and Willem Visser}, title = {Test Input Generation with Java PathFinder: Then and Now (Invited Talk Abstract)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3213846.3234687}, year = {2018}, } Publisher's Version Article: issta18inv-p1-p doi:10.1145/3213846.3234687 ISSTA '18: "Symbolic Path Cost Analysis ..." Symbolic Path Cost Analysis for Side-Channel Detection Tegan Brennan, Seemanta Saha, Tevfik Bultan, and Corina S. Păsăreanu (University of California at Santa Barbara, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA18p124, author = {Tegan Brennan and Seemanta Saha and Tevfik Bultan and Corina S. Păsăreanu}, title = {Symbolic Path Cost Analysis for Side-Channel Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2018}, } Article: issta18main-p100-p doi: ISSTA '18: "Badger: Complexity Analysis ..." Badger: Complexity Analysis with Fuzzing and Symbolic Execution Yannic Noller, Rody Kersten, and Corina S. Păsăreanu (Humboldt University of Berlin, Germany; Synopsys, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA18p436, author = {Yannic Noller and Rody Kersten and Corina S. Păsăreanu}, title = {Badger: Complexity Analysis with Fuzzing and Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {436-435}, doi = {}, year = {2018}, } Article: issta18main-p101-p doi:
	Petoumenos, Pavlos	ISSTA '18: "Compiler Fuzzing through Deep ..." Compiler Fuzzing through Deep Learning Chris Cummins, Pavlos Petoumenos, Alastair Murray, and Hugh Leather (University of Edinburgh, UK; Codeplay Software, UK) @InProceedings{ISSTA18p196, author = {Chris Cummins and Pavlos Petoumenos and Alastair Murray and Hugh Leather}, title = {Compiler Fuzzing through Deep Learning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3213846.3213848}, year = {2018}, } Publisher's Version Article: issta18main-p4-p doi:10.1145/3213846.3213848
	Pezzè, Mauro	ISSTA '18: "Translating Code Comments ..." Translating Code Comments to Procedure Specifications Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos (University of Lugano, Switzerland; Saarland University, Germany; CISPA, Germany; IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{ISSTA18p352, author = {Arianna Blasi and Alberto Goffi and Konstantin Kuznetsov and Alessandra Gorla and Michael D. Ernst and Mauro Pezzè and Sergio Delgado Castellanos}, title = {Translating Code Comments to Procedure Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3213846.3213872}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p doi:10.1145/3213846.3213872
	Podder, Sanjay	ISSTA '18: "Identifying Implementation ..." Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder (Accenture Labs, India) @InProceedings{ISSTA18p220, author = {Anurag Dwarakanath and Manish Ahuja and Samarth Sikand and Raghotham M. Rao and R. P. Jagadeesh Chandra Bose and Neville Dubash and Sanjay Podder}, title = {Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3213846.3213858}, year = {2018}, } Publisher's Version Article: issta18main-p62-p doi:10.1145/3213846.3213858
	Prammer, Martin	ISSTA '18: "Automatically Translating ..." Automatically Translating Bug Reports into Test Cases for Mobile Apps Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, and Alessandro Orso (Georgia Institute of Technology, USA; Federal University of Pernambuco, Brazil) @InProceedings{ISSTA18p244, author = {Mattia Fazzini and Martin Prammer and Marcelo d'Amorim and Alessandro Orso}, title = {Automatically Translating Bug Reports into Test Cases for Mobile Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {244-243}, doi = {10.1145/3213846.3213869}, year = {2018}, } Publisher's Version Article: issta18main-p105-p doi:10.1145/3213846.3213869
	Qiu, Lina	ISSTA '18: "Analyzing the Analyzers: FlowDroid/IccTA, ..." Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe Lina Qiu, Yingying Wang, and Julia Rubin (University of British Columbia, Canada) @InProceedings{ISSTA18p280, author = {Lina Qiu and Yingying Wang and Julia Rubin}, title = {Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {280-279}, doi = {10.1145/3213846.3213873}, year = {2018}, } Publisher's Version Article: issta18main-p122-p doi:10.1145/3213846.3213873
	Rao, Raghotham M.	ISSTA '18: "Identifying Implementation ..." Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder (Accenture Labs, India) @InProceedings{ISSTA18p220, author = {Anurag Dwarakanath and Manish Ahuja and Samarth Sikand and Raghotham M. Rao and R. P. Jagadeesh Chandra Bose and Neville Dubash and Sanjay Podder}, title = {Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3213846.3213858}, year = {2018}, } Publisher's Version Article: issta18main-p62-p doi:10.1145/3213846.3213858
	Rodríguez-Baquero, Diego	ISSTA '18: "Mutode: Generic JavaScript ..." Mutode: Generic JavaScript and Node.js Mutation Testing Tool Diego Rodríguez-Baquero and Mario Linares-Vásquez (Universidad de los Andes, Colombia) @InProceedings{ISSTA18p488, author = {Diego Rodríguez-Baquero and Mario Linares-Vásquez}, title = {Mutode: Generic JavaScript and Node.js Mutation Testing Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {488-487}, doi = {10.1145/3213846.3229504}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p10-p doi:10.1145/3213846.3229504
	Rubin, Julia	ISSTA '18: "Analyzing the Analyzers: FlowDroid/IccTA, ..." Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe Lina Qiu, Yingying Wang, and Julia Rubin (University of British Columbia, Canada) @InProceedings{ISSTA18p280, author = {Lina Qiu and Yingying Wang and Julia Rubin}, title = {Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {280-279}, doi = {10.1145/3213846.3213873}, year = {2018}, } Publisher's Version Article: issta18main-p122-p doi:10.1145/3213846.3213873
	Rubio-González, Cindy	ISSTA '18: "Exploiting Community Structure ..." Exploiting Community Structure for Floating-Point Precision Tuning Hui Guo and Cindy Rubio-González (University of California at Davis, USA) @InProceedings{ISSTA18p448, author = {Hui Guo and Cindy Rubio-González}, title = {Exploiting Community Structure for Floating-Point Precision Tuning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {448-447}, doi = {10.1145/3213846.3213862}, year = {2018}, } Publisher's Version Article: issta18main-p89-p doi:10.1145/3213846.3213862
	Sabetzadeh, Mehrdad	ISSTA '18: "Test Case Prioritization for ..." Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, and Frank Zimmer (University of Luxembourg, Luxembourg; SES Techcom, Luxembourg) @InProceedings{ISSTA18p148, author = {Seung Yeob Shin and Shiva Nejati and Mehrdad Sabetzadeh and Lionel C. Briand and Frank Zimmer}, title = {Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {148-147}, doi = {10.1145/3213846.3213852}, year = {2018}, } Publisher's Version Article: issta18main-p17-p doi:10.1145/3213846.3213852
	Saha, Seemanta	ISSTA '18: "Symbolic Path Cost Analysis ..." Symbolic Path Cost Analysis for Side-Channel Detection Tegan Brennan, Seemanta Saha, Tevfik Bultan, and Corina S. Păsăreanu (University of California at Santa Barbara, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA18p124, author = {Tegan Brennan and Seemanta Saha and Tevfik Bultan and Corina S. Păsăreanu}, title = {Symbolic Path Cost Analysis for Side-Channel Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {124-123}, doi = {}, year = {2018}, } Article: issta18main-p100-p doi:
	Schaumont, Patrick	ISSTA '18: "Eliminating Timing Side-Channel ..." Eliminating Timing Side-Channel Leaks using Program Repair Meng Wu, Shengjian Guo, Patrick Schaumont, and Chao Wang (Virginia Tech, USA; University of Southern California, USA) @InProceedings{ISSTA18p112, author = {Meng Wu and Shengjian Guo and Patrick Schaumont and Chao Wang}, title = {Eliminating Timing Side-Channel Leaks using Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {112-111}, doi = {10.1145/3213846.3213851}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p15-p doi:10.1145/3213846.3213851
	Sen, Koushik	ISSTA '18: "PerfFuzz: Automatically Generating ..." PerfFuzz: Automatically Generating Pathological Inputs Caroline Lemieux, Rohan Padhye, Koushik Sen, and Dawn Song (University of California at Berkeley, USA) @InProceedings{ISSTA18p364, author = {Caroline Lemieux and Rohan Padhye and Koushik Sen and Dawn Song}, title = {PerfFuzz: Automatically Generating Pathological Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {364-363}, doi = {10.1145/3213846.3213874}, year = {2018}, } Publisher's Version Article: issta18main-p123-p doi:10.1145/3213846.3213874
	Serebrenik, Alexander	ISSTA '18: "Repositioning of Static Analysis ..." Repositioning of Static Analysis Alarms Tukaram Muske, Rohith Talluri, and Alexander Serebrenik (Tata Consultancy Services, India; Eindhoven University of Technology, Netherlands) @InProceedings{ISSTA18p292, author = {Tukaram Muske and Rohith Talluri and Alexander Serebrenik}, title = {Repositioning of Static Analysis Alarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {292-291}, doi = {10.1145/3213846.3213850}, year = {2018}, } Publisher's Version Artifacts Functional Article: issta18main-p14-p doi:10.1145/3213846.3213850
	Shi, August	ISSTA '18: "Evaluating Test-Suite Reduction ..." Evaluating Test-Suite Reduction in Real Software Evolution August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA18p184, author = {August Shi and Alex Gyori and Suleman Mahmood and Peiyuan Zhao and Darko Marinov}, title = {Evaluating Test-Suite Reduction in Real Software Evolution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {184-183}, doi = {10.1145/3213846.3213875}, year = {2018}, } Publisher's Version Article: issta18main-p124-p doi:10.1145/3213846.3213875
	Shin, Seung Yeob	ISSTA '18: "Test Case Prioritization for ..." Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, and Frank Zimmer (University of Luxembourg, Luxembourg; SES Techcom, Luxembourg) @InProceedings{ISSTA18p148, author = {Seung Yeob Shin and Shiva Nejati and Mehrdad Sabetzadeh and Lionel C. Briand and Frank Zimmer}, title = {Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {148-147}, doi = {10.1145/3213846.3213852}, year = {2018}, } Publisher's Version Article: issta18main-p17-p doi:10.1145/3213846.3213852
	Sikand, Samarth	ISSTA '18: "Identifying Implementation ..." Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder (Accenture Labs, India) @InProceedings{ISSTA18p220, author = {Anurag Dwarakanath and Manish Ahuja and Samarth Sikand and Raghotham M. Rao and R. P. Jagadeesh Chandra Bose and Neville Dubash and Sanjay Podder}, title = {Identifying Implementation Bugs in Machine Learning Based Image Classifiers using Metamorphic Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3213846.3213858}, year = {2018}, } Publisher's Version Article: issta18main-p62-p doi:10.1145/3213846.3213858
	Smaragdakis, Yannis	ISSTA '18: "Shooting from the Heap: Ultra-Scalable ..." Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) @InProceedings{ISSTA18p304, author = {Neville Grech and George Fourtounis and Adrian Francalanza and Yannis Smaragdakis}, title = {Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {304-303}, doi = {10.1145/3213846.3213860}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p72-p doi:10.1145/3213846.3213860 ISSTA '18: "Static Analysis of Java Dynamic ..." Static Analysis of Java Dynamic Proxies George Fourtounis, George Kastrinis, and Yannis Smaragdakis (University of Athens, Greece) @InProceedings{ISSTA18p316, author = {George Fourtounis and George Kastrinis and Yannis Smaragdakis}, title = {Static Analysis of Java Dynamic Proxies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {316-315}, doi = {10.1145/3213846.3213864}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p92-p doi:10.1145/3213846.3213864
	Smrčka, Aleš	ISSTA '18: "Advances in the ANaConDA Framework ..." Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, and Tomáš Vojnar (Brno University of Technology, Czechia) @InProceedings{ISSTA18p472, author = {Jan Fiedor and Monika Mužikovská and Aleš Smrčka and Ondřej Vašíček and Tomáš Vojnar}, title = {Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {472-471}, doi = {10.1145/3213846.3229505}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p12-p doi:10.1145/3213846.3229505
	Song, Dawn	ISSTA '18: "PerfFuzz: Automatically Generating ..." PerfFuzz: Automatically Generating Pathological Inputs Caroline Lemieux, Rohan Padhye, Koushik Sen, and Dawn Song (University of California at Berkeley, USA) @InProceedings{ISSTA18p364, author = {Caroline Lemieux and Rohan Padhye and Koushik Sen and Dawn Song}, title = {PerfFuzz: Automatically Generating Pathological Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {364-363}, doi = {10.1145/3213846.3213874}, year = {2018}, } Publisher's Version Article: issta18main-p123-p doi:10.1145/3213846.3213874
	Strandberg, Per Erik	ISSTA '18: "Automated Test Mapping and ..." Automated Test Mapping and Coverage for Network Topologies Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, and Wasif Afzal (Westermo Research and Development, Sweden; Mälardalen University, Sweden) @InProceedings{ISSTA18p172, author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Daniel Sundmark and Wasif Afzal}, title = {Automated Test Mapping and Coverage for Network Topologies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3213846.3213859}, year = {2018}, } Publisher's Version Article: issta18main-p65-p doi:10.1145/3213846.3213859
	Sun, Wanting	ISSTA '18: "Managing Concurrent Testing ..." Managing Concurrent Testing of Data Race with ComRaDe Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, and Ming Gu (Tsinghua University, China; Huawei Technologies, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p480, author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu}, title = {Managing Concurrent Testing of Data Race with ComRaDe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {10.1145/3213846.3229502}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p5-p doi:10.1145/3213846.3229502
	Sundmark, Daniel	ISSTA '18: "Automated Test Mapping and ..." Automated Test Mapping and Coverage for Network Topologies Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, and Wasif Afzal (Westermo Research and Development, Sweden; Mälardalen University, Sweden) @InProceedings{ISSTA18p172, author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Daniel Sundmark and Wasif Afzal}, title = {Automated Test Mapping and Coverage for Network Topologies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3213846.3213859}, year = {2018}, } Publisher's Version Article: issta18main-p65-p doi:10.1145/3213846.3213859
	Talluri, Rohith	ISSTA '18: "Repositioning of Static Analysis ..." Repositioning of Static Analysis Alarms Tukaram Muske, Rohith Talluri, and Alexander Serebrenik (Tata Consultancy Services, India; Eindhoven University of Technology, Netherlands) @InProceedings{ISSTA18p292, author = {Tukaram Muske and Rohith Talluri and Alexander Serebrenik}, title = {Repositioning of Static Analysis Alarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {292-291}, doi = {10.1145/3213846.3213850}, year = {2018}, } Publisher's Version Artifacts Functional Article: issta18main-p14-p doi:10.1145/3213846.3213850
	Tonella, Paolo	ISSTA '18: "OASIs: Oracle Assessment and ..." OASIs: Oracle Assessment and Improvement Tool Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella (Fondazione Bruno Kessler, Italy; University College London, UK) @InProceedings{ISSTA18p484, author = {Gunel Jahangirova and David Clark and Mark Harman and Paolo Tonella}, title = {OASIs: Oracle Assessment and Improvement Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {484-483}, doi = {10.1145/3213846.3229503}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p6-p doi:10.1145/3213846.3229503
	Vašíček, Ondřej	ISSTA '18: "Advances in the ANaConDA Framework ..." Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, and Tomáš Vojnar (Brno University of Technology, Czechia) @InProceedings{ISSTA18p472, author = {Jan Fiedor and Monika Mužikovská and Aleš Smrčka and Ondřej Vašíček and Tomáš Vojnar}, title = {Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {472-471}, doi = {10.1145/3213846.3229505}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p12-p doi:10.1145/3213846.3229505
	Visser, Willem	ISSTA '18: "Test Input Generation with ..." Test Input Generation with Java PathFinder: Then and Now (Invited Talk Abstract) Sarfraz Khurshid, Corina S. Păsăreanu, and Willem Visser (University of Texas at Austin, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA18p1, author = {Sarfraz Khurshid and Corina S. Păsăreanu and Willem Visser}, title = {Test Input Generation with Java PathFinder: Then and Now (Invited Talk Abstract)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3213846.3234687}, year = {2018}, } Publisher's Version Article: issta18inv-p1-p doi:10.1145/3213846.3234687
	Vitek, Jan	ISSTA '18: "Tests from Traces: Automated ..." Tests from Traces: Automated Unit Test Extraction for R Filip Křikava and Jan Vitek (Czech Technical University, Czechia; Northeastern University, USA) @InProceedings{ISSTA18p340, author = {Filip Křikava and Jan Vitek}, title = {Tests from Traces: Automated Unit Test Extraction for R}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {340-339}, doi = {10.1145/3213846.3213863}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p90-p doi:10.1145/3213846.3213863
	Vojnar, Tomáš	ISSTA '18: "Advances in the ANaConDA Framework ..." Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, and Tomáš Vojnar (Brno University of Technology, Czechia) @InProceedings{ISSTA18p472, author = {Jan Fiedor and Monika Mužikovská and Aleš Smrčka and Ondřej Vašíček and Tomáš Vojnar}, title = {Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {472-471}, doi = {10.1145/3213846.3229505}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p12-p doi:10.1145/3213846.3229505
	Wang, Chao	ISSTA '18: "Eliminating Timing Side-Channel ..." Eliminating Timing Side-Channel Leaks using Program Repair Meng Wu, Shengjian Guo, Patrick Schaumont, and Chao Wang (Virginia Tech, USA; University of Southern California, USA) @InProceedings{ISSTA18p112, author = {Meng Wu and Shengjian Guo and Patrick Schaumont and Chao Wang}, title = {Eliminating Timing Side-Channel Leaks using Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {112-111}, doi = {10.1145/3213846.3213851}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p15-p doi:10.1145/3213846.3213851
	Wang, Haoyu	ISSTA '18: "CiD: Automating the Detection ..." CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps Li Li, Tegawendé F. Bissyandé, Haoyu Wang, and Jacques Klein (Monash University, Australia; University of Luxembourg, Luxembourg; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p256, author = {Li Li and Tegawendé F. Bissyandé and Haoyu Wang and Jacques Klein}, title = {CiD: Automating the Detection of API-Related Compatibility Issues in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3213846.3213857}, year = {2018}, } Publisher's Version Article: issta18main-p61-p doi:10.1145/3213846.3213857
	Wang, Yingying	ISSTA '18: "Analyzing the Analyzers: FlowDroid/IccTA, ..." Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe Lina Qiu, Yingying Wang, and Julia Rubin (University of British Columbia, Canada) @InProceedings{ISSTA18p280, author = {Lina Qiu and Yingying Wang and Julia Rubin}, title = {Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {280-279}, doi = {10.1145/3213846.3213873}, year = {2018}, } Publisher's Version Article: issta18main-p122-p doi:10.1145/3213846.3213873
	Weyuker, Elaine J.	ISSTA '18: "Automated Test Mapping and ..." Automated Test Mapping and Coverage for Network Topologies Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, and Wasif Afzal (Westermo Research and Development, Sweden; Mälardalen University, Sweden) @InProceedings{ISSTA18p172, author = {Per Erik Strandberg and Thomas J. Ostrand and Elaine J. Weyuker and Daniel Sundmark and Wasif Afzal}, title = {Automated Test Mapping and Coverage for Network Topologies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3213846.3213859}, year = {2018}, } Publisher's Version Article: issta18main-p65-p doi:10.1145/3213846.3213859
	Wu, Meng	ISSTA '18: "Eliminating Timing Side-Channel ..." Eliminating Timing Side-Channel Leaks using Program Repair Meng Wu, Shengjian Guo, Patrick Schaumont, and Chao Wang (Virginia Tech, USA; University of Southern California, USA) @InProceedings{ISSTA18p112, author = {Meng Wu and Shengjian Guo and Patrick Schaumont and Chao Wang}, title = {Eliminating Timing Side-Channel Leaks using Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {112-111}, doi = {10.1145/3213846.3213851}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p15-p doi:10.1145/3213846.3213851
	Xiong, Yingfei	ISSTA '18: "An Empirical Study on TensorFlow ..." An Empirical Study on TensorFlow Program Bugs Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, and Lu Zhang (Peking University, China; Hong Kong University of Science and Technology, China) @InProceedings{ISSTA18p232, author = {Yuhao Zhang and Yifan Chen and Shing-Chi Cheung and Yingfei Xiong and Lu Zhang}, title = {An Empirical Study on TensorFlow Program Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {10.1145/3213846.3213866}, year = {2018}, } Publisher's Version Article: issta18main-p98-p doi:10.1145/3213846.3213866 ISSTA '18: "Shaping Program Repair Space ..." Shaping Program Repair Space with Existing Patches and Similar Code Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, and Xiangqun Chen (Peking University, China; University of Newcastle, Australia) @InProceedings{ISSTA18p412, author = {Jiajun Jiang and Yingfei Xiong and Hongyu Zhang and Qing Gao and Xiangqun Chen}, title = {Shaping Program Repair Space with Existing Patches and Similar Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {412-411}, doi = {10.1145/3213846.3213871}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p115-p doi:10.1145/3213846.3213871
	Yan, Jiwei	ISSTA '18: "LAND: A User-Friendly and ..." LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ISSTA18p476, author = {Jiwei Yan and Linjie Pan and Yaqi Li and Jun Yan and Jian Zhang}, title = {LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3213846.3229500}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p1-p doi:10.1145/3213846.3229500
	Yan, Jun	ISSTA '18: "LAND: A User-Friendly and ..." LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ISSTA18p476, author = {Jiwei Yan and Linjie Pan and Yaqi Li and Jun Yan and Jian Zhang}, title = {LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3213846.3229500}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p1-p doi:10.1145/3213846.3229500
	Yang, Xin	ISSTA '18: "Managing Concurrent Testing ..." Managing Concurrent Testing of Data Race with ComRaDe Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, and Ming Gu (Tsinghua University, China; Huawei Technologies, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p480, author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu}, title = {Managing Concurrent Testing of Data Race with ComRaDe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {10.1145/3213846.3229502}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p5-p doi:10.1145/3213846.3229502
	Ying, Weiliang	ISSTA '18: "Managing Concurrent Testing ..." Managing Concurrent Testing of Data Race with ComRaDe Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, and Ming Gu (Tsinghua University, China; Huawei Technologies, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA18p480, author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu}, title = {Managing Concurrent Testing of Data Race with ComRaDe}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {10.1145/3213846.3229502}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p5-p doi:10.1145/3213846.3229502
	Zhang, Hongyu	ISSTA '18: "Shaping Program Repair Space ..." Shaping Program Repair Space with Existing Patches and Similar Code Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, and Xiangqun Chen (Peking University, China; University of Newcastle, Australia) @InProceedings{ISSTA18p412, author = {Jiajun Jiang and Yingfei Xiong and Hongyu Zhang and Qing Gao and Xiangqun Chen}, title = {Shaping Program Repair Space with Existing Patches and Similar Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {412-411}, doi = {10.1145/3213846.3213871}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p115-p doi:10.1145/3213846.3213871
	Zhang, Jian	ISSTA '18: "LAND: A User-Friendly and ..." LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, and Jian Zhang (Institute of Software at Chinese Academy of Sciences, China) @InProceedings{ISSTA18p476, author = {Jiwei Yan and Linjie Pan and Yaqi Li and Jun Yan and Jian Zhang}, title = {LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3213846.3229500}, year = {2018}, } Publisher's Version Article: issta18tooldemos-p1-p doi:10.1145/3213846.3229500
	Zhang, Lu	ISSTA '18: "An Empirical Study on TensorFlow ..." An Empirical Study on TensorFlow Program Bugs Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, and Lu Zhang (Peking University, China; Hong Kong University of Science and Technology, China) @InProceedings{ISSTA18p232, author = {Yuhao Zhang and Yifan Chen and Shing-Chi Cheung and Yingfei Xiong and Lu Zhang}, title = {An Empirical Study on TensorFlow Program Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {10.1145/3213846.3213866}, year = {2018}, } Publisher's Version Article: issta18main-p98-p doi:10.1145/3213846.3213866
	Zhang, Yuhao	ISSTA '18: "An Empirical Study on TensorFlow ..." An Empirical Study on TensorFlow Program Bugs Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, and Lu Zhang (Peking University, China; Hong Kong University of Science and Technology, China) @InProceedings{ISSTA18p232, author = {Yuhao Zhang and Yifan Chen and Shing-Chi Cheung and Yingfei Xiong and Lu Zhang}, title = {An Empirical Study on TensorFlow Program Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {10.1145/3213846.3213866}, year = {2018}, } Publisher's Version Article: issta18main-p98-p doi:10.1145/3213846.3213866
	Zhao, Peiyuan	ISSTA '18: "Evaluating Test-Suite Reduction ..." Evaluating Test-Suite Reduction in Real Software Evolution August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA18p184, author = {August Shi and Alex Gyori and Suleman Mahmood and Peiyuan Zhao and Darko Marinov}, title = {Evaluating Test-Suite Reduction in Real Software Evolution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {184-183}, doi = {10.1145/3213846.3213875}, year = {2018}, } Publisher's Version Article: issta18main-p124-p doi:10.1145/3213846.3213875
	Zimmer, Frank	ISSTA '18: "Test Case Prioritization for ..." Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, and Frank Zimmer (University of Luxembourg, Luxembourg; SES Techcom, Luxembourg) @InProceedings{ISSTA18p148, author = {Seung Yeob Shin and Shiva Nejati and Mehrdad Sabetzadeh and Lionel C. Briand and Frank Zimmer}, title = {Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-Based Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {148-147}, doi = {10.1145/3213846.3213852}, year = {2018}, } Publisher's Version Article: issta18main-p17-p doi:10.1145/3213846.3213852

146 authors

proc time: 0.16