![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Aysu Betin Can
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j15]Demet Demir
, Aysu Betin Can
, Elif Sürer
:
Distribution Aware Testing Framework for Deep Neural Networks. IEEE Access 11: 119481-119505 (2023) - [j14]Sinan Ariyurek
, Elif Sürer
, Aysu Betin-Can
:
Playtesting: What is Beyond Personas. IEEE Trans. Games 15(3): 348-359 (2023) - [j13]Merve Vildan Baysal, Özden Özcan-Top
, Aysu Betin-Can
:
Blockchain technology applications in the health domain: a multivocal literature review. J. Supercomput. 79(3): 3112-3156 (2023) - 2022
- [j12]Onur Tekik
, Elif Sürer
, Aysu Betin Can
:
Verifying Maze-Like Game Levels With Model Checker SPIN. IEEE Access 10: 66492-66510 (2022) - 2021
- [j11]Sinan Ariyurek
, Aysu Betin-Can
, Elif Sürer
:
Automated Video Game Testing Using Synthetic and Humanlike Agents. IEEE Trans. Games 13(1): 50-67 (2021) - [i4]Sinan Ariyurek, Elif Sürer, Aysu Betin-Can:
Playtesting: What is Beyond Personas. CoRR abs/2107.11965 (2021) - 2020
- [c16]Sinan Ariyurek, Aysu Betin-Can
, Elif Sürer
:
Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing. CoG 2020: 25-32 - [i3]Sinan Ariyurek, Aysu Betin-Can, Elif Sürer
:
Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing. CoRR abs/2003.07813 (2020)
2010 – 2019
- 2019
- [i2]Sinan Ariyurek, Aysu Betin-Can, Elif Sürer
:
Automated Video Game Testing Using Synthetic and Human-Like Agents. CoRR abs/1906.00317 (2019) - 2018
- [j10]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: 40-54 (2018) - 2016
- [c15]Fadi Al-Turjman, Aysu Betin-Can
, Enver Ever
, Sinem Alturjman:
Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones: An Overview. SmartCloud 2016: 196-201 - [c14]Merve Vildan Simsek, Aysu Betin Can, Barboros Can:
Android Uygulamalar Icin Yazilim Kalite Yonetimi. UYMS 2016: 514-525 - 2015
- [j9]Vahid Garousi-Yusifoglu
, Yasaman Amannejad, Aysu Betin Can
:
Software test-code engineering: A systematic mapping. Inf. Softw. Technol. 58: 123-147 (2015) - [j8]Vahid Garousi
, Ahmet Coskunçay
, Aysu Betin-Can
, Onur Demirörs
:
A survey of software engineering practices in Turkey. J. Syst. Softw. 108: 148-177 (2015) - [c13]Yudum Paçin, Aysu Betin Can:
Web Uygulamalarında Dolaşım ve Erişim Kontrolü Hatalarının Tespiti ve Yeniden Canlandırılması. UYMS 2015 - 2014
- [j7]Serdar Dogan, Aysu Betin-Can
, Vahid Garousi
:
Web application testing: A systematic literature review. J. Syst. Softw. 91: 174-201 (2014) - [c12]Ismail Alper Saglam, Aysu Betin Can:
Android Uygulamaları Bellek Hataları Yakalanması ve Etkileri. UYMS 2014 - [e1]Yeliz Yesilada, Aysu Betin Can, Onur Demirörs:
Proceedings of the 8th Turkish National Software Engineering Symposium, Güzelyurt, KKTC, Turkey, September 8-10, 2014. CEUR Workshop Proceedings 1221, CEUR-WS.org 2014 [contents] - [i1]Vahid Garousi, Ahmet Coskunçay, Aysu Betin-Can, Onur Demirörs:
A Survey of Software Engineering Practices in Turkey (extended version). CoRR abs/1412.4648 (2014) - 2013
- [j6]Vahid Garousi
, Ali Mesbah
, Aysu Betin-Can
, Shabnam Mirshokraie:
A systematic mapping study of web application testing. Inf. Softw. Technol. 55(8): 1374-1396 (2013) - [c11]Vahid Garousi, Ahmet Coskunçay, Aysu Betin Can, Onur Demirörs:
Türkiye'deki Yazılım Test Uygulamaları Anketi. UYMS 2013 - 2011
- [j5]Mohammed G. H. al Zamil
, Aysu Betin Can
:
ROLEX-SP: Rules of lexical syntactic patterns for free text categorization. Knowl. Based Syst. 24(1): 58-65 (2011) - [c10]Mehmet Erdal Özkinaci, Aysu Betin Can:
Detecting Execution and HTML Errors in ASP.NET Web Applications. ICSOFT (2) 2011: 172-178 - 2010
- [c9]Tevfik Bultan, Fang Yu, Aysu Betin-Can
:
Modular verification of synchronization with reentrant locks. MEMOCODE 2010: 59-68
2000 – 2009
- 2008
- [c8]Munara Tolubaeva, Aysu Betin Can
:
Automatic Detection of Shared Objects in Multithreaded Java Programs. CIMCA/IAWTIC/ISE 2008: 522-526 - [c7]Mustafa Ispir, Aysu Betin Can
:
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. ASE 2008: 391-394 - 2007
- [j4]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): 129-178 (2007) - [j3]Aysu Betin-Can
, Nazife Baykal:
MedicoPort: A medical search engine for all. Comput. Methods Programs Biomed. 86(1): 73-86 (2007) - [j2]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): 417-444 (2007) - [j1]Aysu Betin-Can
, Tevfik Bultan:
Highly dependable concurrent programming using design for verification. Formal Aspects Comput. 19(2): 243-268 (2007) - 2005
- [c6]Aysu Betin-Can
, Tevfik Bultan:
Verifiable Web Services with Hierarchical Interfaces. ICWS 2005: 85-94 - [c5]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: 14-23 - [c4]Tevfik Bultan, Aysu Betin-Can
:
Scalable Software Model Checking Using Design for Verification. VSTTE 2005: 337-346 - [c3]Aysu Betin-Can
, Tevfik Bultan, Xiang Fu:
Design for verification for asynchronously communicating Web services. WWW 2005: 750-759 - 2004
- [c2]Aysu Betin-Can, Tevfik Bultan:
Verifiable Concurrent Programming Using Concurrency Controllers. ASE 2004: 248-257 - 2003
- [c1]Aysu Betin-Can
, Tevfik Bultan:
Interface-Based Specification and Verification of Concurrency Controllers. SoftMC@CAV 2003: 464-479
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint