Aysu Betin-Can

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 9

Top Topics

Tree Search Algorithm

Markovian Decision

Software Engineering Practices

Educational Games

Top Venues

Inf. Softw. Technol.

J. Syst. Softw.

IEEE Trans. Games

Publications

Merve Vildan Baysal, Özden Özcan-Top, Aysu Betin-Can
Blockchain technology applications in the health domain: a multivocal literature review. J. Supercomput. 79 (3) (2023)
Sinan Ariyurek, Elif Sürer, Aysu Betin-Can
Playtesting: What is Beyond Personas. IEEE Trans. Games 15 (3) (2023)
Sinan Ariyurek, Elif Sürer, Aysu Betin-Can
Playtesting: What is Beyond Personas. CoRR (2021)
Sinan Ariyurek, Aysu Betin-Can, Elif Sürer
Automated Video Game Testing Using Synthetic and Humanlike Agents. IEEE Trans. Games 13 (1) (2021)
Sinan Ariyurek, Aysu Betin-Can, Elif Sürer
Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing. CoRR (2020)
Sinan Ariyurek, Aysu Betin-Can, Elif Sürer
Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing. CoG (2020)
Sinan Ariyurek, Aysu Betin-Can, Elif Sürer
Automated Video Game Testing Using Synthetic and Human-Like Agents. CoRR (2019)
Vahid Garousi, Ramazan Özkan, Aysu Betin-Can
Multi-objective regression test selection in practice: An empirical study in the defense software industry. Inf. Softw. Technol. 103 (2018)
Fadi Al-Turjman, Aysu Betin-Can, Enver Ever, Sinem Alturjman
Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones: An Overview. SmartCloud (2016)
Vahid Garousi, Ahmet Coskunçay, Aysu Betin-Can, Onur Demirörs
A survey of software engineering practices in Turkey. J. Syst. Softw. 108 (2015)
Serdar Dogan, Aysu Betin-Can, Vahid Garousi
Web application testing: A systematic literature review. J. Syst. Softw. 91 (2014)
Vahid Garousi, Ahmet Coskunçay, Aysu Betin-Can, Onur Demirörs
A Survey of Software Engineering Practices in Turkey (extended version). CoRR (2014)
Vahid Garousi, Ali Mesbah, Aysu Betin-Can, Shabnam Mirshokraie
A systematic mapping study of web application testing. Inf. Softw. Technol. 55 (8) (2013)
Tevfik Bultan, Fang Yu, Aysu Betin-Can
Modular verification of synchronization with reentrant locks. MEMOCODE (2010)
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, Jörg Fellmann, Forrest Shull, Roseanne Tesoriero Tvedt, Daniel Pech, Daniel Hirschbach
Experimenting with software testbeds for evaluating new technologies. Empir. Softw. Eng. 12 (4) (2007)
Aysu Betin-Can, Tevfik Bultan
Highly dependable concurrent programming using design for verification. Formal Aspects Comput. 19 (2) (2007)
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom. Softw. Eng. 14 (2) (2007)
Aysu Betin-Can, Nazife Baykal
MedicoPort: A medical search engine for all. Comput. Methods Programs Biomed. 86 (1) (2007)
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
Design for verification for asynchronously communicating Web services. WWW (2005)
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
Application of design for verification with concurrency controllers to air traffic control software. ASE (2005)
Tevfik Bultan, Aysu Betin-Can
Scalable Software Model Checking Using Design for Verification. VSTTE (2005)
Aysu Betin-Can, Tevfik Bultan
Verifiable Web Services with Hierarchical Interfaces. ICWS (2005)
Aysu Betin-Can, Tevfik Bultan
Verifiable Concurrent Programming Using Concurrency Controllers. ASE (2004)
Aysu Betin-Can, Tevfik Bultan
Interface-Based Specification and Verification of Concurrency Controllers. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)