Mots-clés
alloy
static analysis
partial instance
generator axioms
abz14
valgrind
software testing
uwaterloo
c
programming
mcb1700
mte241
semantic mutation
discrimnating example
formal methods
debugging
pattern-based debugging
Tout plus
Présentations
(6)Mots-clés
alloy
static analysis
partial instance
generator axioms
abz14
valgrind
software testing
uwaterloo
c
programming
mcb1700
mte241
semantic mutation
discrimnating example
formal methods
debugging
pattern-based debugging
Tout plus