Related DocumentsUp one level
This 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.