External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 23, Issue 5

    351 -- 0Ana R. Cavalli, Sudipto Ghosh. ICST 2010 Special Issue
    353 -- 374David Schuler, Andreas Zeller. Covering and Uncovering Equivalent Mutants
    375 -- 403Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov. Efficient mutation testing of multithreaded code
    405 -- 435Márk Asztalos, László Lengyel, Tihamer Levendovszky. Formal specification and analysis of functional properties of graph rewriting-based model transformation
    runs on