Towards a Theory for Testing Non-terminating Programs.

Arnaud Gotlieb Matthieu Petit

Published in: COMPSAC (1) (2009)

Keyphrases

theoretical basis
test cases
symbolic execution
computer vision
conceptual framework
general theory
artificial intelligence
information systems
database systems
object oriented
information theory
belief functions
set of test cases