A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Program abstractions for behaviour validation
2011
Proceeding of the 33rd international conference on Software engineering - ICSE '11
Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide their intended behaviour when descriptions of this behaviour are informal, partial or non-existent. The proposed approach addresses this problem by generating abstract behaviour models which resemble
doi:10.1145/1985793.1985846
dblp:conf/icse/CasoBGU11
fatcat:geaddq3vwngixfwhtwa5tcuugi