On the Coverage of Program Code by Specification-Based Tests.

Yuen-Tak Yu Eric Ying Kwong Chan Pak-Lok Poon

Published in: QSIC (2009)

Keyphrases

program code
test suite
programming language
high level
programming concepts
code coverage
general purpose
formal specification
databases
test cases
database
machine learning
software engineering
business intelligence