Sciweavers

1187 search results - page 186 / 238
» On Modeling Cross-Talk Faults
Sort
View
SIGSOFT
2007
ACM
14 years 9 months ago
A study of interleaving coverage criteria
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
Shan Lu, Weihang Jiang, Yuanyuan Zhou
DATE
2008
IEEE
139views Hardware» more  DATE 2008»
14 years 3 months ago
Scan Chain Organization for Embedded Diagnosis
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...
Melanie Elm, Hans-Joachim Wunderlich
IRI
2007
IEEE
14 years 2 months ago
Software Defects Prediction using Operating Characteristic Curves
We present a software defect prediction model using operating characteristic curves. The main idea behind our proposed technique is to use geometric insight in helping construct a...
Torsten Bergander, Yan Luo, A. Ben Hamza
ESOP
2007
Springer
14 years 2 months ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
GI
2007
Springer
14 years 2 months ago
Automated Test Case Selection Based on a Similarity Function
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
Emanuela G. Cartaxo, Francisco G. Oliveira Neto, P...