Technical PapersISSTA 2017
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.
ISSTA 2017 will be held in Santa Barbara, California, USA, on July 10–14, 2017.
ISSTA will be co-located with the 24th International SPIN Symposium on Model Checking of Software (SPIN 2017).
Important Dates
- Research and Experience paper submissions: February 3, 2017 (23:59:59 Anywhere on Earth)
- Author Response Period: March 21-22, 2017
- Research/experience paper Author notification: April 29, 2017
- Camera ready deadline: May 20, 2017
Mon 10 JulDisplayed time zone: Tijuana, Baja California change
10:30 - 12:10 | |||
10:30 25mTalk | One Test to Rule Them All Technical Papers Alex Groce Northern Arizona University, Josie Holmes Pennsylvania State University, USA, Kevin Kellar DOI | ||
10:55 25mTalk | Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration Technical Papers Helge Spieker Simula Research Laboratory, Norway, Arnaud Gotlieb Simula Research Laboratory, Norway, Dusica Marijan Simula, Morten Mossige University of Stavanger, Norway / ABB Robotics, Norway DOI | ||
11:20 25mTalk | PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software Technical Papers Shaikh Mostafa University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA, Tao Xie University of Illinois at Urbana-Champaign DOI | ||
11:45 25mTalk | Compiler-Assisted Test Acceleration on GPUs for Embedded Software Technical Papers Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh DOI | ||
13:45 - 14:35 | |||
13:45 25mTalk | Targeted Property-Based Testing Technical Papers DOI | ||
14:10 25mTalk | Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2? Technical Papers Ermira Daka University of Sheffield, UK, José Miguel Rojas University of Sheffield, Gordon Fraser University of Sheffield DOI | ||
16:00 - 17:15 | |||
16:00 25mTalk | Accelerating Array Constraints in Symbolic Execution Technical Papers David Mitchel Perry Purdue University, Andrea Mattavelli Imperial College London, Xiangyu Zhang Purdue University, Cristian Cadar Imperial College London DOI | ||
16:25 25mTalk | Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics Technical Papers Wei Sun University of Nebraska-Lincoln, USA, Lisong Xu University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA DOI | ||
16:50 25mTalk | Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Technical Papers Pietro Braione University of Milano-Bicocca, Italy, Giovanni Denaro University of Milano-Bicocca, Italy, Andrea Mattavelli Imperial College London, Mauro Pezzè University of Milano-Bicocca, Italy DOI | ||
Tue 11 JulDisplayed time zone: Tijuana, Baja California change
10:30 - 11:45 | |||
10:30 25mTalk | Efficient Computation of Happens-Before Relation for Event-Driven Programs Technical Papers Pallavi Maiya Indian Institute of Science, Bangalore, Aditya Kanade Indian Institute of Science, Bangalore DOI | ||
10:55 25mTalk | Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Technical Papers Yu Wang Nanjing University, China, Linzhang Wang , Tingting Yu University of Kentucky, Jianhua Zhao Nanjing University, China, Xuandong Li Nanjing University DOI | ||
11:20 25mTalk | Monitoring Decentralized Specifications Technical Papers Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria DOI | ||
13:20 - 15:00 | Dynamic AnalysisTechnical Papers at Bren 1414 Chair(s): Tao Xie University of Illinois at Urbana-Champaign | ||
13:20 25mTalk | Effective Online Software Anomaly Detection Technical Papers Yizhen Chen SUNY Albany, USA, Ming Ying SUNY Albany, USA, Daren Liu SUNY Albany, USA, Adil Alim SUNY Albany, USA, Feng Chen SUNY Albany, USA, Mei-Hwa Chen SUNY Albany, USA DOI | ||
13:45 25mTalk | Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications Technical Papers William Koch Boston University, USA, Abdelberi Chaabane Northeastern University, USA, Manuel Egele Boston University, USA, William Robertson Northeastern University, USA, Engin Kirda Northeastern University, USA DOI | ||
14:10 25mTalk | CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Technical Papers Yonghwi Kwon Purdue University, Weihang Wang Purdue University, Yunhui Zheng IBM Research, Xiangyu Zhang Purdue University, Dongyan Xu Purdue University, USA DOI | ||
14:35 25mTalk | An Actionable Performance Profiler for Optimizing the Order of Evaluations Technical Papers Marija Selakovic TU Darmstadt, Germany, Thomas Glaser TU Darmstadt, Germany, Michael Pradel TU Darmstadt DOI | ||
16:00 - 17:15 | |||
16:00 25mTalk | Testing and Analysis of Web Applications using Page Models Technical Papers DOI | ||
16:25 25mTalk | Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle Technical Papers Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield DOI | ||
16:50 25mTalk | Test Execution Checkpointing for Web Applications Technical Papers Marco Guarnieri ETH Zurich, Switzerland, Petar Tsankov ETH Zurich, Tristan Buchs EPFL, Switzerland, Mohammad Torabi Dashti ETH Zurich, Switzerland, David Basin ETH Zurich, Switzerland DOI | ||
Wed 12 JulDisplayed time zone: Tijuana, Baja California change
09:30 - 09:55 | |||
09:30 25mTalk | Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries Technical Papers Shaikh Mostafa University of Texas at San Antonio, USA, Rodney Rodriguez University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA DOI | ||
10:30 - 11:45 | |||
10:30 25mTalk | Identifying Test-Suite-Overfitted Patches through Test Case Generation Technical Papers DOI | ||
10:55 25mTalk | Impact of Tool Support in Patch Construction Technical Papers Anil Koyuncu University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Jacques Klein University of Luxembourg, Martin Monperrus , Yves Le Traon University of Luxembourg DOI | ||
11:20 25mTalk | Automated Repair of Layout Cross Browser Issues using Search-Based Techniques Technical Papers Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California DOI | ||
13:20 - 15:00 | Fault Localization and Mutation TestingTechnical Papers at Bren 1414 Chair(s): Alex Orso Georgia Institute of Technology | ||
13:20 25mTalk | Boosting Spectrum-Based Fault Localization using PageRank Technical Papers Mengshi Zhang University of Texas at Austin, USA, Xia Li University of Texas at Dallas, USA, Lingming Zhang , Sarfraz Khurshid University of Texas at Austin DOI | ||
13:45 25mTalk | FLUCCS: Using Code and Change Metrics to Improve Fault Localization Technical Papers DOI | ||
14:10 25mTalk | Inferring Mutant Utility from Program Context Technical Papers René Just University of Massachusetts, USA, Bob Kurtz George Mason University, USA, Paul Ammann George Mason University, USA DOI Pre-print | ||
14:35 25mTalk | Faster Mutation Analysis via Equivalence Modulo States Technical Papers Bo Wang Peking University, China, Yingfei Xiong Peking University, Yangqingwei Shi Peking University, Lu Zhang Peking University, Dan Hao Peking University DOI Pre-print | ||
15:30 - 17:10 | Static AnalysisTechnical Papers at Bren 1414 Chair(s): William G.J. Halfond University of Southern California | ||
15:30 25mTalk | Just-in-Time Static Analysis Technical Papers Lisa Nguyen Quang Do Fraunhofer IEM, Karim Ali University of Alberta, Benjamin Livshits Imperial College London, UK, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Justin Smith North Carolina State University, Emerson Murphy-Hill North Carolina State University DOI | ||
15:55 25mTalk | Refining Interprocedural Change-Impact Analysis using Equivalence Relations Technical Papers Alex Gyori University of Illinois at Urbana-Champaign, USA, Shuvendu K. Lahiri Microsoft Research, Nimrod Partush Technion DOI | ||
16:20 25mTalk | Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ Technical Papers Xiaokang Fan , Yulei Sui , Liao Xiangke National University of Defense Technology, China, Jingling Xue UNSW Australia DOI | ||
16:45 25mTalk | Lightweight Detection of Physical Unit Inconsistencies without Program Annotations Technical Papers John-Paul Ore University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA DOI | ||
Accepted Papers
Call for Papers
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.
ISSTA 2017 will be held in Santa Barbara, California, USA, on July 10–14, 2017.
ISSTA will be co-located with the 24th International SPIN Symposium on Model Checking of Software (SPIN 2017).
Research Papers
Authors are invited to submit research papers describing original contributions in testing or analysis of computer software. Papers describing original theoretical or empirical research, new techniques, in-depth case studies, infrastructures of testing and analysis methods or tools are welcome.
Experience Papers
Authors are invited to submit experience papers describing a significant experience in applying software testing and analysis methods or tools and should carefully identify and discuss important lessons learned so that other researchers and/or practitioners can benefit from the experience. Of special interest are experience papers that report on industrial applications of software testing and analysis methods or tools.
Artifact Evaluation
The Artifact Evaluation track invites authors of ISSTA paper submissions to submit their artifacts that will help the PC make better acceptance decisions and/or future researchers build on and compare with their work. The submission deadline is Feb 17, 2017. For more information, see the Artifact Evaluation track page.
Demonstrations
The Demonstrations track solicits 4-page papers on advances in software testing and analysis tools that aid either practice, research, or both. The submission deadline is May 2, 2017. For more information, see the Demonstrations track page.
Submission Guidelines
Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.
Both Research and Experience Papers should be at most 10 pages in length, with at most 2 additional pages for references. All papers must be prepared in ACM Conference Format.
ISSTA 2017 will conduct double-blind reviewing. Submissions should not reveal the identity of the authors in any way. Authors should leave out author names and affiliations from the body of their submission. They should also ensure that any citations to related work by themselves are written in third person, that is, “the prior work of XYZ” as opposed to “our prior work”. Authors with further questions on double-blind reviewing are encouraged to contact the Program Chair by email.
Submit your papers via the EasyChair ISSTA 2017 submission website.
Important Dates
- Research and Experience paper submissions: February 3, 2017 (23:59:59 Anywhere on Earth)
- Author Response Period: March 21-22, 2017
- Research/experience paper Author notification: April 29, 2017
- Camera ready deadline: May 20, 2017