Targeted Test Generation for Actor Systems
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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:50 - 15:30 | |||
13:50 25mResearch 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 25mResearch 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 25mResearch 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 25mResearch 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 |