Franšais
 
 
     

    Key words: conformance testing, abstract test cases, test execution, graph algorithms, on-the-fly generation, test purpose, symbolic test generation,  SDL, LOTOS. 

   
     

    Key words: frameworks, objects, program transformations, object testing, meta-modeling, CORBA, UML. 

   
  
     

    Key words: telecommunication software, objects, partial orders, concurrency, UML, MSC, Petri nets, (Max, +), BDL. 

 



Home page IRISA homepage
Up Previous Next Franšais