@article{CSIS_2012_9_4_a6,
     author = {Shaoying Liu and Wuwei Shen and Shin Nakajima},
     title = {A {Formal} {Approach} to {Testing} {Programs} in {Practice}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {9},
     number = {4},
     year = {2012},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2012_9_4_a6/}
}