Aritra Bandyopadhyay Sudipto Ghosh Using UML Sequence Diagrams and State Machines for Test Input Generation. 309-310 2008 ISSRE http://dx.doi.org/10.1109/ISSRE.2008.16 conf/issre/2008 db/conf/issre/issre2008.html#BandyopadhyayG08