Aysu Betin-Can
Aysu Betin-Can
Informatics Institute METU
Verified email at metu.edu.tr
Title
Cited by
Cited by
Year
A systematic mapping study of web application testing
V Garousi, A Mesbah, A Betin-Can, S Mirshokraie
Information and Software Technology 55 (8), 1374-1396, 2013
1032013
Web application testing: A systematic literature review
S Doğan, A Betin-Can, V Garousi
Journal of Systems and Software 91, 174-201, 2014
912014
A survey of software engineering practices in Turkey
V Garousi, A Coşkunçay, A Betin-Can, O Demirörs
Journal of Systems and Software 108, 148-177, 2015
772015
MedicoPort: A medical search engine for all
AB Can, N Baykal
Computer methods and programs in biomedicine 86 (1), 73-86, 2007
732007
Design for verification for asynchronously communicating web services
A Betin-Can, T Bultan, X Fu
Proceedings of the 14th international conference on World Wide Web, 750-759, 2005
662005
Software test-code engineering: A systematic mapping
VG Yusifoğlu, Y Amannejad, AB Can
Information and Software Technology 58, 123-147, 2015
552015
Verifiable concurrent programming using concurrency controllers
A Betin-Can, T Bultan
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
462004
Verifiable web services with hierarchical interfaces
A Betin-Can, T Bultan
IEEE International Conference on Web Services (ICWS'05), 85-94, 2005
292005
Application of design for verification with concurrency controllers to air traffic control software
A Betin-Can, T Bultan, M Lindvall, B Lux, S Topp
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
272005
ROLEX-SP: Rules of lexical syntactic patterns for free text categorization
MGH Al Zamil, AB Can
Knowledge-Based Systems 24 (1), 58-65, 2011
262011
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
AB Can, T Bultan, M Lindvall, B Lux, S Topp
Automated Software Engineering 14 (2), 129-178, 2007
172007
Multi-objective regression test selection in practice: An empirical study in the defense software industry
V Garousi, R Özkan, A Betin-Can
Information and Software Technology 103, 40-54, 2018
162018
Scalable software model checking using design for verification
T Bultan, A Betin-Can
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005
142005
A survey of software testing practices in Turkey
V Garousi, A Coşkunçay, AB Can, O Demirörs
Turkish National Software Engineering Symposium (Ulusal Yazılım Mühendisliği …, 2013
112013
Experimenting with software testbeds for evaluating new technologies
M Lindvall, I Rus, P Donzelli, A Memon, M Zelkowitz, A Betin-Can, ...
Empirical Software Engineering 12 (4), 417-444, 2007
102007
A model based on multi-features to enhance healthcare and medical document retrieval
MGH Al Zamil, A Betin Can
Informatics for Health and Social Care 36 (2), 100-115, 2011
92011
Interface-based specification and verification of concurrency controllers
A Betin-Can, T Bultan
Electronic Notes in Theoretical Computer Science 89 (3), 464-479, 2003
82003
Ubiquitous cloud-based monitoring via a mobile app in smartphones: An overview
F Al-Turjman, A Betin-Can, E Ever, S Alturjman
2016 IEEE International Conference on Smart Cloud (SmartCloud), 196-201, 2016
72016
Highly dependable concurrent programming using design for verification
A Betin-Can, T Bultan
Formal aspects of computing 19 (2), 243-268, 2007
62007
Automated Video Game Testing Using Synthetic and Human-Like Agents
S Ariyurek, A Betin Can, E Surer
IEEE Transactions on Games, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20