4192 search results - page 168 / 839 » Efficient testing of groups |
99
Voted
GI
2007
Springer
15 years 4 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
15 years 27 days ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
JSS
2008
15 years 23 days ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
116
click to vote
TSE
2010
14 years 7 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
107
click to vote
ICCD
2006
IEEE
15 years 6 months ago
2006
IEEE
—This paper introduces a new class of sequential circuits called acyclically testable sequential circuits which is wider than the class of acyclic sequential circuits but whose t...