145 search results - page 17 / 29 » Automated Detection of Code Vulnerabilities Based on Program... |
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C's a...
ISSTA
2004
ACM
14 years 28 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
SRDS
2007
IEEE
14 years 1 months ago
2007
IEEE
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...
TACAS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...