Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T).

Pantazis Deligiannis Alastair F. Donaldson Zvonimir Rakamaric

Published in: ASE (2015)

Keyphrases

statistical analysis
quantitative analysis
database
social networks
information systems
website
data acquisition