3547 search results - page 116 / 710 » Pseudo-Exhaustive Testing for Software |
240
click to vote
INFSOF
2006
15 years 6 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
200
click to vote
PROMISE
2010
15 years 1 months ago
2010
BACKGROUND: Defect predictors learned from static code measures can isolate code modules with a higher than usual probability of defects. AIMS: To improve those learners by focusi...
142
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a technique that leverages an existing regression test-selection algorithm to compute accurate, updated coverage data on a version of the software, Pi+1, witho...
176
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
168
Voted
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...