6 search results - page 2 / 2 » Formal Validation of Java Swing User Interfaces with the Eve... |
182
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...