ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Thu 19 Jul 2018 15:05 - 15:30 at Zurich II - Testing Chair(s): Alastair F. Donaldson

This paper addresses the problem of targeted test generation for actor systems. Specifically, we propose an approach to generate system-level tests which cover a given code location in an actor system. The approach consists of two phases. First, static analysis is used to construct a message flow graph (MFG). The MFG is an abstraction of the entire actor system that captures potential actor interactions defined by a program. Second, a backwards symbolic execution (BSE) from a target location to an ’entry point’ of the actor system is performed. The BSE uses the MFG constructed in the first phase to guide execution across actors. Because a BSE generates a huge search space of potential entry points, heuristics combined with a feedback-directed technique are used to guide and prune the search. We implement our approach in a tool called Tap for Java Akka programs, and evaluate Tap on the Savina benchmarks and four open source projects. Our evaluation shows that the Tap achieves a relatively high target coverage (78% on 1,000 targets) and detects six previously unreported bugs in the subjects.

Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:30
TestingECOOP Research Papers at Zurich II
Chair(s): Alastair F. Donaldson Imperial College London
13:50
25m
Research paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie , Pratap Lakshman Microsoft, India, Peli de Halleux Microsoft Research
DOI
14:15
25m
Research paper
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University
DOI
14:40
25m
Research paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University
DOI
15:05
25m
Research paper
Targeted Test Generation for Actor Systems
ECOOP Research Papers
Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA
DOI