External Links

Cite Key

Statistics

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

PDF

Tags

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.

Symbolic Execution Techniques for Test Purpose Definition

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil. Symbolic Execution Techniques for Test Purpose Definition. In M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings. Volume 3964 of Lecture Notes in Computer Science, pages 1-18, Springer, 2006. [doi]

Authors

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

Nicolas Rapin

This author has not been identified. Look up 'Nicolas Rapin' in Google

Assia Touil

This author has not been identified. Look up 'Assia Touil' in Google
runs on