| http://www.w3.org/ns/prov#value | - Margus Veanes, Colin Campbell, Wolfram Schulte, and Nikolai Tillmann, Online testing with model programs, in ESEC/SIGSOFT FSE, ACM, 2005.Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm.
|