419 search results - page 56 / 84 » An Automated Approach for Identifying Potential Vulnerabilit... |
SIGSOFT
2003
ACM
14 years 24 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
EWCBR
2000
Springer
13 years 11 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...
ESEM
2009
ACM
14 years 2 months ago
2009
ACM
Code smells are design flaws in object-oriented designs that may lead to maintainability issues in the further evolution of the software system. This study focuses on the evolutio...
BMCBI
2008
13 years 7 months ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...