2312 search results - page 111 / 463 » Invariance in Property Testing |
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
JIPS
2010
13 years 4 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
CHARME
2003
Springer
14 years 3 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
ECCV
1994
Springer
14 years 12 months ago
1994
Springer
We analyse a class of tandem fields invariant by stochastic synchronous updating of all sites, subject to a generaJlzed reversibility assumption. We give a formal definition and pr...
DAGSTUHL
2004
13 years 11 months ago
2004
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...