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.

Conference Day
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. DonaldsonImperial College London
13:50
25m
Research paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie, Pratap LakshmanMicrosoft, India, Peli de HalleuxMicrosoft Research
DOI
14:15
25m
Research paper
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
DOI
14:40
25m
Research paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
DOI
15:05
25m
Research paper
Targeted Test Generation for Actor Systems
ECOOP Research Papers
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
DOI