2419 search results - page 1 / 484 » A Formal Approach to Software Testing |
AMAST
1991
Springer
13 years 9 months ago
1991
Springer
APSEC
2004
IEEE
13 years 9 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
ADAEUROPE
2001
Springer
13 years 10 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
SERA
2007
Springer
13 years 11 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...
ISSTA
2009
ACM
14 years 4 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...