Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Thu 19 Jul 2018 15:05 - 15:30 at Zurich II - Testing Chair(s): Alastair 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

ecoop-2018-papers
13:50 - 15:30: ECOOP Research Papers - Testing at Zurich II
Chair(s): Alastair DonaldsonImperial College London
ecoop-2018-papers13:50 - 14:15
Research paper
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
ecoop-2018-papers14:15 - 14:40
Research paper
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
DOI
ecoop-2018-papers14:40 - 15:05
Research paper
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
DOI
ecoop-2018-papers15:05 - 15:30
Research paper
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
DOI