Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:P.L.Gall K.Berkani A.Arnould C.Boin B.Marre
Talks about:specif (2) test (2) interact (1) resolut (1) analysi (1) algebra (1) unfold (1) static (1) select (1) featur (1)
Person: Marc Aiguier
DBLP: Aiguier:Marc
Contributed to:
2006
2005Wrote 2 papers:
- FM-2006-AiguierBG #interactive #specification #static analysis
- Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.
- FATES-2005-AiguierABGM #algebra #axiom #specification #testing
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (MA, AA, CB, PLG, BM), pp. 203–217.