758 search results - page 20 / 152 » Pattern-Constrained Test Case Generation |
149
Voted
ICST
2011
IEEE
14 years 1 months ago
2011
IEEE
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
FATES
2004
Springer
15 years 2 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
GI
2007
Springer
15 years 3 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
113
click to vote
AOSE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...