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.

Pex-White Box Test Generation for .NET

Nikolai Tillmann, Jonathan de Halleux. Pex-White Box Test Generation for .NET. In Bernhard Beckert, Reiner Hähnle, editors, Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Volume 4966 of Lecture Notes in Computer Science, pages 134-153, Springer, 2008. [doi]

Authors

Nikolai Tillmann

This author has not been identified. Look up 'Nikolai Tillmann' in Google

Jonathan de Halleux

This author has not been identified. Look up 'Jonathan de Halleux' in Google
runs on