6800 search results - page 148 / 1360 » Testing with Functions as Specifications |
ISSRE
2008
IEEE
14 years 3 months ago
2008
IEEE
As software systems evolve, the size of their test suites grow due to added functionality and customer-detected defects. Many of these tests may contain redundant elements with pr...
TOOLS
2000
IEEE
14 years 1 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
AAMAS
1999
Springer
13 years 9 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
PTS
2000
13 years 10 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
DEBU
2008
13 years 9 months ago
2008
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automa...