Accepted Papers

ISSTA Technical Papers

• Alex Groce, Josie Holmes, and Kevin Kellar. One Test to Rule Them All.
• Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. Just-in-Time Static Analysis.
• Wei Sun, Lisong Xu, and Sebastian Elbaum. Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics.
• Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, and Dongyan Xu. CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program.
• William Koch, Abdelberi Chaabane, Manuel Egele, William Robertson, and Engin Kirda. Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications.
• Helge Spieker, Arnaud Gotlieb, Dusica Marijan, and Morten Mossige. Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration.
• Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, and David Basin. Test Execution Checkpointing for Web Applications.
• Andreas Löscher and Kostis Sagonas. Targeted Property-Based Testing.
• Thomas Walsh, Gregory Kapfhammer, and Phil McMinn. Automated Layout Failure Detection for Responsive Web Pages Without an Explicit Oracle.
• Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon. Impact of Tool Support in Patch Construction.
• Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, and Dan Hao. Faster Mutation Analysis via Equivalence Modulo States.
• Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè. Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs.
• Marija Selakovic, Thomas Glaser, and Michael Pradel. An Actionable Performance Profiler for Optimizing the Order of Evaluations.
• Jeongju Sohn and Shin Yoo. FLUCCS: Using Code and Change Metrics to Improve Fault Localisation.
• Qi Xin and Steven Reiss. Identifying Test-Suite-Overfitted Patches through Test Case Generation.
• Alex Gyori, Shuvendu Lahiri, and Nimrod Partush. Refining Interprocedural Change-Impact Analysis using Equivalence Relations.
• Vanya Yaneva, Ajitha Rajan, and Christophe Dubach. Compiler-Assisted Test Acceleration on GPUs for Embedded Software.
• Shaikh Mostafa, Rodney Rodriguez, and Xiaoyin Wang. A Study on Behavioral Backward Incompatibilities of Java Software Libraries. (Experience Paper)
• John-Paul Ore, Sebastian Elbaum, and Carrick Detweiler. Lightweight Detection of Physical Unit Inconsistencies without Program Annotations.
• Antoine El-Hokayem and Ylies Falcone. Monitoring Decentralized Specifications.
• Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, and Xuandong Li. Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software.
• Shaikh Mostafa, Xiaoyin Wang, and Tao Xie. PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software.
• Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G.J. Halfond. Automated Repair of Layout Cross Browser Issues Using Search-Based Techniques.
• Ermira Daka, José Miguel Rojas, and Gordon Fraser. Generating Unit Tests with Descriptive Names Or: Would you name your children thing1 and thing2?
• David M. Perry, Andrea Mattavelli, Xiangyu Zhang, and Cristian Cadar. Accelerating Array Constraints in Symbolic Execution.
• Xiaokang Fan, Yulei Sui, Xiangke Liao, and Jingling Xue. Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++.
• Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen. Effective Online Software Anomaly Detection.
• Mengshi Zhang, Xia Li, Lingming Zhang, and Sarfraz Khurshid. Boosting Spectrum-based Fault Localization Using PageRank.
• René Just, Bob Kurtz, and Paul Ammann. Inferring Mutant Utility from Program Context.
• Pallavi Maiya and Aditya Kanade. Efficient Computation of Happens-before Relation for Event-driven Programs.
• Raghavan Komondoor and Snigdha Athaiya. Testing and Analysis of Web Applications using Page Models.

ISSTA Demonstrations

• Le Dinh Xuan Bach, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder.
• Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, and Cindy Rubio-Gonzalez. GitcProc: A Tool for Processing and Classifying GitHub Commits.
• Lennon Chaves, Iury Bessa, Lucas Cordeiro, Eddie Lima, and Daniel Kroening. Verifying Digital Systems with MATLAB.
• Antoine El-Hokayem and Ylies Falcone. THEMIS: A Tool for Decentralized Monitoring Algorithms.
• Alessio Gambi, Sebastian Kappler, Johannes Lampel, and Andreas Zeller. CUT: Automatic Unit Testing in the Cloud.
• Sylvain Hallé. LabPal: Repeatable Computer Experiments Made Easy.
• Sylvain Hallé and Raphael Khoury. SealTest: A Simple Library for Test Sequence Generation.
• Josie Holmes and Alex Groce. A Suite of Tools for Making Effective Use of Automatically Generated Tests.
• Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G.J. Halfond. XFix: Automated Tool for Repair of Layout Cross Browser Issues.
• Dmitry Nurmuradov and Renee Bryce. Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering.
• John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum. Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool.
• Benjamin Spencer, Michael Benedikt, Anders Møller, and Franck van Breugel. ArtForm: A Tool for Exploring the Codebase of Form-based Websites.
• Thomas Walsh, Gregory Kapfhammer, and Phil McMinn. ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages.
• Vanya Yaneva, Ajitha Rajan, and Christophe Dubach. ParTeCL: Parallel Testing Using OpenCL.