6014 search results - page 14 / 1203 » Structural Testing with Use Cases |
ICSOC
2005
Springer
14 years 3 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
FATES
2004
Springer
14 years 3 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
COMCOM
2002
13 years 9 months ago
2002
Many security approaches are currently used in organisations. In spite of the widespread use of these security techniques, network intrusion remains a problem. This paper discusse...
SE
2008
13 years 11 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...