Paper Info
Title
Predictive Taint Analysis for Extended Testing of Parallel Executions.
Year
DOI
Venue
2013
10.1007/978-3-319-03077-7_9
Haifa Verification Conference
Field
DocType
Citations 
Information flow (information theory),Sliding window protocol,Serialization,Sequential consistency,Computer science,Parallel computing,Critical section,Theoretical computer science,Taint checking
Conference
0
PageRank 
References 
Authors
0.34
16
2
Name
Order
Citations
PageRank
Emmanuel Sifakis1131.64
Laurent Mounier2118779.54