SymPaths: Symbolic Execution Meets Partial Order Reduction

Lecture notes in computer science, pp. 313–338

Authors 5

1. Frank S. de Boer

   Centrum Wiskunde & Informatica

   Affiliation as printed

   CWI, Amsterdam, The Netherlands

2. Marcello Bonsangue Aachen

   Leiden University

   Affiliation as printed

   Leiden University, Leiden, The Netherlands

3. Einar Broch Johnsen corresponding

   University of Oslo

   Affiliation as printed

   Department of Informatics, University of Oslo, Oslo, Norway

4. Ka I Pun

   Western Norway University of Applied Sciences · University of Oslo

   Affiliation as printed

   Department of Informatics, University of Oslo, Oslo, Norway

   Western Norway University of Applied Sciences, Bergen, Norway

5. Silvia Lizeth Tapia Tarifa

   University of Oslo

   Affiliation as printed

   Department of Informatics, University of Oslo, Oslo, Norway