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

SESSION: The Web

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