共 6 条
- [2] Second Competition on Software Testing: Test-Comp 2020 FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 505 - 519
- [3] TOOLympics II: competitions on formal methodsA Special Issue for TOOLympics 2019 International Journal on Software Tools for Technology Transfer, 2021, 23 : 879 - 881
- [4] Advances in Automatic Software Testing: Test-Comp 2022 FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 321 - 335
- [5] Status Report on Software Testing: Test-Comp 2021 FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 341 - 357
- [6] Software Testing: 5th Comparative Evaluation: Test-Comp 2023 FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 309 - 323