C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Cross-coverage testing of functionally equivalent programs.
Antonia Bertolino
Guglielmo De Angelis
Felicita Di Giandomenico
Francesca Lonetti
Published in:
CoRR (2023)
Keyphrases
</>
set of test cases
test cases
test suite
symbolic execution
white box testing
code coverage
concurrent programs
software testing
black box
testing process
static analysis
test generation
fixpoint
genetic algorithm
computer programs
answer sets
decision making