10 search results - page 1 / 2 » A Theory of Predicate-Complete Test Coverage and Generation |
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
TCAD
2002
13 years 4 months ago
2002
This paper introduces the concept of hierarchical cellular automata (HCA). The theory of HCA is developed over the Galois extension field (2 ), where each cell of the CA can store ...
UTP
2010
13 years 2 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
CHI
2005
ACM
14 years 5 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
ICTAC
2004
Springer
13 years 10 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...