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.

Differential Testing of Pushdown Reachability with a Formally Verified Oracle

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel. Differential Testing of Pushdown Reachability with a Formally Verified Oracle. In FMCAD. pages 369-379, 2022. [doi]

Authors

Anders Schlichtkrull

This author has not been identified. Look up 'Anders Schlichtkrull' in Google

Morten Konggaard Schou

This author has not been identified. Look up 'Morten Konggaard Schou' in Google

Jirí Srba

This author has not been identified. Look up 'Jirí Srba' in Google

Dmitriy Traytel

This author has not been identified. Look up 'Dmitriy Traytel' in Google
runs on