Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring | 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

This content will become publicly available on November 16, 2026

Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring

Award ID(s):: 2525243 2045596 2319473 2403035

PAR ID:: 10677092

Author(s) / Creator(s):: Kim, Shinhae ; Dutta, Saikat ; Legunsen, Owolabi

Publisher / Repository:: IEEE

Date Published:: 2025-11-16

ISBN:: 979-8-3503-5733-2

Page Range / eLocation ID:: 2286 to 2298

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
This content will become publicly available on November 16, 2026
Conference Paper:
https://doi.org/10.1109/ASE63991.2025.00189