2419 search results - page 298 / 484 » A Formal Approach to Software Testing |
119
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
143
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
131
click to vote
CIA
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
138
Voted
WSE
2006
IEEE
15 years 10 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
109
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...