Multi-thread Combinatorial Test Generation with SMT solvers.
Andrea BombardaAngelo GargantiniAndrea CalvagnaPublished in: SAC (2023)
Keyphrases
- test generation
- modulo theories
- test cases
- symbolic execution
- test sequences
- design automation
- static analysis
- quality assurance
- combinatorial search
- answer set programming
- satisfiability modulo theories
- mutation testing
- software testing
- test data generation
- statistical machine translation
- code coverage
- sat solvers
- database
- case study
- multi agent
- information systems
- artificial intelligence