944 search results - page 99 / 189 » Software model checking without source code |
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
IWPSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
DRM
2007
Springer
14 years 4 months ago
2007
Springer
In software protection we typically have to deal with the white-box attack model. In this model an attacker is assumed to have full access to the software and full control over it...
WCRE
2005
IEEE
14 years 3 months ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...