854 search results - page 40 / 171 » Addressing Dynamic Issues of Program Model Checking |
133
click to vote
ACSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Buffer overflow vulnerabilities are caused by programming errors that allow an attacker to cause the program to write beyond the bounds of an allocated memory block to corrupt oth...
110
click to vote
OTM
2004
Springer
15 years 7 months ago
2004
Springer
This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the RealTime Specification for Java (RTSJ). This spe...
127
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
126
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
134
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...