Asserting and checking determinism for multithreaded programs.

Jacob Burnim Koushik Sen

Published in: ESEC/SIGSOFT FSE (2009)

Keyphrases

mutual exclusion
machine learning
answer sets
information retrieval
information systems
knowledge base
website
decision trees
computer programs
intermediate level
automatic programming