68 citations · 71 across the 6 of their papers we have counts for
1 paper · 1 filter
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Monitoring programs for finite state properties is challenging due to high memory and execution time overheads it incurs. Some events if skipped or lost naturally can reduce both o…