Cooperative Test-Case Generation with Verifiers.

Dirk Beyer Marie-Christine Jakobs

Published in: SE (2020)

Keyphrases

test case generation
cooperative
test cases
software testing
object oriented systems
test data generation
test suite
static analysis
software engineering
multi agent
genetic algorithm
case study
multi agent systems
software systems
software maintenance