model checking of distributed multithreaded java applications ...
In this dissertation we introduce the notion of subtle HOMs and developed a set of ... Java and AspectJ programs. ... 3.1 Mutation Testing for Java Programs.
Part of the document
In this dissertation we introduce the notion of subtle HOMs and developed a set of ... Java and AspectJ programs. ... 3.1 Mutation Testing for Java Programs.
