@misc {IOPORT.70251514,
    author       = {Longuet, Delphine and Aiguier, Marc},
    title        = {Integration testing from structured first-order specifications via deduction modulo},
    howpublished = {ICTAC, 261-276 (2009).},
    year         = {2009},
    doi          = {10.1007/978-3-642-03466-4_17},
    identifier   = {70251514},
}