A formal approach to testing programs in practice.

Shaoying Liu Wuwei Shen Shin Nakajima

Published in: Comput. Sci. Inf. Syst. (2012)

Keyphrases

test cases
symbolic execution
formal model
concurrent programs
set of test cases
real time
software testing
tool support
real world
data structure
formal specification
control flow
control program