Test Selection Criteria for Quantifier-Free First-Order Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Test Selection Criteria for Quantifier-Free First-Order Specifications. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 144-159, Springer, 2007. [doi]

This author has not been identified. Look up 'Marc Aiguier' in GoogleThis author has not been identified. Look up 'Agnès Arnould' in GoogleThis author has not been identified. Look up 'Pascale Le Gall' in GoogleThis author has not been identified. Look up 'Delphine Longuet' in Google

runs on WebDSL