1516 search results - page 35 / 304 » Trends in Software Verification |
IBMSJ
2002
13 years 8 months ago
2002
ICEIS
2010
IEEE
13 years 6 months ago
2010
IEEE
RV
2010
Springer
13 years 6 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
ECEASST
2010
13 years 6 months ago
2010
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...