Sciweavers

2002 search results - page 77 / 401
» An Approach for Assessment of Reliability of the System Usin...
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 2 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
NOMS
2008
IEEE
108views Communications» more  NOMS 2008»
14 years 3 months ago
Autonomic QoS optimization of real-time internet audio using loss prediction and stochastic control
— Quality of Internet audio is highly sensitive to packet loss caused by congestion in the links. Packet loss for audio is normally rectified by adding redundancy using Forward ...
Lopa Roychoudhuri, Ehab S. Al-Shaer
ICSE
2005
IEEE-ACM
14 years 9 months ago
Use of relative code churn measures to predict system defect density
Software systems evolve over time due to changes in requirements, optimization of code, fixes for security and reliability bugs etc. Code churn, which measures the changes made to...
Nachiappan Nagappan, Thomas Ball
FATES
2005
Springer
14 years 2 months ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
AOSE
2008
Springer
13 years 11 months ago
Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
Cu D. Nguyen, Anna Perini, Paolo Tonella