Marc Aiguier Agnès Arnould Pascale Le Gall Delphine Longuet Test Selection Criteria for Quantifier-Free First-Order Specifications. 144-159 2007 conf/fsen/2007 FSEN http://dx.doi.org/10.1007/978-3-540-75698-9_10 db/conf/fsen/fsen2007.html#AiguierAGL07