Login / Signup
Formal Methods and Conformance Testing --or-- What are we testing anyway?
Stefan Heymer
Jens Grabowski
Published in:
FBT (1998)
Keyphrases
</>
formal methods
database
database systems
test cases
software testing
machine learning
expert systems
knowledge based systems
development lifecycle