Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

ICMT
2010
Springer

favoriteEmaildiscussreport

140views Theoretical Computer Science» more ICMT 2010»

A Constructive Approach to Testing Model Transformations

13 years 2 months ago

A Constructive Approach to Testing Model Transformations

Download homepages.inf.ed.ac.uk

Camillo Fiorentini, Alberto Momigliano, Mario Orna

Real-time Traffic

ICMT 2010 | Theoretical Computer Science |

claim paper

Related Content

» AspectT aspectoriented test case instantiation

» A UML Approach to the Generation of Test Sequences for JavaBased Concurrent Systems

» Evolutionary testing in the presence of loopassigned flags a testability transformation ap...

» On Combining Multiformalism Knowledge to Select Models for Model Transformation Testing

» A ToolSupported Approach to Testing UML Design Models

» A General Approach to the Generation of Conceptual Model Transformations

» A Uniform Approach to Intermodel Transformations

» Correctness by Construction for HighIntegrity RealTime Systems A MetamodelDriven Approach

» A Collection Operator for Graph Transformation

Post Info
More Details (n/a)

Added	12 Feb 2011
Updated	12 Feb 2011
Type	Journal
Year	2010
Where	ICMT
Authors	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo

Comments (0)