Automated Property-Based Testing from AADL Component Contracts.

John Hatcliff Jason Belt Robby Jacob Legg Danielle Stewart Todd Carpenter

Published in: FMICS (2023)

Keyphrases

test cases
test case generation
semi automated
supply chain
software testing
search based testing
decision making
test data
object oriented systems
object model
real world
fully automated
database
desirable properties
test set
source code
automated analysis
artificial intelligence
data mining