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, […]
No views yet
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
C. J. Mallery, “On the feasibility of using FSM approaches to test large we...
C. J. Mallery, “On the feasibility of using FSM approaches to test large web applications,” May 2005. **”On the feasibility of using FSM approaches to […]
1 total views, 1 today
J. Offutt, S. Y. Liu, A. Abdurazik, and P. Ammann, “Generating test data fr...
J. Offutt, S. Y. Liu, A. Abdurazik, and P. Ammann, “Generating test data from state-based specifications,” The Journal of Software Testing, Verification, and Reliability, pp. […]
1 total views, 1 today
W. E. McUmber and B. H. C. Cheng, “A general framework for formalizing UML ...
W. E. McUmber and B. H. C. Cheng, “A general framework for formalizing UML with formal languages,” Proceeding of the 23rd international conference on Software […]
1 total views, 1 today
H. Robinson, “Graph theory techniques in model-based testing,” Internationa...
H. Robinson, “Graph theory techniques in model-based testing,” International Conference on Testing Computer Software, 1999. Okay, I need to create a blog post based on […]
1 total views, 1 today
S. R. Dalal, A. Jain, N. Karunanithi, and B. M. Horowitz, “Model-based test...
S. R. Dalal, A. Jain, N. Karunanithi, and B. M. Horowitz, “Model-based testing in practice,” Proceedings of the 21st International Conference on Software Engineering, Los […]
1 total views, 1 today
P. J. Criscuolo, “Distribution denial of service — trin00, tribe flood netw...
P. J. Criscuolo, “Distribution denial of service — trin00, tribe flood network, tribe flood network 2000, and stacheldraht,” CIAC–2319, Department of Energy — CIAC (Computer […]
1 total views, 1 today
Recent Comments