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.

Efficient state merging in symbolic execution

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea. Efficient state merging in symbolic execution. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 193-204, ACM, 2012. [doi]

Authors

Volodymyr Kuznetsov

This author has not been identified. Look up 'Volodymyr Kuznetsov' in Google

Johannes Kinder

This author has not been identified. Look up 'Johannes Kinder' in Google

Stefan Bucur

This author has not been identified. Look up 'Stefan Bucur' in Google

George Candea

This author has not been identified. Look up 'George Candea' in Google
runs on