Statement-Coverage Testing for Nondeterministic Concurrent Programs.

Gwan-Hwan Hwang Heng-Yi Lin Shao-Yan Lin Che-Sheng Lin

Published in: TASE (2012)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
concurrent systems
concurrent processes
asynchronous circuits
case study
formal methods
database
databases
expert systems
software engineering
response time
model checking
formal specification