James Power - Papers Published in 2009

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

White-Box Coverage Criteria for Model Transformations

Jacqueline A. McQuillan and James F. Power,
1st International Workshop on Model Transformation with ATL,
Nantes, France , July 8-9, 2009, pp. 63-77.

Model transformations are core to MDE, and one of the key aspects for all model transformations is that they are validated. In this paper we develop an approach to testing model transformations based on white-box coverage measures of the transformations. To demonstrate the use of this approach we apply it to some examples from the ATL metamodel zoo.

Foreword to the special issue on principles and practices of programming in Java

Markus Aleksy, Vasco Amaral, Ralf Gitzel, James F. Power and John Waldron,
Science of Computer Programming,
Vol. 74, No. 5-6, March, 2009, pp. 259-260.
ISSN: 0167-6423.
(c) Copyright 2009, Elsevier B.V..

Contact: James Power
Last revised: Thursday Jul 15, 2010