10715 search results - page 187 / 2143 » Proofs from Tests |
108
Voted
SERA
2007
Springer
15 years 7 months ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
106
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
96
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
111
click to vote
VTS
2002
IEEE
15 years 5 months ago
2002
IEEE
A device testing method called Transient Signal Analysis (TSA) is subjected to elements of a real process and testing environment in this paper. Simulations experiments are design...
133
Voted
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...