8398 search results - page 237 / 1680 » Optimal Software Testing |
185
click to vote
SIGSOFT
2004
ACM
16 years 7 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...
190
click to vote
SCESM
2006
ACM
16 years 15 days ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
179
click to vote
SSDBM
2006
IEEE
16 years 17 days ago
2006
IEEE
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
153
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...
163
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...