4299 search results - page 221 / 860 » Concurrent Test Generation |
120
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
92
Voted
ZUM
1995
Springer
15 years 7 months ago
1995
Springer
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
127
click to vote
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Mobile IPv6 (MIPv6) protocol is a new protocol designed to support the node mobility ofIPv6 protocol, which is a basic protocol of the next generation Internet. Protocol testing c...
129
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
144
click to vote
FORTE
1997
15 years 5 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...