147
click to vote
ICSE
16 years 2 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...
133
click to vote
ICSE
16 years 2 months ago
2004 IEEE-ACM 
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
128
click to vote
ICSE
16 years 2 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...
127
click to vote
ICSE
16 years 2 months ago
2004 IEEE-ACM 
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
126
click to vote
ICSE
16 years 2 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...
|
Software Engineering