5 search results - page 1 / 1 » Detection of dynamic execution errors in IBM system automati... |
INFSOF
2002
13 years 4 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
ISSRE
2010
IEEE
13 years 3 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
CHI
2004
ACM
14 years 5 months ago
2004
ACM
This paper describes the concepts of TEA, a flexible tool that supports user tests by automating repetitive tasks and collecting data of user inputs and actions. TEA was specifica...