2205 search results - page 15 / 441 » Mutation Operators for Specifications |
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
EVOW
1994
Springer
13 years 11 months ago
1994
Springer
One of the main problems in applying evolutionary optimisation methods is the choice of operators and parameter values. This paper propose a competitive evolution method, in which ...
TOOLS
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
CBMS
2005
IEEE
13 years 9 months ago
2005
IEEE
In this study, a neural network based approach is used to predict the presence of Maturity Onset Diabetes type 3, referred as MODY3 Type II diabetes mellitus. The study has used b...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...