Skip to content.
The AMMA home page
Search
Personal tools
Log in
Home
Industry Initiative
Activities
Contributors
Resources
Publications and Presentations
External references
ATL Tools & Download
The AMMA Platform
Available PostDoc Positions
Job offering
Local Information
Events
ModelWare
AMMA
Bibliography
Views
View
Download
State:
visible
Maher Lamari
(
2007
)
Towards an Automated Test Generation for the Verification of Model Transformations
In: ACM SAC 2007- Model Transformation Track. ACM Press, pages 998--1005.
Last modified
2007-03-22 04:08 PM
Plone
powered,
XHTML valid
and
CSS valid
