3547 search results - page 253 / 710 » Pseudo-Exhaustive Testing for Software |
204
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
217
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
186
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Phone simulator is a simulation tool running on PC which can test debug phone software. It also provides front graphical user interface (GUI) like the true phone’s LCD. Develope...
214
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
207
click to vote
TASLP
2011
15 years 2 months ago
2011
—Existing speech enhancement algorithms can improve speech quality but not speech intelligibility, and the reasons for that are unclear. In the present paper, we present a theore...