3547 search results - page 40 / 710 » Pseudo-Exhaustive Testing for Software |
ESEC
1987
Springer
15 years 9 months ago
1987
Springer
190
click to vote
ICTAC
2009
Springer
15 years 3 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
180
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...