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.

Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern

Christoph Lembeck, Roger A. Müller, Herbert Kuchen. Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. In Peter Dadam, Manfred Reichert, editors, INFORMATIK 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. Volume 51 of LNI, pages 418-427, GI, 2004.

Authors

Christoph Lembeck

This author has not been identified. Look up 'Christoph Lembeck' in Google

Roger A. Müller

This author has not been identified. Look up 'Roger A. Müller' in Google

Herbert Kuchen

This author has not been identified. Look up 'Herbert Kuchen' in Google
runs on