%0 Journal Article %1 Mi.2011 %A Mi, Lei %A Ben, Kerong %D 2011 %J Procedia Engineering %K mutation_operators uml %P 110–114 %T A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking %V 15

@article{Mi.2011, added-at = {2013-10-18T15:41:37.000+0200}, author = {Mi, Lei and Ben, Kerong}, biburl = {https://www.bibsonomy.org/bibtex/230696b26fb39626eb796a5aef63f262f/hlackner}, interhash = {ddc6367137aa64fd737aa6fcbbe05132}, intrahash = {30696b26fb39626eb796a5aef63f262f}, journal = {Procedia Engineering}, keywords = {mutation_operators uml}, pages = {110–114}, timestamp = {2013-10-18T15:41:37.000+0200}, title = {A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking}, volume = 15, year = 2011 }