Sciweavers

3544 search results - page 70 / 709
» Software Testing
Sort
View
ISCIS
2004
Springer
15 years 3 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
SCAM
2008
IEEE
15 years 4 months ago
DTS - A Software Defects Testing System
Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya ...
ICST
2008
IEEE
15 years 4 months ago
Relationships between Test Suites, Faults, and Fault Detection in GUI Testing
Software-testing researchers have long sought recipes for test suites that detect faults well. In the literature, empirical studies of testing techniques abound, yet the ideal tec...
Jaymie Strecker, Atif M. Memon
ECBS
2007
IEEE
119views Hardware» more  ECBS 2007»
15 years 4 months ago
IPOG: A General Strategy for T-Way Software Testing
Most existing work on t-way testing has focused on 2-way (or pairwise) testing, which aims to detect faults caused by interactions between any two parameters. However, faults can ...
Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun,...
DATE
2004
IEEE
138views Hardware» more  DATE 2004»
15 years 1 months ago
STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores
This paper presents STEPS, an innovative softwarebased approach for testing P1500-compliant SoCs. STEPS is based on the concept that the ATE is not considered as an initiator appl...
Mounir Benabdenbi, Alain Greiner, François ...