2419 search results - page 203 / 484 » A Formal Approach to Software Testing |
155
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
127
click to vote
QSIC
2006
IEEE
15 years 9 months ago
2006
IEEE
Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...
132
click to vote
FORTE
2008
15 years 5 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
136
click to vote
DMIN
2009
15 years 1 months ago
2009
Support vector machines are a valuable tool for making classifications, but their black-box nature means that they lack the natural explanatory value that many other classifiers po...
142
click to vote
TOOLS
2000
IEEE
15 years 8 months 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 ...