235 search results - page 1 / 47 » Test Generation Based on Symbolic Specifications |
FATES
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
PTS
2010
13 years 2 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
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...
FATES
2006
Springer
13 years 8 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...
SIGSOFT
2001
ACM
14 years 5 months ago
2001
ACM