Sciweavers

2498 search results - page 411 / 500
» Software Fault Tolerance
Sort
View
SIGSOFT
2007
ACM
16 years 6 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
SIGMOD
2009
ACM
121views Database» more  SIGMOD 2009»
16 years 6 months ago
Query-aware shrinking test databases
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
Claudio de la Riva, Javier Tuya, María Jos&...
COMPSAC
2009
IEEE
16 years 24 days ago
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
COMPSAC
2005
IEEE
15 years 11 months ago
Autonomous Hot Patching for Web-Based Applications
Patching technologies are commonly applied to improve the dependability of software after release. This paper proposes an autonomous hot patching (AHP) framework to fully automate...
Hai Huang, Wei-Tek Tsai, Yinong Chen
SEFM
2005
IEEE
15 years 11 months ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...