CoVeriTest: Cooperative Verifier-Based Testing (ETAPS 2019 - Poster session)

Who

Dirk Beyer, Marie-Christine Jakobs

Track

ETAPS 2019 Posters

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 6 Apr 2019 14:54 - 15:16 at Coffee area (Posters) - Workshop Poster Exhibition (Saturday) Chair(s): Jan Kofroň
Sun 7 Apr 2019 11:14 - 11:36 at Coffee area (Posters) - Workshop Poster Exhibition (Sunday)
Mon 8 Apr 2019 19:58 - 20:01 at 1st Floor Reception Area (Posters) - Main Poster Session Chair(s): Konrad Siek

Abstract

We present CoVeriTest, a hybrid approach for test-case generation. The hybrid approach is necessary since different approaches have different strength and weaknesses. Encouraged by recent advances in software verification, CoVeriTest combines different verifiers. In each iteration, the verifiers are limited by their individual time limit To enable cooperation among verifiers, verifiers may share various types of analysis information. The type of information shared can be configured. In our evaluation, we thoroughly studied different CoVeriTest configurations, which differ in the individual time limits for the verifiers and the type of cooperation. Furthermore, CoVeriTest participated in the first international competition on software testing (Test-Comp) and won bronze in all three categories. The technical paper for the CoVeriTest approach will be presented at FASE 2019.

Dirk Beyer

LMU Munich

Germany

Marie-Christine Jakobs

TU Darmstadt, Germany

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

10:30 - 16:00	Workshop Poster Exhibition (Saturday)Posters at Coffee area (Posters) Chair(s): Jan Kofroň Charles University

10:30 22m Poster		Markovian equivalences for biochemical reaction networks Posters Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy, Andrea Vandin DTU, Denmark, Luca Cardelli Microsoft Research and University of Oxford
10:52 22m Poster		Statistical abstraction for multi-scale spatio-temporal systems Posters Michalis Michaelides University of Edinburgh, Jane Hillston University of Edinburgh, Guido Sanguinetti University of Edinburgh
11:14 22m Poster		Towards Efficient Algorithms for Constraint Satisfaction Problems Posters Huu-Phuc Vo Uppsala University
11:36 22m Poster		VIAP 1.1 Posters pritom rajkhowa , Fangzhen Lin
11:58 22m Poster		FreeST: context-free session types in a functional language Posters Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
12:20 22m Poster		WAPS: Weighted and Projected Sampling Posters Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore
12:42 22m Poster		Semantic Fault Localization and Suspiciousness Ranking Posters Maria Christakis MPI-SWS, Matthias Heizmann University of Freiburg, Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS), Christian Schilling IST Austria, Valentin Wüstholz ConsenSys Diligence
13:04 22m Poster		Ultimate Automizer Posters Matthias Heizmann University of Freiburg, Yu-Fang Chen Academia Sinica, Daniel Dietsch University of Freiburg, Marius Greitschus , Jochen Hoenicke Universität Freiburg, Yong Li Institute of Software, Chinese Academy of Sciences, Alexander Nutz University of Freiburg, Germany, Pavel Andrianov , Christian Schilling IST Austria, Tanja Schindler University of Freiburg, Andreas Podelski University of Freiburg, Germany
13:26 22m Poster		CPAchecker with Strategy Selection Posters Karlheinz Friedberger , Marie-Christine Jakobs TU Darmstadt, Germany, Thomas Lemberger , Martin Spiessl , Philipp Wendler
13:48 22m Poster		Towards A Logical Account of Epistemic Causality Posters Shakil Khan , Mikhail Soutchanski
14:10 22m Poster		Minimal-Time Synthesis for Parametric Timed Automata Posters Étienne André LIPN, CNRS UMR 7030, Université Paris 13, Vincent Bloemen University of Twente, Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University
14:32 22m Poster		PeSCo: Predicting Sequential Combinations of Verifiers Posters Pavel Andrianov , Heike Wehrheim Paderborn University
14:54 22m Poster		CoVeriTest: Cooperative Verifier-Based Testing Posters Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
15:16 22m Poster		JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) Posters Lucas Cordeiro University of Oxford, Daniel Kroening University of Oxford, Peter Schrammel University of Oxford, UK
15:38 22m Poster		CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software Posters Pavel Andrianov , Pavel Andrianov , Pavel Andrianov

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

10:30 - 16:00	Workshop Poster Exhibition (Sunday)Posters at Coffee area (Posters)

