Login / Signup
Applying formal methods to PCEP: an industrial case study from modeling to test generation.
Iksoon Hwang
Ana R. Cavalli
Mounir Lallali
Dominique Verchère
Published in:
Softw. Test. Verification Reliab. (2012)
Keyphrases
</>
formal methods
test generation
modeling language
formal analysis
test cases
model checking
symbolic execution
knowledge based systems
process algebra
artificial intelligence
reactive systems
static analysis
formal specification
image processing
test sequences
databases
development lifecycle