Write a Blog >>
Fri 13 Nov 2020 08:35 - 08:36 at Virtual room 1 - Testing 4

Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all incorrect executions. Because designing perfect assertion oracles is difficult, assertions often fail to distinguish between correct and incorrect executions. In other words, they are prone to false positives and false negatives. In this paper, we propose GAssert (Genetic ASSERTion improvement), the first technique to automatically improve assertion oracles. Given an assertion oracle and evidence of false positives and false negatives, GAssert implements a novel co-evolutionary algorithm that explores the space of possible assertions to identify one with fewer false positives and false negatives. Our empirical evaluation on 34 Java methods from 7 different Java code bases shows that GAssert effectively improves assertion oracles. GAssert outperforms two baselines (random and invariant-based oracle improvement), and is comparable with and in some cases even outperformed human-improved assertions.

Fri 13 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

08:30 - 09:00
08:30
2m
Talk
A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards
Journal First
Juergen Grossmann Fraunhofer, Michael Felderer University of Innsbruck, Johannes Viehmann Fraunhofer FOKUS, Germany, Ina Schieferdecker Fraunhofer FOKUS & TU Berlin, Germany
08:33
1m
Talk
Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction
Research Papers
Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich
DOI Pre-print Media Attached
08:35
1m
Talk
Evolutionary Improvement of Assertion Oracles
Research Papers
Valerio Terragni USI Lugano, Switzerland, Gunel Jahangirova USI Lugano, Switzerland, Paolo Tonella USI Lugano, Switzerland, Mauro Pezze USI Lugano, Switzerland
DOI
08:37
1m
Talk
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
Journal First
Yunho Kim KAIST, SEOKHYEON MUN KAIST, Shin Yoo Korea Advanced Institute of Science and Technology, Moonzoo Kim KAIST and V+Lab
08:39
1m
Talk
When Does My Program Do This? Learning Circumstances of Software Behavior
Research Papers
Alexander Kampmann CISPA, Germany, Nikolas Havrikov CISPA, Germany, Ezekiel O. Soremekun CISPA, Germany, Andreas Zeller CISPA, Germany
DOI
08:41
19m
Talk
Conversations on Testing 4
Paper Presentations
Manuel Rigger ETH Zurich, Valerio Terragni USI Lugano, Switzerland, Gunel Jahangirova USI Lugano, Switzerland, Alexander Kampmann CISPA, Germany, M: Marcel Böhme Monash University, Australia