- 9th Competition on Software Verification (SV-COMP 2020)
- 2020 2nd Competition on Software Testing (Test-Comp 2020) at FASE 2020
- 2019 1st Competition on Software Testing (Test-Comp 2019) at TACAS/TOOLympics 2019. Veja também o artigo que explica a competição.
- 2019 IEEE International Contest on Software Testing
- 2019 The IEEE International Software Testing Contest at the 10th Brazilian Conference on Software: Theory and Practice (CBSOFT)
- 2019 The Third IEEE International Contest on Software Testing
- 2018 The Second IEEE International Contest on Software Testing
- 2017 IEEE International Software Testing Contest
- 2019 Software Testing Competition at the IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)
Lesandro Ponciano (lesandrop at pucminas.br) - PUC Minas