Login / Signup
Predictive Taint Analysis for Extended Testing of Parallel Executions.
Emmanuel Sifakis
Laurent Mounier
Published in:
Haifa Verification Conference (2013)
Keyphrases
</>
database
databases
decision making
genetic algorithm
computer vision
web services