9 citations · 9 across the 1 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2003★ 9 cited
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization
Mikhail Auguston, Clinton Jeffery, Scott Underwood
UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo m…
cs.SE2001
Assertion checker for the C programming language based on computations over event traces
Mikhail Auguston
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is define…