ISSTA 2017
26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017)
Powered by
Conference Publishing Consulting

26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017), July 10–14, 2017, Santa Barbara, CA, USA

ISSTA 2017 – Advance Table of Contents

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
Committees
Sponsors

Technical Papers

Papers

One Test to Rule Them All
Alex Groce, Josie Holmes, and Kevin Kellar
(Oregon State University, USA; Pennsylvania State University, USA; Crescent Valley High School, USA)
Article Search
Just-in-Time Static Analysis
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill
(Fraunhofer IEM, Germany; University of Alberta, Canada; Imperial College London, UK; University of Paderborn, Germany; North Carolina State University, USA)
Article Search Archive submitted (8420 MB) Video Info
Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics
Wei Sun, Lisong Xu, and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
Article Search
CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, and Dongyan Xu
(Purdue University, USA; IBM Research, USA)
Article Search
Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
William Koch, Abdelberi Chaabane, Manuel Egele, William Robertson, and Engin Kirda
(Boston University, USA; Northeastern University, USA)
Article Search
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, and Morten Mossige
(Simula Research Laboratory, Norway; University of Stavanger, Norway; ABB Robotics, Norway)
Preprint
Test Execution Checkpointing for Web Applications
Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland; EPFL, Switzerland)
Article Search
Targeted Property-Based Testing
Andreas Löscher and Konstantinos Sagonas
(Uppsala University, Sweden)
Preprint Archive submitted (2507 MB) Info
Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle
Thomas Walsh, Gregory Kapfhammer, and Phil McMinn
(University of Sheffield, UK; Allegheny College, USA)
Article Search
Impact of Tool Support in Patch Construction
Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon
(University of Luxembourg, Luxembourg; Sogang University, South Korea; Inria, France; University of Lille, France)
Article Search
Faster Mutation Analysis via Equivalence Modulo States
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, and Dan Hao
(Peking University, China; Carnegie Mellon University, USA)
Article Search
Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè
(University of Milano-Bicocca, Italy; Imperial College London, UK)
Preprint Archive submitted (4900 MB)
An Actionable Performance Profiler for Optimizing the Order of Evaluations
Marija Selakovic, Thomas Glaser, and Michael Pradel
(TU Darmstadt, Germany)
Article Search
FLUCCS: Using Code and Change Metrics to Improve Fault Localization
Jeongju Sohn and Shin Yoo
(KAIST, South Korea)
Article Search
Identifying Test-Suite-Overfitted Patches through Test Case Generation
Qi Xin and Steven P. Reiss
(Brown University, USA)
Preprint
Refining Interprocedural Change-Impact Analysis using Equivalence Relations
Alex Gyori, Shuvendu K. Lahiri, and Nimrod Partush
(University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA; Technion, Israel)
Preprint
Compiler-Assisted Test Acceleration on GPUs for Embedded Software
Vanya Yaneva, Ajitha Rajan, and Christophe Dubach
(University of Edinburgh, UK)
Article Search
Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries
Shaikh Mostafa, Rodney Rodriguez, and Xiaoyin Wang
(University of Texas at San Antonio, USA)
Article Search
Lightweight Detection of Physical Unit Inconsistencies without Program Annotations
John-Paul Ore, Sebastian Elbaum, and Carrick Detweiler
(University of Nebraska-Lincoln, USA)
Article Search Archive submitted (3321 MB)
Monitoring Decentralized Specifications
Antoine El-Hokayem and Ylies Falcone
(Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France)
Preprint Archive submitted (269 MB) Info
Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, and Xuandong Li
(Nanjing University, China; University of Kentucky, USA)
Article Search
PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software
Shaikh Mostafa, Xiaoyin Wang, and Tao Xie
(University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA)
Article Search
Automated Repair of Layout Cross Browser Issues using Search-Based Techniques
Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond
(University of Southern California, USA; University of Sheffield, UK)
Article Search
Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?
Ermira Daka, José Miguel Rojas, and Gordon Fraser
(University of Sheffield, UK)
Article Search
Accelerating Array Constraints in Symbolic Execution
David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, and Cristian Cadar
(Purdue University, USA; Imperial College London, UK)
Preprint Info
Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
Xiaokang Fan, Yulei Sui, Xiangke Liao, and Jingling Xue
(UNSW, Australia; National University of Defense Technology, China)
Article Search
Effective Online Software Anomaly Detection
Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen
(SUNY Albany, USA)
Article Search
Boosting Spectrum-Based Fault Localization using PageRank
Mengshi Zhang, Xia Li, Lingming Zhang, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Texas at Dallas, USA)
Article Search
Inferring Mutant Utility from Program Context
René Just, Bob Kurtz, and Paul Ammann
(University of Massachusetts, USA; George Mason University, USA)
Article Search
Efficient Computation of Happens-Before Relation for Event-Driven Programs
Pallavi Maiya and Aditya Kanade
(IISc Bangalore, India)
Preprint Info
Testing and Analysis of Web Applications using Page Models
Snigdha Athaiya and Raghavan Komondoor
(IISc Bangalore, India)
Article Search

