ISSTA 2017 54 papers accepted. Updated on 2023-10-06. You can find the lastest information here. 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. Targeted property-based testing. Generating unit tests with descriptive names or: would you name your children thing1 and thing2? 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. 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. 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. Experience paper: a study on behavioral backward incompatibilities of Java software libraries. 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. 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. 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. 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. Consistency checking in requirements analysis. Testing and analysis of web applications using page models. Path cost analysis for side channel detection. Automatically inferring and enforcing user expectations. Understanding intended behavior using models of low-level signals. Version space learning for verification on temporal differentials. 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.