Skip to main content

Test−data Generation for Control Coverage by Proof

A. Cavalcanti‚ S. King‚ C. O'Halloran and J. Woodcock

ISSN
0934−5043
Journal
Formal Aspects of Computing
Pages
1−29
Year
2013