×

zbMATH — the first resource for mathematics

Longuet, Delphine

Compute Distance To:
Author ID: longuet.delphine Recent zbMATH articles by "Longuet, Delphine"
Published as: Longuet, Delphine
Documents Indexed: 8 Publications since 2007

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 7 times in 4 Documents Cited by Year
Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447
Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine
2
2007
Distributed testing of concurrent systems: vector clocks to the rescue. Zbl 1432.68317
Ponce-de-León, Hernán; Haar, Stefan; Longuet, Delphine
1
2014
Conformance relations for labeled event structures. Zbl 1354.68202
Ponce de León, Hernán; Haar, Stefan; Longuet, Delphine
1
2012
Proof-guided test selection from first-order specifications with equality. Zbl 1214.68221
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale
1
2010
Integration testing from structured first-order specifications via deduction modulo. Zbl 1250.68195
Longuet, Delphine; Aiguier, Marc
1
2009
Specification-based testing for CoCasl’s modal specifications. Zbl 1214.68231
Longuet, Delphine; Aiguier, Marc
1
2007
Distributed testing of concurrent systems: vector clocks to the rescue. Zbl 1432.68317
Ponce-de-León, Hernán; Haar, Stefan; Longuet, Delphine
1
2014
Conformance relations for labeled event structures. Zbl 1354.68202
Ponce de León, Hernán; Haar, Stefan; Longuet, Delphine
1
2012
Proof-guided test selection from first-order specifications with equality. Zbl 1214.68221
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale
1
2010
Integration testing from structured first-order specifications via deduction modulo. Zbl 1250.68195
Longuet, Delphine; Aiguier, Marc
1
2009
Test selection criteria for quantifier-free first-order specifications. Zbl 1141.68447
Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine
2
2007
Specification-based testing for CoCasl’s modal specifications. Zbl 1214.68231
Longuet, Delphine; Aiguier, Marc
1
2007

Citations by Year