03.04. Department of Computer Engineering
OrgUnit's Researchers publications
(Dept/Workgroup Publication)
Type
Fulltext
Results 1-10 of 10 (Search time: 0.015 seconds).
| Issue Date | Title | Author(s) | |
|---|---|---|---|
| 1 | 2017 | Advances in model-based testing of graphical user interfaces | Belli, Fevzi ; Beyazıt, Mutlu; Budnik, Christof J.; Tuğlular, Tuğkan |
| 2 | Mar-2016 | Input contract testing of graphical user interfaces | Tuğlular, Tuğkan ; Belli, Fevzi ; Linschulte, Michael |
| 3 | 2016 | Karar tablosu destekli olay sıra çizgeleri temelli sınama durum üretim aracı | Belli, Fevzi ; Linschulte, Michael; Tuğlular, Tuğkan |
| 4 | Sep-2015 | Model based testing of VHDL programs | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| 5 | Jul-2015 | Model-based contract testing of graphical user interfaces | Tuğlular, Tuğkan ; Linschulte, Michael; Belli, Fevzi ; Müftüoğlu, Arda |
| 6 | May-2016 | Model-based mutation testing-approach and case studies | Belli, Fevzi ; Budnik, Christof J.; Hollmann, Axel; Tuğlular, Tuğkan ; Wong, W. Eric |
| 7 | 2018 | Model-based selective layer-centric testing | Belli, Fevzi ; Güler Dinçer, Nevin; Linschulte, Michael; Tuğlular, Tuğkan |
| 8 | 2018 | Özellik yönelimli ürün konfigürasyonlarının olay sıra çizgeleri ile doğrulanması | Tuğlular, Tuğkan ; Belli, Fevzi ; Öztürk, Dilek |
| 9 | Jul-2010 | Towards test case generation for synthesizable VHDL programs using model checker | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| 10 | 2-Dec-2016 | Transforming VHDL to timed automata | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |