140 search results - page 9 / 28 » Contract driven development = test driven development - writ... |
ICCAD
2000
IEEE
14 years 1 days ago
2000
IEEE
In this paper, we propose a novel fault-oriented test generation methodology for detection and isolation of faults in analog circuits. Given the description of the circuit-underte...
ICSM
2007
IEEE
14 years 1 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
IPTPS
2003
Springer
14 years 24 days ago
2003
Springer
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...