000 00380nam a22001457a 4500
005 20220518154746.0
008 171219b xxu||||| |||| 00| 0 eng d
041 _aeng
082 _a4668
100 _aRenuka M D
_92933
245 _aSoftware Verification using Mutation Operator
260 _aKochi 22
_bDeaprtment of Computer science,CUSAT
_c2008
300 _a51p.
942 _cBK
999 _c241711
_d241711