Sciweavers

4079 search results - page 86 / 816
» Differential Testing for Software
Sort
View
ISCIS
2004
Springer
14 years 1 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
14 years 2 months ago
DTS - A Software Defects Testing System
Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya ...
ECBS
2007
IEEE
119views Hardware» more  ECBS 2007»
14 years 2 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»
13 years 11 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 ...
INFSOF
2008
121views more  INFSOF 2008»
13 years 7 months ago
A test driven approach for aspectualizing legacy software using mock systems
Aspect-based refactoring, called aspectualization, involves moving program code that implements cross-cutting concerns into aspects. Such refactoring can improve the maintainabili...
Michael Mortensen, Sudipto Ghosh, James M. Bieman