3547 search results - page 62 / 710 » Pseudo-Exhaustive Testing for Software |
224
click to vote
PTS
2010
15 years 4 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
177
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
142
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...