Sciweavers

932 search results - page 90 / 187
» Software Reliability Engineering: A Roadmap
Sort
View
80
Voted
COMSWARE
2007
IEEE
15 years 7 months ago
The Transport Layer Revisited
— End-to-end transport protocols such as TCP perform poorly in mobile environments, primarily due to their inability to cope with the dynamics incurred by node mobility. We re-co...
Simon Heimlicher, Rainer Baumann, Martin May, Bern...
103
Voted
GECCO
2005
Springer
147views Optimization» more  GECCO 2005»
15 years 6 months ago
Adaptive sizing of populations and number of islands in distributed genetic algorithms
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...
Johan Berntsson, Maolin Tang
128
Voted
GECCO
2006
Springer
141views Optimization» more  GECCO 2006»
15 years 4 months ago
Towards effective adaptive random testing for higher-dimensional input domains
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
Johannes Mayer
EMSOFT
2007
Springer
15 years 6 months ago
Proving the absence of run-time errors in safety-critical avionics code
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
Patrick Cousot
113
Voted
ICSE
2005
IEEE-ACM
16 years 21 days 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