Finding forall-exists Hyperbugs using Symbolic Execution

 (dl.acm.org)

23 points | by todsacerdoti 5 days ago

0 comments