Fast and precise symbolic analysis of concurrency bugs in device drivers (t)
P Deligiannis, AF Donaldson… - 2015 30th IEEE/ACM …, 2015 - ieeexplore.ieee.org
Concurrency errors, such as data races, make device drivers notoriously hard to develop
and debug without automated tool support. We present Whoop, a new automated approach …
and debug without automated tool support. We present Whoop, a new automated approach …
[PDF][PDF] Scalable techniques for analysing and testing asynchronous software systems
P Deligiannis - 2016 - doc.ic.ac.uk
This thesis is about scalable analysis and testing techniques for asynchronous programs.
Due to their highly-concurrent nature, the number of states that such programs can reach …
Due to their highly-concurrent nature, the number of states that such programs can reach …