Accéder directement au contenu

Marc Aiguier

11
Documents
Identifiants chercheurs

Publications

"longuet"
Image document

Integration Testing from Structured First-Order Specifications via Deduction Modulo.

Delphine Longuet , Marc Aiguier
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩
Communication dans un congrès hal-00812193v1

Specification-Based Testing for CoCasl's Modal Specifications

Delphine Longuet , Marc Aiguier
International Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway
Communication dans un congrès hal-01760572v1

Test selection criteria for quantifier-free first-order specifications

Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet
2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
Communication dans un congrès hal-00353787v1

Test Selection Criteria for Modal Specifications of Reactive Systems

Marc Aiguier , Delphine Longuet
IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China
Communication dans un congrès hal-01760574v1
Image document

A Temporal Logic for Input Output Symbolic Transition Systems

Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil
12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
Communication dans un congrès hal-00341980v1

An abstract way to define rewriting logic

Marc Aiguier , Diane Bahrami , Delphine Longuet
Proceedings of the first IPM International Workshop on Foundations of Software Engineering (FSEN), 2005, Iran. pp.205--226, ⟨10.1016/j.entcs.2005.09.033⟩
Communication dans un congrès hal-00341966v1