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

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 Moon KAIST, Shin Yoo Korea Advanced Institute of Science and Technology, Moonzoo Kim KAIST / VPlusLab Inc.
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