Automated Fixing of Programs with Contracts

Zeller, Andreas and Wei, Yi and Meyer, Bertrand and Nordio, Martin and Furia, Carlo A. and Pei, Yu
(2014) Automated Fixing of Programs with Contracts.
IEEE Transactions on Software Engineering, 40 (5). pp. 427-449. ISSN 0098-5589

Full text not available from this repository.
Item Type: Article
Additional Information: pub_id: 558 Bibtex: ZeWe_14:AutomatedFixing URL date: None
Uncontrolled Keywords: journal,security
Divisions: Andreas Zeller (Software Engineering, ST)
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:28
Last Modified: 18 Jul 2019 12:12
Primary Research Area: NRA5: Empirical & Behavioral Security
URI: https://publications.cispa.saarland/id/eprint/158

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.