Dynamic generation of likely invariants for multithreaded programs | Publicación