Sciweavers

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

3

CACM
2010

favoriteEmaildiscussreport

79views more CACM 2010»

Barriers to systematic model transformation testing

13 years 4 months ago

Barriers to systematic model transformation testing

Download www.irisa.fr

Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robe

Real-time Traffic

CACM 2010 |

claim paper

Related Content

» Specification based testing of automotive human machine interfaces

» Automated testing of healthcare document transformations in the PICASSO interoperability p...

» Functional constraints vs test compression in scanbased delay testing

» Automated Test Case Generation from Dynamic Models

» Automated Test Generation from Models Based on Functional Software Specifications

» Fences in Weak Memory Models

» Testing Concurrent Java Programs using Randomized Scheduling

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

» Identifying Modeling Errors in Signatures by Model Checking

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CACM
Authors	Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu

Comments (0)