ICST 2021
Mon 12 - Fri 16 April 2021
Wed 14 Apr 2021 12:40 - 12:50 at Porto de Galinhas - Award Session

A known problem of traditional coverage metrics is that they do not assess oracle quality - that is, whether the computation result is actually checked against expectations. In this paper, we introduce the concept of checked coverage - the dynamic slice of covered statements that actually influence an oracle. Our experiments on seven open-source projects show that checked coverage is a sure indicator for oracle quality - and even more sensitive than mutation testing, its much more demanding alternative.

Wed 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

12:30 - 13:00
12:30
10m
Awards
Award Session
Research Papers

12:40
10m
Awards
Assessing Oracle Quality with Checked CoverageMost Influential Paper Award
Research Papers
David Schuler , Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
12:50
10m
Awards
Experiences of System-Level Model-Based GUI Testing of an Android ApplicationMost Influential Paper Award
Research Papers
Tommi Takala , Mika Katara , Julian Harty Commercetest Limited
Link to publication DOI