2419 search results - page 179 / 484 » A Formal Approach to Software Testing |
149
Voted
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
141
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...
125
Voted
CBMS
2004
IEEE
15 years 7 months ago
2004
IEEE
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
150
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
116
Voted
WER
2004
Springer
15 years 9 months ago
2004
Springer
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...