799 search results - page 1 / 160 » Experiments on the Test Case Length in Specification Based T... |
80
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
131
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
99
Voted
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
131
Voted
MTV
2006
IEEE
15 years 6 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
100
Voted
COMPSAC
2006
IEEE
15 years 6 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...