Efficient test case generation for validation of UML activity diagrams

ISSN： 0929-5585

Source： Design Automation for Embedded Systems, Vol.14, Iss.2, 2010-06, pp. : 105-130

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Validation and automatic test generation on UML models: the AGATHA approach

By Lugato David Bigot Céline Valot Yannick Gallois Jean-Pierre Gérard Sébastien Terrier François

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 124-139

Springer Publishing Company

Access to resources Recommend Favorite

Exploiting practical limitations of UML diagrams for model validation and execution

By Steimann Friedrich Vollmer Heribert

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 1, 2006-04 ,pp. : 26-47

Springer Publishing Company

Access to resources Recommend Favorite

Composition inference for UML class diagrams

By Milanova Ana

Automated Software Engineering, Vol. 14, Iss. 2, 2007-06 ,pp. : 179-213

Springer Publishing Company

Access to resources Recommend Favorite

Efficient Case-Based Structure Generation for Design Support

By Börner K.

Artificial Intelligence Review, Vol. 16, Iss. 2, 2001-10 ,pp. : 87-118

Springer Publishing Company

Access to resources Recommend Favorite

Automated Test Case Generation for BDI Agents

By Low C.K.

Autonomous Agents and Multi-Agent Systems, Vol. 2, Iss. 4, 1999-11 ,pp. : 311-332

Springer Publishing Company

Access to resources Recommend Favorite