758 search results - page 27 / 152 » Pattern-Constrained Test Case Generation |
104
click to vote
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
72
Voted
QSIC
2009
IEEE
15 years 4 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
102
Voted
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
PTS
1998
14 years 11 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
ICSE
2011
IEEE-ACM
14 years 29 days ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...