Other Projects
Other Projects
Java Tools
Lava
A mutation testing system for Java.
Jabstract
A full AST and parser for Java`that I wrote. But
javafront
is better (if you don't mind learning
stratego
)!
TETRA
(EPSRC GR/R98938/01).
Guided Slicing and Targeted Transformation
(EPSRC GR/M58719)
Other Projects