![](/img/cover-not-exists.png)
[IEEE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - San Diego, CA, USA (2019.11.11-2019.11.15)] 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq
Fischer, Bernd, La Torre, Salvatore, Parlato, GennaroYear:
2019
DOI:
10.1109/ASE.2019.00124
File:
PDF, 163 KB
2019