Login / Signup
Cooperative Approaches Across Test Generation and Formal Software Verification.
T. Lemberger
Published in:
Softwaretechnik-Trends (2024)
Keyphrases
</>
test generation
cooperative
test cases
artificial intelligence
formal specification
databases
decision trees
multi agent
software testing