A Formal Model of the Software Test Process.

João W. Cangussu Raymond A. DeCarlo Aditya P. Mathur

Published in: IEEE Trans. Software Eng. (2002)

Keyphrases

formal model
information systems
test cases
test data
development process
requirements engineering
data sets
artificial intelligence
source code
process model
software testing
formal models
security patterns