828 search results - page 51 / 166 » Software engineering research: from cradle to grave |
127
click to vote
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
—Modeling to predict faultproneness of software modules is an important area of research in software engineering. Most such models employ a large number ...
125
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
117
click to vote
WER
2001
Springer
15 years 6 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
126
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...