ISSTA 2018
27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018)
Powered by
Conference Publishing Consulting
27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018), July 16–21, 2018, Amsterdam, Netherlands

ISSTA 2018 – Proceedings

 Contents - Abstracts - Authors

Frontmatter

Title Page


Message from the Chairs


ISSTA 2018 Conference Organization


ISSTA 2018 Sponsors and Supporters


ISSTA 2018 Retrospective Impact Paper Award

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)

Technical Papers

Secure and Sound
Mon, Jul 16, 11:00 - 12:30

Lightweight Verification of Array Indexing
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, and Michael D. Ernst
(University of Washington, USA; Charles University in Prague, Czechia)


 Published Artifact Artifacts Available Artifacts Functional
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)


 Published Artifact Artifacts Available Artifacts Functional
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)
Safe and Sound Program Analysis with Flix
Magnus Madsen and Ondřej Lhoták
(Aalborg University, Denmark; University of Waterloo, Canada)

Testing and Fault Localization
Mon, Jul 16, 14:00 - 15:30

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

Machine Learning
Mon, Jul 16, 16:00 - 17:30

Compiler Fuzzing through Deep Learning
Chris Cummins, Pavlos Petoumenos, Alastair Murray, and Hugh Leather
(University of Edinburgh, UK; Codeplay Software, UK)
Deep Specification Mining
Tien-Duy B. Le and David Lo
(Singapore Management University, Singapore)
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)
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)

Mobile
Tue, Jul 17, 09:00 - 10:30

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)
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)
Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments
Farnaz Behrang and Alessandro Orso
(Georgia Institute of Technology, USA)
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
Lina Qiu, Yingying Wang, and Julia Rubin
(University of British Columbia, Canada)

Static Analysis
Tue, Jul 17, 11:00 - 12:30

Repositioning of Static Analysis Alarms
Tukaram Muske, Rohith Talluri, and Alexander Serebrenik
(Tata Consultancy Services, India; Eindhoven University of Technology, Netherlands)


 Artifacts Functional
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)


 Published Artifact Artifacts Available Artifacts Functional
Static Analysis of Java Dynamic Proxies
George Fourtounis, George Kastrinis, and Yannis Smaragdakis
(University of Athens, Greece)


 Published Artifact Artifacts Available Artifacts Functional
Practical Detection of Concurrency Issues at Coding Time
Luc Bläser
(University of Applied Sciences Rapperswil, Switzerland)


 Published Artifact Artifacts Available Artifacts Functional

Test and Oracle Generation
Tue, Jul 17, 16:00 - 17:30

Tests from Traces: Automated Unit Test Extraction for R
Filip Křikava and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)


 Published Artifact Artifacts Available Artifacts Reusable
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)


 Published Artifact Artifacts Available Artifacts Reusable
PerfFuzz: Automatically Generating Pathological Inputs
Caroline Lemieux, Rohan Padhye, Koushik Sen, and Dawn Song
(University of California at Berkeley, USA)

Porting and Repair
Wed, Jul 18, 11:00 - 12:30

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)
Making Data-Driven Porting Decisions with Tuscan
Kareem Khazem, Earl T. Barr, and Petr Hosek
(University College London, UK; Google, USA)
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)


 Published Artifact Artifacts Available Artifacts Functional
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)


 Published Artifact Artifacts Available Artifacts Functional

Optimization and Performance
Wed, Jul 18, 14:00 - 15:30

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)


 Published Artifact Artifacts Available Artifacts Functional
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)
Exploiting Community Structure for Floating-Point Precision Tuning
Hui Guo and Cindy Rubio-González
(University of California at Davis, USA)
piCoq: Parallel Regression Proving for Large-Scale Verification Projects
Karl Palmskog, Ahmet Celik, and Milos Gligoric
(University of Texas at Austin, USA)

Tool Demonstrations

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)
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)
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)
OASIs: Oracle Assessment and Improvement Tool
Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University College London, UK)
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
Diego Rodríguez-Baquero and Mario Linares-Vásquez
(Universidad de los Andes, Colombia)
MalViz: An Interactive Visualization Tool for Tracing Malware
Vinh The Nguyen, Akbar Siami Namin, and Tommy Dang
(Texas Tech University, USA)

proc time: 0.78