758 search results - page 63 / 152 » Pattern-Constrained Test Case Generation |
140
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
149
Voted
ICST
2010
IEEE
15 years 15 days ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
167
click to vote
FORTEST
2008
15 years 4 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
133
Voted
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...