Sciweavers

953 search results - page 123 / 191
» On the Emulation of Software Faults by Software Fault Inject...
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
SIGMOD
2009
ACM
121views Database» more  SIGMOD 2009»
14 years 9 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
2005
IEEE
14 years 2 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
14 years 2 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,...
ISCIS
2004
Springer
14 years 2 months ago
Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...
Daniel O. Bortolas, Avelino F. Zorzo, Eduardo A. B...