"Optimal Dynamic Partial Order Reduction with Observers"[1], by Aronis et al, is a neat approach to DPOR which really reminds me of Jeff Huang's "Maximal Causality Reduction" stuff. [1] https://t.co/NYV3bIxgCs [2] https://t.co/qWGTadwaav
356 followers
90 followers
"TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation", L. Marsso, R. Mateescu, W. Serwe #TACAS18 https://t.co/N7oJWMgr9R
547 followers
RT @beyer_dirk: TACAS 2018 proceedings available online and open access. Vol 1: https://t.co/ClnGYCHo8Z Vol 2: https://t.co/N9N1zfwMlg
142 followers
RT @beyer_dirk: TACAS 2018 proceedings available online and open access. Vol 1: https://t.co/ClnGYCHo8Z Vol 2: https://t.co/N9N1zfwMlg