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)
Publisher's Version Article Search

Technical Papers

Secure and Sound

Lightweight Verification of Array Indexing
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, and Michael D. Ernst
(University of Washington, USA; Charles University in Prague, Czechia)
Publisher's Version Article Search 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)
Publisher's Version Article Search 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)
Publisher's Version Article Search
Safe and Sound Program Analysis with Flix
Magnus Madsen and Ondřej Lhoták
(Aalborg University, Denmark; University of Waterloo, Canada)
Publisher's Version Article Search

Testing and Fault Localization

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)
Publisher's Version Article Search
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)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search

Machine Learning

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

Mobile

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

Static Analysis

Repositioning of Static Analysis Alarms
Tukaram Muske, Rohith Talluri, and Alexander Serebrenik
(Tata Consultancy Services, India; Eindhoven University of Technology, Netherlands)
Publisher's Version Article Search 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)
Publisher's Version Article Search Artifacts Available Artifacts Functional
Static Analysis of Java Dynamic Proxies
George Fourtounis, George Kastrinis, and Yannis Smaragdakis
(University of Athens, Greece)
Publisher's Version Article Search Artifacts Available Artifacts Functional
Practical Detection of Concurrency Issues at Coding Time
Luc Bläser
(University of Applied Sciences Rapperswil, Switzerland)
Publisher's Version Article Search Artifacts Available Artifacts Functional

Test and Oracle Generation

Tests from Traces: Automated Unit Test Extraction for R
Filip Křikava and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)
Publisher's Version Article Search 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)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
PerfFuzz: Automatically Generating Pathological Inputs
Caroline Lemieux, Rohan Padhye, Koushik Sen, and Dawn Song
(University of California at Berkeley, USA)
Publisher's Version Article Search

Porting and Repair

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)
Publisher's Version Article Search
Making Data-Driven Porting Decisions with Tuscan
Kareem Khazem, Earl T. Barr, and Petr Hosek
(University College London, UK; Google, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search 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)
Publisher's Version Article Search Artifacts Available Artifacts Functional

Optimization and Performance

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

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

proc time: 0.99