4299 search results - page 221 / 860 » Concurrent Test Generation |
163
click to vote
BIRTHDAY
2006
Springer
15 years 10 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 ...
131
click to vote
ZUM
1995
Springer
15 years 10 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...
163
click to vote
ISCC
2008
IEEE
16 years 29 days 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...
160
click to vote
XPU
2007
Springer
16 years 20 days 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...
180
click to vote
FORTE
1997
15 years 8 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...