Aysu Betin-Can, Ph.D.
Affiliations: | 2005 | University of California, Santa Barbara, Santa Barbara, CA, United States |
Google:
"Aysu Betin-Can"Parents
Sign in to add mentor| Tevfik Bultan | grad student | 2005 | UC Santa Barbara | |
| (Design for verification for concurrent and distributed programs.) | ||||
BETA: Related publications
See more...
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. |
| Garousi V, Özkan R, Betin-Can A. (2018) Multi-objective regression test selection in practice: An empirical study in the defense software industry Information & Software Technology. 103: 40-54 |
| Garousi V, Coşkunçay A, Betin-Can A, et al. (2015) A survey of software engineering practices in Turkey Journal of Systems and Software. 108: 148-177 |
| Doǧan S, Betin-Can A, Garousi V. (2014) Web application testing: A systematic literature review Journal of Systems and Software. 91: 174-201 |
| Betin-Can A, Halle S, Bultan T. (2013) Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces Ieee Transactions On Services Computing. 6: 262-275 |
| Garousi V, Mesbah A, Betin-Can A, et al. (2013) A systematic mapping study of web application testing Information and Software Technology. 55: 1374-1396 |
| Bultan T, Betin-Can A. (2008) Scalable software model checking using design for verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4171: 337-346 |
| Lindvall M, Rus I, Donzelli P, et al. (2007) Experimenting with software testbeds for evaluating new technologies Empirical Software Engineering. 12: 417-444 |
| Betin-Can A, Bultan T. (2007) Highly dependable concurrent programming using design for verification Formal Aspects of Computing. 19: 243-268 |
| Betin-Can A, Bultan T, Lindvall M, et al. (2005) Application of design for verification with concurrency controllers to air traffic control software 20th Ieee/Acm International Conference On Automated Software Engineering, Ase 2005. 14-23 |
| Betin-Can A, Bultan T. (2005) Verifiable web services with hierarchical interfaces Proceedings - 2005 Ieee International Conference On Web Services, Icws 2005. 2005: 85-94 |