Skip to content

Test Case Generation from Mutants Using Model Checking Techniques.

Heinz Riener, Roderick Bloem, Grschwin Fey

VenueAICST
Year2011
ProceedingsICST Workshops

Browse the full ICST paper archive.