Sciweavers

291 search results - page 25 / 59
» Software-Test
Sort
View
ICSE
2007
IEEE-ACM
14 years 10 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
CEC
2007
IEEE
14 years 4 months ago
Estimation of distribution algorithms for testing object oriented software
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
Ramón Sagarna, Andrea Arcuri, Xin Yao
PASTE
2004
ACM
14 years 3 months ago
Elided conditionals
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
Manos Renieris, Sébastien Chan-Tin, Steven ...
ICSE
2003
IEEE-ACM
14 years 10 months ago
Demonstration of AGENDA Tool Set for Testing Relational Database Applications
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
David Chays, Yuetang Deng
SIGSOFT
2007
ACM
14 years 10 months ago
Quantifying the effectiveness of testing via efficient residual path profiling
Software testing is extensively used for uncovering bugs in large, complex software. Testing relies on well designed regression test suites that anticipate all reasonable software...
Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani