ISSTA 2018

38 papers accepted.

Updated on 2023-09-08.

You can find the lastest information here.

Test input generation with Java PathFinder: then and now (invited talk abstract).

Lightweight verification of array indexing.

Eliminating timing side-channel leaks using program repair.

Symbolic path cost analysis for side-channel detection.

Safe and sound program analysis with Flix.

Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach.

Bench4BL: reproducibility study on the performance of IR-based bug localization.

Automated test mapping and coverage for network topologies.

Evaluating test-suite reduction in real software evolution.

Compiler fuzzing through deep learning.

Deep specification mining.

Identifying implementation bugs in machine learning based image classifiers using metamorphic testing.

An empirical study on TensorFlow program bugs.

Automatically translating bug reports into test cases for mobile apps.

Test migration for efficient large-scale assessment of mobile app coding assignments.

Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe.

Repositioning of static analysis alarms.

Shooting from the heap: ultra-scalable static analysis with heap snapshots.

Static analysis of Java dynamic proxies.

Practical detection of concurrency issues at coding time.

Tests from traces: automated unit test extraction for R.

Translating code comments to procedure specifications.

PerfFuzz: automatically generating pathological inputs.

Search-based detection of deviation failures in the migration of legacy spreadsheet applications.

Making data-driven porting decisions with Tuscan.

Comparing developer-provided to user-provided tests for fault localization and automated program repair.

Shaping program repair space with existing patches and similar code.

Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applications.

Badger: complexity analysis with fuzzing and symbolic execution.

Exploiting community structure for floating-point precision tuning.

piCoq: parallel regression proving for large-scale verification projects.

Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs.

LAND: a user-friendly and customizable test generation tool for Android apps.

Managing concurrent testing of data race with ComRaDe.

OASIs: oracle assessment and improvement tool.

Mutode: generic JavaScript and Node.js mutation testing tool.

MalViz: an interactive visualization tool for tracing malware.