ISSTA 2018 – Proceedings

Frontmatter

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: issta18inv-p1-p (type: Invited Talk Abstract) doi:10.1145/3213846.3234687

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p7-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213849

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 Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p15-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213851

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: issta18main-p2-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213847

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)

Publisher's Version Article: issta18main-p17-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213852

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: issta18main-p43-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213856

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: issta18main-p65-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213859

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: issta18main-p124-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213875

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)

Publisher's Version Article: issta18main-p4-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213848

Deep Specification Mining
Tien-Duy B. Le and David Lo
(Singapore Management University, Singapore)

Publisher's Version Article: issta18main-p136-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213876

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: issta18main-p62-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213858

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: issta18main-p98-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213866

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)

Publisher's Version Article: issta18main-p105-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213869

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: issta18main-p61-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213857

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: issta18main-p37-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213854

Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
Lina Qiu, Yingying Wang, and Julia Rubin
(University of British Columbia, Canada)

Publisher's Version Article: issta18main-p122-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213873

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)

Publisher's Version Artifacts Functional Article: issta18main-p14-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213850

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 Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p72-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213860

Static Analysis of Java Dynamic Proxies
George Fourtounis, George Kastrinis, and Yannis Smaragdakis
(University of Athens, Greece)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p92-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213864

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

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p21-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213853

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p90-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213863

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 Published Artifact Artifacts Available Artifacts Reusable Article: issta18main-p121-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213872

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

Publisher's Version Article: issta18main-p123-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213874

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)

Publisher's Version Article: issta18main-p83-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213861

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: issta18main-p40-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213855

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 Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p108-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213870

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 Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p115-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213871

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta18main-p95-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213865

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: issta18main-p89-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213862

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: issta18main-p138-p (type: Full Paper (10 pages + 2 pages of references)) doi:10.1145/3213846.3213877

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: issta18tooldemos-p12-p (type: Short Paper (4 pages)) doi:10.1145/3213846.3229505

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: issta18tooldemos-p1-p (type: Short Paper (4 pages)) doi:10.1145/3213846.3229500

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: issta18tooldemos-p5-p (type: Short Paper (4 pages)) doi:10.1145/3213846.3229502

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: issta18tooldemos-p6-p (type: Short Paper (4 pages)) doi:10.1145/3213846.3229503

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: issta18tooldemos-p10-p (type: Short Paper (4 pages)) doi:10.1145/3213846.3229504

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: issta18tooldemos-p2-p (type: Short Paper (4 pages)) doi:10.1145/3213846.3229501

proc time: 0.07