SSERL
Home
Members
Seminar
Publications
Software
Funding
Carlos Jensen
Latest
How verified (or tested) is my code? Falsification-driven verification and testing
Applying Mutation Analysis on Kernel Test Suites: An Experience Report
Does choice of mutation tool matter?
Mutation Reduction Strategies Considered Harmful
The Theory of Composite Faults
Can testedness be effectively measured?
Measuring Effectiveness of Mutant Sets
On the limits of mutation reduction strategies
Topsy-Turvy: a smarter and faster parallelization of mutation analysis
Cite
×