Automated Fixing of Programs with Contracts (bibtex)
@inproceedings{Wei_ISSTA10, author = {Yi Wei and Yu Pei and Carlo A. Furia and Lucas S. Silva and Stefan Buchholz and Bertrand Meyer and Andreas Zeller}, title = {Automated Fixing of Programs with Contracts}, booktitle = {Proceedings of the International Symposium on Software Testing and Analysis 2010 (ISSTA'10)}, year = {2010}, urltopdf = {/people/wei/papers/automated_fixing_of_programs_with_contracts.pdf}, acm = {} }
Powered by bibtexbrowser
You are browsing sechair-bib.bib with bibtexbrowser