5855 search results - page 69 / 1171 » Test generation and minimization with |
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
103
click to vote
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
140
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
124
click to vote
ECOWS
2008
Springer
15 years 3 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
103
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...