TraceMOP: An Explicit-Trace Runtime Verification Tool for Java | NSF Public Access Repository

skip to main content

An official website of the United States government Here's how you know

Official websites use .gov

A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS

A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Citation Details

TraceMOP: An Explicit-Trace Runtime Verification Tool for Java

Award ID(s):: 2319473 2045596 2403035

PAR ID:: 10628155

Author(s) / Creator(s):: Guan, Kevin; Legunsen, Owolabi

Publisher / Repository:: ACM

Date Published:: 2025-06-23

ISBN:: 9798400712760

Page Range / eLocation ID:: 1218 to 1222

Format(s):: Medium: X

Location:: Trondheim, Norway

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript
Conference Paper:
https://doi.org/10.1145/3696630.3728613