Aysu Betin-Can

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