Login / Signup
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques.
Arjan P. van der Meer
Rachid Kherrazi
Marc Hamilton
Published in:
MBT (2014)
Keyphrases
</>
formal specification
artificial intelligence
query language
model checking
software testing
databases
neural network
real world
case study
open source
temporal logic
reverse engineering
model based testing
formal specification language