M. Utting, A. Pretschner, and B. Legeard, “A taxonomy of model-based testin...
M. Utting, A. Pretschner, and B. Legeard, “A taxonomy of model-based testing,” Technical Report 04/2006, Department of Computer Science, The University of Waikato (New Zealand), […]
No views yet
Belinfante, L. Frantzen, and C. Schallhart, “Tools for Test Case Generation...
Belinfante, L. Frantzen, and C. Schallhart, “Tools for Test Case Generation,” Model-based Testing of Reactive Systems, Springer LNCS 3472, Springer-Verlag, pp. 391–438, 2005. **Belinfante, L. […]
No views yet
R. Hower, “Web site test tools and site management tools,” Software QA and ...
R. Hower, “Web site test tools and site management tools,” Software QA and Testing Resource Center, 2002. None
No views yet
G. Booch, J. Rumbaugh, and I. Jacobson, “The unified modeling language user...
G. Booch, J. Rumbaugh, and I. Jacobson, “The unified modeling language user guide,” China Machine Press, Beijing, 2006. None
1 total views, 1 today
E. Mikk, Y. Lakhnech, and M. Siegel, “Hierarchical automata as model for st...
E. Mikk, Y. Lakhnech, and M. Siegel, “Hierarchical automata as model for statecharts,” Proceedings of the 3rd Asian Computing Science Conference on Advances in Computing […]
1 total views, 1 today
M. Z. Lai and J. Y. You, “Formalize the time-extended UML state chart with ...
M. Z. Lai and J. Y. You, “Formalize the time-extended UML state chart with timed automata,” Computer Applications, pp. 4–6, August 2003. Okay, the user […]
1 total views, 1 today
I. Traore, “An outline of PVS semantics for UML statecharts,” Journal of Un...
I. Traore, “An outline of PVS semantics for UML statecharts,” Journal of Universal Computer Science, 2000. **”I. Traore, “An outline of PVS semantics for UML […]
No views yet
D. Latella, I. Majzik, and M. Massink, “Automatic verification of a behavio...
D. Latella, I. Majzik, and M. Massink, “Automatic verification of a behavioral subset of UML Statechart diagrams using the SPIN model-checker,” Formal Aspects of Computing, […]
1 total views, 1 today
R. M. Borges and A. C. Mota, “Integrating UML and formal methods,” Electron...
R. M. Borges and A. C. Mota, “Integrating UML and formal methods,” Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, pp. 97–112, July 2007. […]
1 total views, 1 today
The precise group, http://www.cs.york.ac.uk/puml/.
The precise group, http://www.cs.york.ac.uk/puml/. “The Precise Group, http://www.cs.york.ac.uk/puml/” The world of software engineering and technology is constantly evolving, and at the forefront of this evolution […]
1 total views, 1 today
Recent Comments