296
click to vote
ICSE
16 years 8 months ago
2004 IEEE-ACM 
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
258
click to vote
ICSE
16 years 8 months ago
2004 IEEE-ACM 
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
237
Voted
ICSE
16 years 8 months ago
2004 IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
234
click to vote
ICSE
16 years 8 months ago
2004 IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
227
Voted
ICSE
16 years 8 months ago
2004 IEEE-ACM
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. Recently algorithms for forwar...
|
Software Engineering