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.

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto. Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. 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 35-51, Springer, 2015. [doi]

Authors

Imen Boudhiba

This author has not been identified. Look up 'Imen Boudhiba' in Google

Christophe Gaston

This author has not been identified. Look up 'Christophe Gaston' in Google

Pascale Le Gall

This author has not been identified. Look up 'Pascale Le Gall' in Google

Virgile Prevosto

This author has not been identified. Look up 'Virgile Prevosto' in Google
runs on