ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thu 11 Apr 2019 16:30 - 17:00 at JUPITER - Software Testing Chair(s): Silvia Lizeth Tapia Tarifa

Testing is a widely-used method to assess software quality. Coverage criteria and coverage measurements are used to ensure that the constructed test-suites adequately test the given software. Since manually developing such test-suites is too expensive in practice, various automatic test-generation approaches were proposed - all of them having different strengths and weaknesses. In the past, specific approaches were combined to compensate weaknesses. While verification techniques, like symbolic execution, are used to generate tests, they are rarely combined for addressing the same problem. We present CoVeriTest, a hybrid system for test-case generation, which iteratively combines verifiers that apply reachability analyses. Thereby, it allows to adjust the level of cooperation and to assign individual time budgets per verifier. In our experiments, we combine explicit-state model checking and predicate abstraction to systematically study different CoVeriTest configurations. Moreover, CoVeriTest achieves higher coverage than state-of-the-art test-generation tools for some programs.

Conference Day
Thu 11 Apr

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

16:30 - 18:00
Software TestingFASE at JUPITER
Chair(s): Silvia Lizeth Tapia TarifaUniversity of Oslo
16:30
30m
Talk
CoVeriTest: Cooperative, Verifier-Based Testing
FASE
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
Link to publication
17:00
30m
Talk
Pardis: Priority Aware Test Case Reduction
FASE
Golnaz Gharachorlu, Nick SumnerSimon Fraser University
Link to publication
17:30
30m
Talk
Automatically Identifying Sufficient Object Builders from Module APIs
FASE
Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
Link to publication