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

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

Publisher： Springer Publishing Company

ISSN： 1433-2779

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

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

Related content

Efficient test case generation for validation of UML activity diagrams

By Chen Mingsong  

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

Springer Publishing Company

Access to resources Recommend Favorite

An evolutionary approach to the automatic generation of mathematical models

By Swain A.K.   Morris A.S.  

Applied Soft Computing Journal, Vol. 3, Iss. 1, 2003-07 ,pp. : 1-21

Elsevier

Access to resources Recommend Favorite

Stochastic Models for Automatic Diacritics Generation of Arabic Names

By Al-anzi Fawaz  

Language Resources and Evaluation, Vol. 38, Iss. 4, 2004-11 ,pp. : 469-481

Springer Publishing Company

Access to resources Recommend Favorite

Differencing logical UML models

By Xing Zhenchang  

Automated Software Engineering, Vol. 14, Iss. 2, 2007-06 ,pp. : 215-259

Springer Publishing Company

Access to resources Recommend Favorite

Using program data-state scarcity to guide automatic test data generation

By Alshraideh Mohammad   Bottaci Leonardo   Mahafzah Basel  

Software Quality Journal, Vol. 18, Iss. 1, 2010-03 ,pp. : 109-144

Springer Publishing Company

Access to resources Recommend Favorite