10:30 22m Poster		CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software Posters Pavel Andrianov , Pavel Andrianov , Pavel Andrianov
10:52 22m Poster		CPAchecker with Strategy Selection Posters Karlheinz Friedberger , Marie-Christine Jakobs TU Darmstadt, Germany, Thomas Lemberger , Martin Spiessl , Philipp Wendler
11:14 22m Poster		CoVeriTest: Cooperative Verifier-Based Testing Posters Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
11:36 22m Poster		FreeST: context-free session types in a functional language Posters Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
11:58 22m Poster		JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) Posters Lucas Cordeiro University of Oxford, Daniel Kroening University of Oxford, Peter Schrammel University of Oxford, UK
12:20 22m Poster		Markovian equivalences for biochemical reaction networks Posters Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy, Andrea Vandin DTU, Denmark, Luca Cardelli Microsoft Research and University of Oxford
12:42 22m Poster		Minimal-Time Synthesis for Parametric Timed Automata Posters Étienne André LIPN, CNRS UMR 7030, Université Paris 13, Vincent Bloemen University of Twente, Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University
13:04 22m Poster		PeSCo: Predicting Sequential Combinations of Verifiers Posters Pavel Andrianov , Heike Wehrheim Paderborn University
13:26 22m Poster		Semantic Fault Localization and Suspiciousness Ranking Posters Maria Christakis MPI-SWS, Matthias Heizmann University of Freiburg, Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS), Christian Schilling IST Austria, Valentin Wüstholz ConsenSys Diligence
13:48 22m Poster		Statistical abstraction for multi-scale spatio-temporal systems Posters Michalis Michaelides University of Edinburgh, Jane Hillston University of Edinburgh, Guido Sanguinetti University of Edinburgh
14:10 22m Poster		Towards A Logical Account of Epistemic Causality Posters Shakil Khan , Mikhail Soutchanski
14:32 22m Poster		Towards Efficient Algorithms for Constraint Satisfaction Problems Posters Huu-Phuc Vo Uppsala University
14:54 22m Poster		Ultimate Automizer Posters Matthias Heizmann University of Freiburg, Yu-Fang Chen Academia Sinica, Daniel Dietsch University of Freiburg, Marius Greitschus , Jochen Hoenicke Universität Freiburg, Yong Li Institute of Software, Chinese Academy of Sciences, Alexander Nutz University of Freiburg, Germany, Pavel Andrianov , Christian Schilling IST Austria, Tanja Schindler University of Freiburg, Andreas Podelski University of Freiburg, Germany
15:16 22m Poster		VIAP 1.1 Posters pritom rajkhowa , Fangzhen Lin
15:38 22m Poster		WAPS: Weighted and Projected Sampling Posters Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore

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

18:30 - 20:30	Main Poster SessionPosters at 1st Floor Reception Area (Posters) Chair(s): Konrad Siek Czech Technical University in Prague

