ISSTA 2017- Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Full Citation in the ACM Digital Library

SESSION: Improving Testing

One test to rule them all

Reinforcement learning for automatic test case prioritization and selection in continuous integration

PerfRanker: prioritization of performance regression tests for collection-intensive software

Compiler-assisted test acceleration on GPUs for embedded software

SESSION: Testing

Targeted property-based testing

Generating unit tests with descriptive names or: would you name your children thing1 and thing2?

SESSION: Symbolic Execution

Accelerating array constraints in symbolic execution

Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics

Combining symbolic execution and search-based testing for programs with complex heap inputs

SESSION: Concurrency

Efficient computation of happens-before relation for event-driven programs

Automatic detection and validation of race conditions in interrupt-driven embedded software

Monitoring decentralized specifications

SESSION: Dynamic Analysis

Effective online software anomaly detection

Semi-automated discovery of server-based information oversharing vulnerabilities in Android applications

CPR: cross platform binary code reuse via platform independent trace program

An actionable performance profiler for optimizing the order of evaluations


Testing and analysis of web applications using page models

Automated layout failure detection for responsive web pages without an explicit oracle

Test execution checkpointing for web applications

SESSION: Experience Report

Experience paper: a study on behavioral backward incompatibilities of Java software libraries

SESSION: Program Repair and Patching

Identifying test-suite-overfitted patches through test case generation

Impact of tool support in patch construction

Automated repair of layout cross browser issues using search-based techniques

SESSION: Fault Localization and Mutation Testing

Boosting spectrum-based fault localization using PageRank

FLUCCS: using code and change metrics to improve fault localization

Inferring mutant utility from program context

Faster mutation analysis via equivalence modulo states

SESSION: Static Analysis

Just-in-time static analysis

Refining interprocedural change-impact analysis using equivalence relations

Boosting the precision of virtual call integrity protection with partial pointer analysis for C++

Lightweight detection of physical unit inconsistencies without program annotations

SESSION: Demonstrations

Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool

A suite of tools for making effective use of automatically generated tests

ReDeCheck: an automatic layout failure checking tool for responsively designed web pages

CUT: automatic unit testing in the cloud

XFix: an automated tool for the repair of layout cross browser issues

THEMIS: a tool for decentralized monitoring algorithms

JFIX: semantics-based repair of Java programs via symbolic PathFinder

ArtForm: a tool for exploring the codebase of form-based websites

ParTeCL: parallel testing using OpenCL

Verifying digital systems with MATLAB

SealTest: a simple library for test sequence generation

GitcProc: a tool for processing and classifying GitHub commits

Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering

LabPal: repeatable computer experiments made easy

SESSION: Analysis

Consistency checking in requirements analysis

Testing and analysis of web applications using page models

Path cost analysis for side channel detection

SESSION: Modeling and Learning

Automatically inferring and enforcing user expectations

Understanding intended behavior using models of low-level signals

Version space learning for verification on temporal differentials

SESSION: Testing

Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications

Dynamic tainting for automatic test case generation

Mapping hardness of automated software testing

Oracle problem in software testing