Tevfik Bultan

Affiliations: 
Computer Science University of California, Santa Barbara, Santa Barbara, CA, United States 
Google:
"Tevfik Bultan"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Bocić I, Bultan T. (2016) Efficient data model verification with many-sorted logic Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 42-52
Basu S, Bultan T. (2016) Automated choreography repair Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9633: 13-30
Bang L, Aydin A, Bultan T. (2015) Automatically computing path complexity of programs 2015 10th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2015 - Proceedings. 61-72
Nijjar J, Bocić I, Bultan T. (2015) Data model property inference, verification, and repair for web applications Acm Transactions On Software Engineering and Methodology. 24
Lü J, Rosenblum DS, Bultan T, et al. (2015) Roundtable: The future of software engineering for internet computing Ieee Software. 32: 91-97
Bocić I, Bultan T. (2015) Coexecutability for efficient verification of data model updates Proceedings - International Conference On Software Engineering. 1: 744-754
Bultan T. (2015) String analysis for vulnerability detection and repair Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9232: 3-9
Aydin A, Bang L, Bultan T. (2015) Automata-based model counting for string constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9206: 255-272
Bocić I, Bultan T. (2015) Data model bugs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9058: 393-399
Basu S, Bultan T. (2014) Automatic verification of interactions in asynchronous systems with unbounded buffers Ase 2014 - Proceedings of the 29th Acm/Ieee International Conference On Automated Software Engineering. 743-753
See more...