Oswaldo Olivo and Allen Emerson - Free people check

(1 - 11 from 11

)

Cost-aware automatic program repair — the Research Networking...

researchers.dellmed.utexas.edu

Cost-aware automatic program repair. Research output: Contribution to journal › Article. Roopsha S…a ; Oswaldo Olivo ; E. Allen Emerson.

[ ] Cost-Aware Automatic Program Repair

arxiv.org

... Cost-Aware Automatic Program Repair Authors: Roopsha S…a, Oswaldo Olivo, E. Allen Emerson (Submitted on 27 Jul (v1), last revised 31 Mar (this version, v2 ...

[ v1] Cost-Aware Automatic Program Repair

arxiv.org

References & Citations. NASA ADS · DBLP - CS Bibliography. listing | bibtex · Roopsha S…a · Oswaldo Olivo · E. Allen Emerson. Bookmark.

SAS14 Accepted Papers

wwwmath.uni-muenster.de

Roopsha S…a, Oswaldo Olivo and E. Allen Emerson. Cost-aware Automatic Program Repair. Khalil Ghorbal, Andrew Sogokon and André Platzer.

Cost-Aware Automatic Program Repair | SpringerLink

link.springer.com

Roopsha S…a (17) (18); Oswaldo Olivo · .edu (17); E. Allen Emerson · .edu (17). Author Affiliations The University ...

All web results to the name "Oswaldo Olivo"

reconstructed bibtex

cgi.cse.unsw.edu.au

... pages = " ", doi = " _33", ) @inproceedings(DBLP:conf/cp/OlivoE11, author = "Oswaldo Olivo and E. Allen Emerson", year ...

CP international conference on principles and practice of...

www.dmi.unipg.it

Oswaldo Olivo and Allen Emerson. A More Efficient BDD-Based QBF Solver; Karen Petrie and Christopher Jefferson. Automatic Generation of Constraints for Partial ...

Cost-Aware Automatic Program Repair (bibtex)

Cost-Aware Automatic Program RepairRoopsha S…a, Oswaldo Olivo, E. Allen EmersonStatic Analysis - 21st International Symposium, SAS 2014, Munich, Germany ... @inproceedings{DBLP:conf/sas/S…aOE

sanitization. Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan ISSTA 2014: Cost-Aware Automatic Program Repair Roopsha S…a, Oswaldo Olivo, E. Allen Emerson SAS 2014: Automatically generated patches as debugging aids: ...