1. TOOLympics I: Competition on software testing

   • Dirk Beyer
   • Marieke Huisman

   Introduction Open access 06 May 2021 Pages: 829 - 832

2. First international competition on software testing

   • Dirk Beyer

   Competitions and Challenges Open access 22 June 2021 Pages: 833 - 846

   

3. CoVeriTest: interleaving value and predicate analysis for test-case generation

   • Marie-Christine Jakobs

   Competitions and Challenges Open access 06 July 2020 Pages: 847 - 851

   

4. CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation

   • Sebastian Ruland
   • Malte Lochau
   • Andy Schürr

   Competitions and Challenges Open access 03 June 2020 Pages: 853 - 856

   

5. ESBMC 6.1: automated test case generation using bounded model checking

   • Mikhail R. Gadelha
   • Rafael S. Menezes
   • Lucas C. Cordeiro

   Competitions and Challenges 18 May 2020 Pages: 857 - 861

   

6. FairFuzz-TC: a fuzzer targeting rare branches

   • Caroline Lemieux
   • Koushik Sen

   Competitions and Challenges 06 July 2020 Pages: 863 - 866

   

7. KLEE symbolic execution engine in 2019

   • Cristian Cadar
   • Martin Nowack

   Competitions and Challenges Open access 02 June 2020 Pages: 867 - 870

8. Plain random test generation with PRTest

   • Thomas Lemberger

   Competitions and Challenges Open access 06 July 2020 Pages: 871 - 873

   

9. Symbiotic  6: generating test cases by slicing and symbolic execution

   • Marek Chalupa
   • Martina Vitovská
   • Jan Strejček

   Competitions and Challenges 18 May 2020 Pages: 875 - 877

   

10. TOOLympics II: competitions on formal methods

    • Dirk Beyer
    • Marieke Huisman
    • Bernhard Steffen

    Competitions and Challenges Open access 18 June 2021 Pages: 879 - 881

11. VerifyThis 2019: a program verification competition

    • Claire Dross
    • Carlo A Furia
    • Peter Müller

    Competitions and Challenges Open access 19 May 2021 Pages: 883 - 893

    

12. SL-COMP: competition of solvers for separation logic

    • Mihaela Sighireanu

    Competitions and Challenges 31 May 2021 Pages: 895 - 903

    

13. CoCo 2019: report on the eighth confluence competition

    • Aart Middeldorp
    • Julian Nagele
    • Kiraku Shintani

    Competitions and Challenges Open access 28 May 2021 Pages: 905 - 916

    

14. The RERS challenge: towards controllable and scalable benchmark synthesis

    • Falk Howar
    • Marc Jasper
    • Bernhard Steffen

    Competitions and Challenges Open access 24 June 2021 Pages: 917 - 930

    

15. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

    • Fabrice Kordon
    • Lom Messan Hillah
    • Emmanuel Paviot-Adet

    Competitions and Challenges 01 June 2021 Pages: 931 - 952