2419 search results - page 53 / 484 » A Formal Approach to Software Testing |
FORMATS
2003
Springer
14 years 1 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented systems. When aspect-or...
EDO
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...