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.

A visual interactive debugger based on symbolic execution

Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe. A visual interactive debugger based on symbolic execution. In Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto, editors, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. pages 143-146, ACM, 2010. [doi]

Authors

Reiner Hähnle

This author has not been identified. Look up 'Reiner Hähnle' in Google

Marcus Baum

This author has not been identified. Look up 'Marcus Baum' in Google

Richard Bubel

This author has not been identified. Look up 'Richard Bubel' in Google

Marcel Rothe

This author has not been identified. Look up 'Marcel Rothe' in Google
runs on