Qualifying input test data for model transformations
Open Access
- 28 November 2007
- journal article
- Published by Springer Science and Business Media LLC in Software and Systems Modeling
- Vol. 8 (2), 185-203
- https://doi.org/10.1007/s10270-007-0074-8
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Model-driven Development of Complex Software: A Research RoadmapPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Definition and validation of model transformationsSoftware and Systems Modeling, 2006
- Model-Based Test Driven Development of the Tefkat Model-Transformation EnginePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Weaving Executability into Object-Oriented Meta-languagesLecture Notes in Computer Science, 2005
- Test adequacy criteria for UML design modelsSoftware Testing, Verification and Reliability, 2003
- Model transformation: a declarative, reusable patterns approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- AToM3: A Tool for Multi-formalism and Meta-modellingLecture Notes in Computer Science, 2002
- Automatically detecting equivalent mutants and infeasible pathsSoftware Testing, Verification and Reliability, 1997
- The category-partition method for specifying and generating fuctional testsCommunications of the ACM, 1988
- Validation, Verification, and Testing of Computer SoftwareACM Computing Surveys, 1982