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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } 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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, }
	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}, }
	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 = {}, year = {2018}, }
	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}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional 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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable 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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional 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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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}, }
	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 = {}, year = {2018}, } 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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, } 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}, } 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}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional 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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Reusable
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, } 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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, } Published Artifact Artifacts Available Artifacts Functional
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }
	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 = {}, year = {2018}, }

146 authors

proc time: 0.15