Neural termination analysis. | 0 | 0.34 | 2022 |
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. | 0 | 0.34 | 2020 |
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). | 0 | 0.34 | 2019 |
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. | 0 | 0.34 | 2018 |
AbPress: Flexing Partial-Order Reduction and Abstraction. | 0 | 0.34 | 2014 |
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). | 1 | 0.36 | 2014 |
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). | 0 | 0.34 | 2014 |
Second-Order SAT Solving using Program Synthesis. | 1 | 0.35 | 2014 |
Chaining Test Cases for Reactive System Testing (extended version). | 1 | 0.35 | 2013 |