1. Rigorous examination of reactive systems

   • Falk Howar
   • Malte Isberner
   • Corina S. Păsăreanu

   Introduction 03 August 2014 Pages: 457 - 464

   

2. Property-driven benchmark generation: synthesizing programs of realistic structure

   • Bernhard Steffen
   • Malte Isberner
   • Maren Geske

   RERS 09 August 2014 Pages: 465 - 479

   

3. Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges

   • Jaco van de Pol
   • Theo C. Ruys
   • Steven te Brinke

   RERS 06 August 2014 Pages: 481 - 491

   

4. 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 05 August 2014 Pages: 493 - 505

   

5. BDD-based software verification

   • Dirk Beyer
   • Andreas Stahlbauer

   RERS 19 August 2014 Pages: 507 - 518

   

6. Applying symbolic bounded model checking to the 2012 RERS greybox challenge

   • Jeremy Morse
   • Lucas Cordeiro
   • Bernd Fischer

   Rers 01 August 2014 Pages: 519 - 529

   

7. Analyzing program behavior through active automata learning

   • Oliver Bauer
   • Maren Geske
   • Malte Isberner

   Rers 31 July 2014 Pages: 531 - 542

   

8. Tailored generation of concurrent benchmarks

   • Bernhard Steffen
   • Falk Howar
   • Tiziana Margaria

   RERS 26 August 2014 Pages: 543 - 558

   

9. A taxonomy of risk-based testing

   • Michael Felderer
   • Ina Schieferdecker

   Introduction 23 July 2014 Pages: 559 - 568

   

10. Risk-based testing via active continuous quality control

    • Johannes Neubauer
    • Stephan Windmüller
    • Bernhard Steffen

    RBT 30 May 2014 Pages: 569 - 591

    

11. Dynamic test planning: a study in an industrial context

    • Gabriella Carrozza
    • Roberto Pietrantuono
    • Stefano Russo

    RBT 20 May 2014 Pages: 593 - 607

    

12. A multiple case study on risk-based testing in industry

    • Michael Felderer
    • Rudolf Ramler

    RBT 24 June 2014 Pages: 609 - 625

    

13. Approaches for the combined use of risk analysis and testing: a systematic literature review

    • Gencer Erdogan
    • Yan Li
    • Ketil Stølen

    RBT 03 August 2014 Pages: 627 - 642