2014
DOI: 10.1007/978-3-642-54804-8_17
View full text
|
|
Share

Abstract: Abstract. While most debugging techniques focus on patching implementations, there are bugs whose most appropriate corrections consist in fixing the specification to prevent invalid executions-such as to define the correct input domain of a function. In this paper, we present a fully automatic technique that fixes bugs by proposing changes to contracts (simple executable specification elements such as pre-and postconditions). The technique relies on dynamic analysis to understand the source of buggy behavior,…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
6
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals