Français
Related Documents
Up one levelThis section contains publications related to Pramana
-
ICMT 2009
- This paper shows how the models generated using Cartier were used for testing. The paper also compares different strategies used to generate test models.
-
ICST 2008
- This is one of the initial papers published to describe Cartier's Architecture, its test model generation capabilities and its goals.
-
MDD4DRES Poster
- This poster is the global overview of Cartier's Architecture for the MDD4DRES Tool demonstration session to be be held in Aussois, France between April 19-24, 2009.