✦ LIBER ✦

UML interaction model-driven runtime verification of Java programs

✍ Scribed by Li, X.; Qiu, X.; Wang, L.; Chen, X.; Zhou, Z.; Yu, L.; Zhao, J.

Book ID: 114445012
Publisher: The Institution of Engineering and Technology
Year: 2011
Tongue: English
Weight: 400 KB
Volume: 5
Category: Article
ISSN: 1751-8806
DOI: 10.1049/iet-sen.2009.0009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

JCML: A specification language for the r

JCML: A specification language for the runtime verification of Java Card programs

✍ Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 753 KB

Verification of Java Programs with Inter

Verification of Java Programs with Interacting Analysis Plugins

✍ Nathaniel Charlton 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 331 KB

[ACM Press the 6th International Worksho

[ACM Press the 6th International Workshop - Denver, Colorado (2009.10.05-2009.10.05)] Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09 - Automated model-based testing using the UML testing profile and QVT

✍ Lamancha, Beatriz Pérez; Mateo, Pedro Reales; de Guzmán, Ignacio Rodríguez; Usao 📂 Article 📅 2009 🏛 ACM Press ⚖ 233 KB

[ACM Press the 6th International Worksho

✍ Lamancha, Beatriz Pérez; Mateo, Pedro Reales; de Guzmán, Ignacio Rodríguez; Usao 📂 Article 📅 2009 🏛 ACM Press ⚖ 233 KB

This paper describes an approach for model-based testing which is completely based on standards, what constitutes an essential factor for its implantation in industrial software tools. The inputs of the process are models described in UML 2.0, whereas the outputs consist of artefacts of the UML Test