Login / Signup

Vacuity analysis for property qualification by mutation of checkers.

Luigi Di GuglielmoFranco FummiGraziano Pravadelli
Published in: DATE (2010)
Keyphrases