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