Skip to content
  Projet Triskell  

Related Documents

Up one level
This section contains publications related to Pramana
Related Documents 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.
Related Documents ICST 2008
This is one of the initial papers published to describe Cartier's Architecture, its test model generation capabilities and its goals.
Related Documents 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.