Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.

Edison Mera Pedro López-García Manuel V. Hermenegildo

Published in: ICLP (2009)

Keyphrases

software testing
software engineering
test cases
model based testing
artificial intelligence
information systems
decision trees
multi agent
query language
monitoring system
test generation
software reliability