TY - BOOK AU - Renuka M D TI - Software Verification using Mutation Operator U1 - 4668 PY - 2008/// CY - Kochi 22 PB - Deaprtment of Computer science,CUSAT ER -