314 search results - page 4 / 63 » Validating Specifications for Model-Based Testing |
HICSS
2003
IEEE
14 years 22 days ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
RSP
1998
IEEE
13 years 11 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
IFIP13
2004
13 years 8 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...