Marcadores
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
Ver mais
Apresentações
(6)Marcadores
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
Ver mais