3547 search results - page 23 / 710 » Pseudo-Exhaustive Testing for Software |
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
ICST
2011
IEEE
14 years 3 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
108
click to vote
TSE
2010
14 years 10 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
CSUR
2000
14 years 11 months ago
2000
: Object-oriented frameworks have extended reusability of software from code modules to architectural and domain information. This paper further extends software reusability from c...
128
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...