A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Automated workarounds from Java program specifications based on SAT solving
2018
International Journal on Software Tools for Technology Transfer (STTT)
The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to circumvent the failure. Previous works have exploited this workarounds notion to automatically recover from runtime failures in some application domains. However, existing approaches that compute workarounds automatically either require the user to manually build an abstract model
doi:10.1007/s10009-018-0503-8
fatcat:b6dkkffohvay3i4xlanwlkzif4