Test4Enforcers: Test Case Generation for Software Enforcers.
Michell GuzmánOliviero RiganelliDaniela MicucciLeonardo MarianiPublished in: CoRR (2020)
Keyphrases
- test case generation
- software testing
- test cases
- test data generation
- test suite
- object oriented systems
- software systems
- software maintenance
- software development
- static analysis
- quality assurance
- test generation
- java programs
- object oriented
- simulated annealing algorithm
- software engineering
- optimization algorithm
- computer systems
- multi agent systems
- simulated annealing