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.

DySy: dynamic symbolic execution for invariant inference

Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis. DySy: dynamic symbolic execution for invariant inference. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 281-290, ACM, 2008. [doi]

Authors

Christoph Csallner

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

Nikolai Tillmann

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

Yannis Smaragdakis

Identified as Yannis Smaragdakis
runs on