03.04. Department of Computer Engineering

Bibliometrics Email Alert

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Refined By:
Author:  Belli, F.

Results 1-20 of 38 (Search time: 0.089 seconds).

Issue DateTitleAuthor(s)
12009The 1st workshop on model-based verification & validation: Directed acyclic graph modeling of security policies for firewall testing
22017Advances in model-based testing of graphical user interfaces
32018Android uygulaması testi için ideal test ön çalışması
42014Assuring dependability of software reuse: An industrial standard
5Nov-2015Boolean differentiation for formalizing myers' cause-effect graph testing technique
62020Community detection in model-based testing to address scalability: Study design
72009Event-based input validation using design-by-contract patterns
81-Feb-2015Exploiting model morphology for event-based testing
9Sep-2015Fault domain-based testing in imperfect situations: a heuristic approach and case studies
102017Grafiksel kullanıcı arayüzleri için düzenli ifade bazlı test kapsama kriterleri
112009GUI-based testing of boundary overflow vulnerability
122021Heterogeneous modeling and testing of software product lines
13Mar-2016Input contract testing of graphical user interfaces
142016Karar tablosu destekli olay sıra çizgeleri temelli sınama durum üretim aracı
152023Link prediction for completing graphical software models using neural networks
16Sep-2015Model based testing of VHDL programs
17Jul-2015Model-based contract testing of graphical user interfaces
182010Model-based higher-order mutation analysis
192021Model-based ideal testing of GUI programs-approach and case studies
202022Model-based ideal testing of hardware description language (HDL) programs