Login / Signup

An empirical evaluation (and specification) of the all-du-paths testing criterion.

James M. BiemanJanet L. Schultz
Published in: Softw. Eng. J. (1992)
Keyphrases
  • formal verification
  • test case generation
  • high level
  • training data
  • software testing
  • empirical evaluation
  • formal methods
  • machine learning
  • feature selection
  • shortest path
  • petri net
  • optimal path
  • code generation