Sign in

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN.

Kiran LakhotiaPhil McMinnMark Harman
Published in: J. Syst. Softw. (2010)
Keyphrases
  • set of test cases
  • computer programs
  • database
  • real time
  • automatic programming
  • metadata
  • information technology
  • object oriented
  • database applications
  • programming environment
  • fixpoint
  • java programs
  • provably correct