External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Graph Methods for Generating Test Cases with Universal and Existential Constraints

Sylvain Hallé, Edmond La Chance, Sébastien Gaboury. Graph Methods for Generating Test Cases with Universal and Existential Constraints. In Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko, editors, Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings. Volume 9447 of Lecture Notes in Computer Science, pages 55-70, Springer, 2015. [doi]

Authors

Sylvain Hallé

This author has not been identified. It may be one of the following persons: Look up 'Sylvain Hallé' in Google

Edmond La Chance

This author has not been identified. Look up 'Edmond La Chance' in Google

Sébastien Gaboury

This author has not been identified. Look up 'Sébastien Gaboury' in Google
runs on