Automatic test case generation from UML communication diagrams. - Philip Samuel; Rajib Mall; Pratyush Kanth (Inf. Softw. Technol., 2007)