Marc Aiguier
11
Documents
Identifiants chercheurs
- marc-aiguier
- 0000-0003-0154-0909
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 4
Exhaustive test sets for algebraic specification correctnessJournal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Article dans une revue
hal-01318362v1
|
|
|
Proof-Guided Test Selection from First-Order Specifications with EqualityJournal of Automated Reasoning, 2010, 45 (4), pp.437-473
Article dans une revue
hal-00782871v1
|
|
Some General Results About Proof NormalizationLogica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩
Article dans une revue
hal-00782857v1
|
|
Integration Testing from Structured First-Order Specifications via Deduction Modulo.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 SpecificationsInternational 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 specifications2nd 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 SystemsIEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China
Communication dans un congrès
hal-01760574v1
|
|
|
A Temporal Logic for Input Output Symbolic Transition Systems12th 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 logicProceedings 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
|
On a generalized theorem for normalization of proof trees2005
Autre publication scientifique
hal-00341978v1
|
|
A temporal logic for input output symbolic transition systems2005
Autre publication scientifique
hal-00341981v1
|