Aysu Betin Can

According to our database, Aysu Betin Can authored at least 34 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics.

Demet Demir, Aysu Betin Can, Elif Sürer

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Playtesting: What is Beyond Personas.

Sinan Ariyurek, Elif Sürer, Aysu Betin-Can

IEEE Trans. Games, September, 2023

Blockchain technology applications in the health domain: a multivocal literature review.

Merve Vildan Baysal, Özden Özcan-Top, Aysu Betin-Can

J. Supercomput., 2023

Distribution Aware Testing Framework for Deep Neural Networks.

Demet Demir, Aysu Betin Can, Elif Sürer

IEEE Access, 2023

2022

Verifying Maze-Like Game Levels With Model Checker SPIN.

Onur Tekik, Elif Sürer, Aysu Betin Can

IEEE Access, 2022

2021

Automated Video Game Testing Using Synthetic and Humanlike Agents.

Sinan Ariyurek, Aysu Betin-Can, Elif Sürer

IEEE Trans. Games, 2021

2020

Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing.

Sinan Ariyurek, Aysu Betin-Can, Elif Sürer

Proceedings of the IEEE Conference on Games, 2020

2019

Automated Video Game Testing Using Synthetic and Human-Like Agents.

Sinan Ariyurek, Aysu Betin-Can, Elif Sürer

CoRR, 2019

2018

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

2016

Android Uygulamalar Icin Yazilim Kalite Yonetimi.

Merve Vildan Simsek, Aysu Betin Can, Barboros Can

Proceedings of the 10th Turkish National Software Engineering Symposium, 2016

Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones: An Overview.

Fadi Al-Turjman, Aysu Betin-Can, Enver Ever, Sinem Alturjman

Proceedings of the 2016 IEEE International Conference on Smart Cloud, 2016

2015

A survey of software engineering practices in Turkey.

Vahid Garousi, Ahmet Coskunçay, Aysu Betin-Can, Onur Demirörs

J. Syst. Softw., 2015

Software test-code engineering: A systematic mapping.

Vahid Garousi-Yusifoglu, Yasaman Amannejad, Aysu Betin Can

Inf. Softw. Technol., 2015

Web Uygulamalarında Dolaşım ve Erişim Kontrolü Hatalarının Tespiti ve Yeniden Canlandırılması.

Yudum Paçin, Aysu Betin Can

Proceedings of the 9th Turkish National Software Engineering Symposium, 2015

2014

Web application testing: A systematic literature review.

Serdar Dogan, Aysu Betin-Can, Vahid Garousi

J. Syst. Softw., 2014

A Survey of Software Engineering Practices in Turkey (extended version).

Vahid Garousi, Ahmet Coskunçay, Aysu Betin-Can, Onur Demirörs

CoRR, 2014

Android Uygulamaları Bellek Hataları Yakalanması ve Etkileri.

Ismail Alper Saglam, Aysu Betin Can

Proceedings of the 8th Turkish National Software Engineering Symposium, 2014

2013

A systematic mapping study of web application testing.

Vahid Garousi, Ali Mesbah, Aysu Betin-Can, Shabnam Mirshokraie

Inf. Softw. Technol., 2013

Türkiye'deki Yazılım Test Uygulamaları Anketi.

Vahid Garousi, Ahmet Coskunçay, Aysu Betin Can, Onur Demirörs

Proceedings of the 7th National Software Engineering Symposium, 2013

2011

ROLEX-SP: Rules of lexical syntactic patterns for free text categorization.

Mohammed G. H. al Zamil, Aysu Betin Can

Knowl. Based Syst., 2011

Detecting Execution and HTML Errors in ASP.NET Web Applications.

Mehmet Erdal Özkinaci, Aysu Betin Can

Proceedings of the ICSOFT 2011, 2011

2010

Modular verification of synchronization with reentrant locks.

Tevfik Bultan, Fang Yu, Aysu Betin-Can

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2008

An Assume Guarantee Verification Methodology for Aspect-Oriented Programming.

Mustafa Ispir, Aysu Betin Can

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Automatic Detection of Shared Objects in Multithreaded Java Programs.

Munara Tolubaeva, Aysu Betin Can

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

2007

Highly dependable concurrent programming using design for verification.

Aysu Betin-Can, Tevfik Bultan

Formal Aspects Comput., 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, Jörg Fellmann, Forrest Shull, Roseanne Tesoriero Tvedt, Daniel Pech, Daniel Hirschbach

Empir. Softw. Eng., 2007

MedicoPort: A medical search engine for all.

Aysu Betin-Can, Nazife Baykal

Comput. Methods Programs Biomed., 2007

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

2005

Design for verification for asynchronously communicating Web services.

Aysu Betin-Can, Tevfik Bultan, Xiang Fu

Proceedings of the 14th international conference on World Wide Web, 2005

Scalable Software Model Checking Using Design for Verification.

Tevfik Bultan, Aysu Betin-Can

Proceedings of the Verified Software: Theories, 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

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Verifiable Web Services with Hierarchical Interfaces.

Aysu Betin-Can, Tevfik Bultan

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

2004

Verifiable Concurrent Programming Using Concurrency Controllers.

Aysu Betin-Can, Tevfik Bultan

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Interface-Based Specification and Verification of Concurrency Controllers.

Aysu Betin-Can, Tevfik Bultan

Proceedings of the 2003 Workshop on Software Model Checking, 2003