1036 search results - page 121 / 208 » Verification Programs for Abduction |
221
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
128
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
146
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
1 Many computer security threats involve execution of unauthorized foreign code on the victim computer. Viruses, network and email worms, Trojan horses, backdoor programs used in ...
131
click to vote
TOPLAS
2002
15 years 4 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
168
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...