[1]
Binder R v.Testing Object-Oriented System:Models. Patterns, and Tools.Addison-Wesley, (2000).
Google Scholar
[2]
Briand L.C., Labiche Y., Shousha M. Automating Stress Testing for Real-Time Systems Using Genetic Algorithms. Proc. Genetic and Evolutionary Computation Conference (GECCO), Washington D.C., USA, (2005).
DOI: 10.1145/1068009.1068183
Google Scholar
[3]
A. Andrews, R. France, S. Ghosh, G. Craig. Test Adequacy Criteria for UML Design Models. Journal of Software Testing, Verification, and Reliability, 13(2), 2003, 95-127.
DOI: 10.1002/stvr.270
Google Scholar
[4]
CHARMY Project. Charmy Web Site. http: /www. di. univaq. it/charmy, (2004).
Google Scholar
[5]
Antoniol G., Briand L. C., Di Penta M., Labiche Y. A Case Study Using the Round-Trip Strategy for State-Based Class Testing. Proc. IEEE ISSRE2002, (2002).
DOI: 10.1109/issre.2002.1173268
Google Scholar
[6]
Aniruddha Gokhale, Balachandran Natarajan. Composing and Deploying Grid Middleware Web Services Using Model Driven Architecture. Proc. CoopIS/DOA/ODBASE 2002, 2002, 633-649.
DOI: 10.1007/3-540-36124-3_43
Google Scholar
[7]
Marlon E. Vieira, Marcio S. Dias , Debra J. Richardson, OO specification-based testing using statechart diagram. ICSE2000 -Workshop on Automated Program Analysis, Testing, and Verification, Limerick, Ireland, (2000).
Google Scholar