Inferring better contracts

@article{Wei2011InferringBC,
  title={Inferring better contracts},
  author={Yi Wei and Carlo A. Furia and Nikolay Kazmin and Bertrand Meyer},
  journal={2011 33rd International Conference on Software Engineering (ICSE)},
  year={2011},
  pages={191-200}
}
  • Yi Wei, Carlo A. Furia, +1 author Bertrand Meyer
  • Published 2011
  • Computer Science
  • 2011 33rd International Conference on Software Engineering (ICSE)
  • Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contracts. The results of current contract inference tools are still often unsatisfactory in practice, especially for programmers who already apply some kind of basic Design by Contract discipline, since the inferred contracts tend to be simple assertions - the very ones that programmers find easy to write. We present new… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 72 CITATIONS, ESTIMATED 94% COVERAGE

    Evidence-Based Automated Program Fixing

    VIEW 2 EXCERPTS
    CITES RESULTS & BACKGROUND

    Symbolic Abstract Contract Synthesis in a Rewriting Framework

    VIEW 2 EXCERPTS
    CITES METHODS & BACKGROUND

    Winston : Type-Directed Synthesis and Repair

    VIEW 2 EXCERPTS
    CITES METHODS & BACKGROUND

    FILTER CITATIONS BY YEAR

    2011
    2019

    CITATION STATISTICS

    • 3 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-2 OF 2 REFERENCES

    Are Practitioners Writing Contracts?

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Dynamically discovering likely program invariants to support program evolution

    VIEW 9 EXCERPTS
    HIGHLY INFLUENTIAL