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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

08:30 - 08:32
Talk
A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards
Journal First
Juergen GrossmannFraunhofer, Michael FeldererUniversity of Innsbruck, Johannes ViehmannFraunhofer FOKUS, Germany, Ina SchieferdeckerFraunhofer FOKUS & TU Berlin, Germany
08:33 - 08:34
Talk
Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction
Research Papers
Manuel RiggerETH Zurich, Zhendong SuETH Zurich
DOI Pre-print Media Attached
08:35 - 08:36
Talk
Evolutionary Improvement of Assertion Oracles
Research Papers
Valerio TerragniUSI Lugano, Switzerland, Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland, Mauro PezzeUSI Lugano, Switzerland
DOI
08:37 - 08:38
Talk
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
Journal First
Yunho KimKAIST, SEOKHYEON MUNKAIST, Shin YooKorea Advanced Institute of Science and Technology, Moonzoo KimKAIST and V+Lab
08:39 - 08:40
Talk
When Does My Program Do This? Learning Circumstances of Software Behavior
Research Papers
Alexander KampmannCISPA, Germany, Nikolas HavrikovCISPA, Germany, Ezekiel O. SoremekunCISPA, Germany, Andreas ZellerCISPA, Germany
DOI
08:41 - 09:00
Talk
Conversations on Testing 4
Paper Presentations
Manuel RiggerETH Zurich, Valerio TerragniUSI Lugano, Switzerland, Gunel JahangirovaUSI Lugano, Switzerland, Alexander KampmannCISPA, Germany, M: Marcel BöhmeMonash University, Australia