6 search results - page 2 / 2 » Formal Validation of Java Swing User Interfaces with the Eve... |
AGTIVE
2007
Springer
13 years 9 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...