Annotating Control-Flow Graphs for Formalized Test Coverage Criteria.

Sean Kauffman Carlos Moreno Sebastian Fischmeister

Published in: CoRR (2024)

Keyphrases

control flow
software testing
code coverage
data flow
test suite
test cases
decision making
graph matching
set of test cases
software development
information technology
machine learning
semantic annotation
black box
workflow management systems
knowledge base
business process models
data sets
database