Interface-Based Specification and Verification of Concurrency Controllers. - Aysu Betin-Can; Tevfik Bultan (SoftMC@CAV, 2003)

Verifiable Concurrent Programming Using Concurrency Controllers. - Aysu Betin-Can; Tevfik Bultan (ASE, 2004)

Verifiable Web Services with Hierarchical Interfaces. - Aysu Betin-Can; Tevfik Bultan (ICWS, 2005)

Application of design for verification with concurrency controllers to air traffic control software. - Aysu Betin-Can; Tevfik Bultan; Mikael Lindvall; Benjamin Lux; Stefan Topp (ASE, 2005)

Scalable Software Model Checking Using Design for Verification. - Tevfik Bultan; Aysu Betin-Can (VSTTE, 2005)

Design for verification for asynchronously communicating Web services. - Aysu Betin-Can; Tevfik Bultan; Xiang Fu 001 (WWW, 2005)

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. - Aysu Betin-Can; Tevfik Bultan; Mikael Lindvall; Benjamin Lux; Stefan Topp (Autom. Softw. Eng., 2007)

MedicoPort: A medical search engine for all. - Aysu Betin-Can; Nazife Baykal (Comput. Methods Programs Biomed., 2007)

Experimenting with software testbeds for evaluating new technologies. - Mikael Lindvall; Ioana Rus; Paolo Donzelli; Atif M. Memon; Marvin V. Zelkowitz; Aysu Betin-Can; Tevfik Bultan; Christopher Ackermann; Bettina Anders; Sima Asgari; Victor R. Basili; Lorin Hochstein; et al. (Empir. Softw. Eng., 2007)

Highly dependable concurrent programming using design for verification. - Aysu Betin-Can; Tevfik Bultan (Formal Aspects Comput., 2007)

Automatic Detection of Shared Objects in Multithreaded Java Programs. - Munara Tolubaeva; Aysu Betin Can (CIMCA/IAWTIC/ISE, 2008)

An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. - Mustafa Ispir; Aysu Betin Can (ASE, 2008)

Modular verification of synchronization with reentrant locks. - Tevfik Bultan; Fang Yu 001; Aysu Betin-Can (MEMOCODE, 2010)

Detecting Execution and HTML Errors in ASP.NET Web Applications. - Mehmet Erdal Özkinaci; Aysu Betin Can (ICSOFT (2), 2011)

ROLEX-SP: Rules of lexical syntactic patterns for free text categorization. - Mohammed G. H. al Zamil; Aysu Betin Can (Knowl. Based Syst., 2011)

Türkiye'deki Yazılım Test Uygulamaları Anketi. - Vahid Garousi; Ahmet Coskunçay; Aysu Betin Can; Onur Demirörs (UYMS, 2013)

A systematic mapping study of web application testing. - Vahid Garousi; Ali Mesbah 001; Aysu Betin-Can; Shabnam Mirshokraie (Inf. Softw. Technol., 2013)

Android Uygulamaları Bellek Hataları Yakalanması ve Etkileri. - Ismail Alper Saglam; Aysu Betin Can (UYMS, 2014)

A Survey of Software Engineering Practices in Turkey (extended version). - Vahid Garousi; Ahmet Coskunçay; Aysu Betin-Can; Onur Demirörs (CoRR, 2014)

Web application testing: A systematic literature review. - Serdar Dogan; Aysu Betin-Can; Vahid Garousi (J. Syst. Softw., 2014)

Web Uygulamalarında Dolaşım ve Erişim Kontrolü Hatalarının Tespiti ve Yeniden Canlandırılması. - Yudum Paçin; Aysu Betin Can (UYMS, 2015)

Software test-code engineering: A systematic mapping. - Vahid Garousi-Yusifoglu; Yasaman Amannejad; Aysu Betin Can (Inf. Softw. Technol., 2015)

A survey of software engineering practices in Turkey. - Vahid Garousi; Ahmet Coskunçay; Aysu Betin-Can; Onur Demirörs (J. Syst. Softw., 2015)

Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones: An Overview. - Fadi Al-Turjman 001; Aysu Betin-Can; Enver Ever; Sinem Alturjman (SmartCloud, 2016)

Android Uygulamalar Icin Yazilim Kalite Yonetimi. - Merve Vildan Simsek; Aysu Betin Can; Barboros Can (UYMS, 2016)

Multi-objective regression test selection in practice: An empirical study in the defense software industry. - Vahid Garousi; Ramazan Özkan; Aysu Betin-Can (Inf. Softw. Technol., 2018)

Automated Video Game Testing Using Synthetic and Human-Like Agents. - Sinan Ariyurek; Aysu Betin-Can; Elif Sürer (CoRR, 2019)

Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing. - Sinan Ariyurek; Aysu Betin-Can; Elif Sürer (CoG, 2020)

Automated Video Game Testing Using Synthetic and Humanlike Agents. - Sinan Ariyurek; Aysu Betin-Can; Elif Sürer (IEEE Trans. Games, 2021)

Verifying Maze-Like Game Levels With Model Checker SPIN. - Onur Tekik; Elif Sürer; Aysu Betin Can (IEEE Access, 2022)

Distribution Aware Testing Framework for Deep Neural Networks. - Demet Demir; Aysu Betin Can; Elif Sürer (IEEE Access, 2023)

Blockchain technology applications in the health domain: a multivocal literature review. - Merve Vildan Baysal; Özden Özcan-Top; Aysu Betin-Can (J. Supercomput., 2023)

Playtesting: What is Beyond Personas. - Sinan Ariyurek; Elif Sürer; Aysu Betin-Can (IEEE Trans. Games, 2023)

Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics. - Demet Demir; Aysu Betin Can; Elif Sürer (ISSTA, 2024)