Write a Blog >>

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.