Sign in
Dynamic Generation of Likely Invariants for Multithreaded Programs.
Markus Kusano
Arijit Chattopadhyay
Chao Wang
Published in:
ICSE (1) (2015)
Keyphrases
</>
dynamically changing
artificial intelligence
database systems
dynamic environments
imperative programs
database
answer sets
generation process