Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Test−data Generation for Control Coverage by Proof

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

Links

See Also

Back to Top