Ausgabe 5/2014
RERS (pp 457-558) and RBT (pp 559-642)
Inhalt (13 Artikel)
Introduction
Rigorous examination of reactive systems
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Păsăreanu
RERS
Property-driven benchmark generation: synthesizing programs of realistic structure
Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
RERS
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges
Jaco van de Pol, Theo C. Ruys, Steven te Brinke
RERS
Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges
Markus Schordan, Adrian Prantl
Rers
Applying symbolic bounded model checking to the 2012 RERS greybox challenge
Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer
Rers
Analyzing program behavior through active automata learning
Oliver Bauer, Maren Geske, Malte Isberner
RERS
Tailored generation of concurrent benchmarks
Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
RBT
Risk-based testing via active continuous quality control
Johannes Neubauer, Stephan Windmüller, Bernhard Steffen
RBT
Dynamic test planning: a study in an industrial context
Gabriella Carrozza, Roberto Pietrantuono, Stefano Russo
RBT
Approaches for the combined use of risk analysis and testing: a systematic literature review
Gencer Erdogan, Yan Li, Ragnhild Kobro Runde, Fredrik Seehusen, Ketil Stølen