Demonstrations

Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum
(University of Nebraska-Lincoln, USA; University on Nebraska-Lincoln, USA)
Article Search
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Josie Holmes and Alex Groce
(Tompkin Testing Technologies, USA; Northern Arizona University, USA)
Article Search
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Thomas Walsh, Gregory Kapfhammer, and Phil McMinn
(University of Sheffield, UK; Allegheny College, USA)
Article Search
CUT: Automatic Unit Testing in the Cloud
Alessio Gambi, Sebastian Kappler, Johannes Lampel, and Andreas Zeller
(Saarland University, Germany)
Article Search
XFix: Automated Tool for Repair of Layout Cross Browser Issues
Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond
(University of Southern California, USA; University of Sheffield, UK)
Article Search
THEMIS: A Tool for Decentralized Monitoring Algorithms
Antoine El-Hokayem and Ylies Falcone
(Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France)
Preprint Info
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Le Dinh Xuan Bach, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser
(Singapore Management University, Singapore; National University of Singapore, Singapore; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
Article Search
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Benjamin Spencer, Michael Benedikt, Anders Møller, and Franck van Breugel
(University of Oxford, UK; Aarhus University, Denmark; York University, Canada)
Article Search
ParTeCL: Parallel Testing using OpenCL
Vanya Yaneva, Ajitha Rajan, and Christophe Dubach
(University of Edinburgh, UK)
Article Search
Verifying Digital Systems with MATLAB
Lennon Chaves, Iury Bessa, Lucas C. Cordeiro, Eddie Lima, and Daniel Kroening
(Federal University of Amazonas, Brazil; University of Oxford, UK; Samsung Electronics, Brazil)
Article Search
SealTest: A Simple Library for Test Sequence Generation
Sylvain Hallé and Raphael Khoury
(Université du Québec à Chicoutimi, Canada)
Article Search Info
GitcProc: A Tool for Processing and Classifying GitHub Commits
Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, and Cindy Rubio-Gonzalez
(University of California at Davis, USA; University of Virginia, USA)
Article Search
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clusterting
Dmitry Nurmuradov and Renée Bryce
(University of North Texas, USA)
Article Search
LabPal: Repeatable Computer Experiments Made Easy
Sylvain Hallé
(Université du Québec à Chicoutimi, Canada)
Article Search Video Info

Doctoral Symposium

Proposed Thesis Research

Dynamic Tainting for Automatic Test Case Generation
Björn Mathis
(Saarland University, Germany)
Article Search
Data Flow Oriented UI Testing
Nataniel Borges Jr.
(Saarland University, Germany)
Article Search
Oracle Problem in Software Testing
Gunel Jahangirova
(Fondazione Bruno Kessler, Italy; University College London, UK)
Article Search
Automatically Inferring and Enforcing User Expectations
Jenny Hotzkow
(Saarland University, Germany)
Article Search
Understanding Intended Behavior using Models of Low-Level Signals
Deborah Katz
(Carnegie Mellon University, USA)
Article Search
Version Space Learning for Verification on Temporal Differentials
Mark Santolucito
(Yale University, USA)
Article Search
Consistency Checking in Requirements Analysis
Jaroslav Bendík
(Masaryk University, Czech Republic)
Article Search
Testing and Analysis of Web Applications using Page Models
Snigdha Athaiya
(IISc Bangalore, India)
Article Search
Mapping Hardness of Automated Software Testing
Carlos Eduardo De Jesus Guimarães Oliveira
(Monash University, Australia)
Article Search
Path Cost Analysis for Side Channel Detection
Tegan Brennan
(University of California at Santa Barbara, USA)
Article Search

proc time: 4.19