18:30 3m Poster		Partial and Conditional Expectations in Markov Decision Processes with Integer Weights Posters Jakob Piribauer , Christel Baier TU Dresden, Germany
18:33 3m Poster		Information Flow Control Parallel Runtime Systems Foundations Posters Marco Vassena Chalmers University of Technology, Deian Stefan University of California San Diego
18:37 3m Poster		VyPR2: A Framework for Runtime Verification of Python Web Services Posters Joshua Dawes University of Manchester and CERN, Giles Reger University of Manchester, Giovanni Franzoni , Andreas Pfeiffer , Giacomo Govi
18:40 3m Poster		Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms Posters Assel Altayeva Imperial College London, Nobuko Yoshida Imperial College London
18:44 3m Poster		Tool Support for Correctness-by-Construction Posters Tobias Runge TU Braunschweig, Thomas Thüm University of Ulm, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU), Ina Schaefer Technische Universität Braunschweig, Bruce W Watson , Derrick Kourie Stellenbosch University
18:47 3m Poster		Verifiably Safe Off-Model Reinforcement Learning Posters Nathan Fulton MIT-IBM Watson AI Lab, André Platzer Carnegie Mellon University
18:51 3m Poster		Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach Posters Mahmoud Khaled TU Munich, Eric Kim , Murat Arcak , Majid Zamani
18:54 3m Poster		FreeST: context-free session types in a functional language Posters Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
18:58 3m Poster		WAPS: Weighted and Projected Sampling Posters Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore
19:01 3m Poster		Semantic Fault Localization and Suspiciousness Ranking Posters Maria Christakis MPI-SWS, Matthias Heizmann University of Freiburg, Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS), Christian Schilling IST Austria, Valentin Wüstholz ConsenSys Diligence
19:05 3m Poster		The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability Posters Olav Bunte , Jan Friso Groote , Jeroen J.A. Keiren , Maurice Laveaux , Thomas Neele , Erik P. de Vink , Wieger Wesselink , Anton Wijs Eindhoven University of Technology, Tim A.C. Willemse
19:08 3m Poster		Distributive Disjoint Polymorphism for Compositional Programming Posters Xuan Bi Standard Chartered Bank, Ningning Xie University of Toronto, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong, Tom Schrijvers KU Leuven
19:12 3m Poster		Ultimate Automizer Posters Matthias Heizmann University of Freiburg, Yu-Fang Chen Academia Sinica, Daniel Dietsch University of Freiburg, Marius Greitschus , Jochen Hoenicke Universität Freiburg, Yong Li Institute of Software, Chinese Academy of Sciences, Alexander Nutz University of Freiburg, Germany, Pavel Andrianov , Christian Schilling IST Austria, Tanja Schindler University of Freiburg, Andreas Podelski University of Freiburg, Germany
19:15 3m Poster		Automatically Identifying Sufficient Object Builders from Module APIs Posters Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano , Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
19:19 3m Poster		CPAchecker with Strategy Selection Posters Karlheinz Friedberger , Marie-Christine Jakobs TU Darmstadt, Germany, Thomas Lemberger , Martin Spiessl , Philipp Wendler
19:22 3m Poster		DeepFault: Fault Localization for Deep Neural Networks Posters Hasan Ferit Eniser , Simos Gerasimou , Alper Sen
19:26 3m Poster		PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ Posters Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
19:30 3m Poster		Credential Scanning powered by Symbolic Regex Matching Posters Margus Veanes Microsoft Research, Olli Saarikivi , Eric Xu Microsoft, USA, Tiki Wan , Arvind Ravi Microsoft Azure
19:33 3m Poster		ROLL 1.0: $\omega$-Regular Language Learning Library Posters Yong Li Institute of Software, Chinese Academy of Sciences, Xuechao Sun , Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Yu-Fang Chen Academia Sinica, Junnan Xu
19:37 3m Poster		Parallel SAT Simplification on GPU Architectures Posters Muhammad Osama Eindhoven University of Technology, Anton Wijs Eindhoven University of Technology
19:40 3m Poster		Computing Coupled Similarity Posters Benjamin Bisping Technische Universität Berlin, Uwe Nestmann
19:44 3m Poster		Implementing SOS with Active Objects: A Case Study of a Multicore Memory System Posters Nikolaos Bezirgiannis , Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Einar Broch Johnsen University of Oslo, Violet Ka I Pun , Silvia Lizeth Tapia Tarifa University of Oslo
19:47 3m Poster		Minimal-Time Synthesis for Parametric Timed Automata Posters Étienne André LIPN, CNRS UMR 7030, Université Paris 13, Vincent Bloemen University of Twente, Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University
19:51 3m Poster		PeSCo: Predicting Sequential Combinations of Verifiers Posters Pavel Andrianov , Heike Wehrheim Paderborn University
19:54 3m Poster		The COMPASS 3.0 Toolset Posters Marco Bozzano , Harold Bruintjes , Alessandro Cimatti Fondazione Bruno Kessler, Joost-Pieter Katoen RWTH Aachen University, Thomas Noll RWTH Aachen University, Stefano Tonetta Fondazione Bruno Kessler, Italy
19:58 3m Poster		CoVeriTest: Cooperative Verifier-Based Testing Posters Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
20:01 3m Poster		Decomposing Farkas Interpolants Posters Martin Blicha USI Lugano, Switzerland, Antti Hyvärinen , Jan Kofroň Charles University, Natasha Sharygina USI Lugano, Switzerland
20:05 3m Poster		ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions Posters Bo-Yuan Huang Princeton University, USA, Hongce Zhang , Aarti Gupta Princeton University, Sharad Malik Princeton University
20:08 3m Poster		JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) Posters Lucas Cordeiro University of Oxford, Daniel Kroening University of Oxford, Peter Schrammel University of Oxford, UK
20:12 3m Poster		CLTestCheck: Measuring Test Effectiveness for GPU Kernels Posters Chao Peng University of Edinburgh, UK, Ajitha Rajan University of Edinburgh
20:15 3m Poster		Business Process Privacy Analysis in Pleak Posters Aivo Toots , Reedik Tuuling , Maksym Yerokhin , Marlon Dumas , Luciano García-Bañuelos University of Tartu, Peeter Laud , Raimundas Matulevicius , Alisa Pankova , Martin Pettai , Pille Pullonen , Jake Tom
20:19 3m Poster		Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking Posters Ilina Stoilkovska Vienna University of Technology , Igor Konnov Inria Nancy, Josef Widder TU Wien, Florian Zuleger Vienna University of Technology
20:22 3m Poster		CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software Posters Pavel Andrianov , Pavel Andrianov , Pavel Andrianov
20:26 3m Poster		Constraint-based Monitoring of Hyperproperties Posters Bernd Finkbeiner , Christopher Hahn , Marvin Stenger , Leander Tentrup Saarland University