145
click to vote
TACAS
13 years 8 months ago
2012 Springer 
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
118
click to vote
TACAS
13 years 8 months ago
2012 Springer 
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
142
Voted
TACAS
13 years 8 months ago
2012 Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
131
click to vote
TACAS
13 years 8 months ago
2012 Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
126
click to vote
TACAS
13 years 8 months ago
2012 Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
|
Algorithms