@article{article77cba1a0,
title   = {Generating asynchronous test cases from test purposes},
author = {Simão, Adenilso da Silva and Petrenko, Alexandre},
year = {2011},
doi = {10.1016/j.infsof.2011.06.006},
journal   = {Information and Software Technology}
}