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

A program fails.
Under which circumstances does the failure occur?
Our \textsc{Alhazen}\xspace approach starts with a run that exhibits a particular behavior and automatically determines input features associated with the behavior in question:
(1) We use a \emph{grammar} to parse the input into individual elements.
(2) We use a decision tree learner to \emph{observe} and \emph{learn} which input elements are associated with the behavior in question.
(3) We use the grammar to \emph{generate additional inputs} to further strengthen or refute hypotheses as learned associations.
(4) By repeating steps 2~and~3, we obtain
a \emph{theory} that explains and predicts the given behavior.
In our evaluation using inputs for \texttt{find}, \texttt{grep}, \texttt{NetHack}, and a JavaScript transpiler, the theories produced by \textsc{Alhazen} \emph{predict} and \emph{produce} failures with high accuracy and allow developers to \emph{focus} on a small set of input features:
``\texttt{grep} fails whenever the \texttt{–fixed-strings} option is used in conjunction with an empty search string.''

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