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.

Compositional Symbolic Execution: Incremental Solving Revisited

Yude Lin, Tim Miller, Harald Søndergaard. Compositional Symbolic Execution: Incremental Solving Revisited. In Alex Potanin, Gail C. Murphy, Steve Reeves, Jens Dietrich, editors, 23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016. pages 273-280, IEEE Computer Society, 2016. [doi]

Authors

Yude Lin

This author has not been identified. Look up 'Yude Lin' in Google

Tim Miller

This author has not been identified. Look up 'Tim Miller' in Google

Harald Søndergaard

This author has not been identified. Look up 'Harald Søndergaard' in Google
runs on