Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing.

Huu Nghia Nguyen Pascal Poizat Fatiha Zaïdi

Published in: HASE (2012)

Keyphrases

online learning
formal verification
symbolic execution
model checking
digital libraries
test cases
test generation
databases
computer vision
email
software engineering