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.

Checking Complex Source Code-Level Constraints using Runtime Verification

Joshua Heneage Dawes, Domenico Bianculli. Checking Complex Source Code-Level Constraints using Runtime Verification. In Marcelo d'Amorim, editor, Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024. pages 255-265, ACM, 2024. [doi]

Authors

Joshua Heneage Dawes

This author has not been identified. Look up 'Joshua Heneage Dawes' in Google

Domenico Bianculli

This author has not been identified. Look up 'Domenico Bianculli' in Google
runs on