Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | 0 | 0.34 | 2021 |
Automatically Identifying Sufficient Object Builders from Module APIs. | 0 | 0.34 | 2019 |
Automated Workarounds from Java Program Specifications Based on SAT Solving. | 0 | 0.34 | 2017 |