Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Fevzi Belli
2010 – today
- 2012
[j19]Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke: Modeling, Analysis, and Testing of System Vulnerabilities. Advances in Computers 84: 39-92 (2012)- [j18]Fevzi Belli, Mutlu Beyazit, Nevin Güler: Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study. Advances in Computers 85: 277-326 (2012)
- [j17]Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa: Model-Based Mutation Testing Using Pushdown Automata. IEICE Transactions 95-D(9): 2211-2218 (2012)
- [c87]Fevzi Belli: Verlässlichkeit bei Wiederverwendung von IT-Komponenten - zum Stand der Normungsaktivitäten. ARCS Workshops 2012: 285-293
- [c86]Fevzi Belli, Mutlu Beyazit, Atif M. Memon: Testing is an Event-Centric Activity. SERE (Companion) 2012: 198-206
- [e6]Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine (Eds.): 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1990-4
- [e5]Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine (Eds.): 36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2714-5
- 2011
- [c85]
- [c84]Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Nevin Güler: Statistical Evaluation of Test Sets Using Mutation Analysis. COMPSAC Workshops 2011: 180-183
- [c83]Fevzi Belli, Nevin Güler, Michael Linschulte: Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability. COMPSAC 2011: 630-639
- [c82]Fevzi Belli, Mutlu Beyazit: Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison. COMPSAC 2011: 650-655
- [c81]Fevzi Belli, Mutlu Beyazit, Nevin Güler: Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary Results. ICST Workshops 2011: 212-221
- [c80]Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa: Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. ICST 2011: 249-258
- [c79]Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão: Model-based testing of web service compositions. SOSE 2011: 181-192
- 2010
- [j16]Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu: Software Test Automation. Adv. Software Engineering 2010 (2010)
- [j15]Fevzi Belli, Michael Linschulte: Event-driven modeling and testing of real-time web services. Service Oriented Computing and Applications 4(1): 3-15 (2010)
- [j14]Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Michael Linschulte, Sascha Padberg: Ereignis-basierter Test grafischer Benutzeroberflächen - ein Erfahrungsbericht. Softwaretechnik-Trends 30(2) (2010)
- [c78]
- [c77]Fevzi Belli, Nevin Güler, Axel Hollmann, Gökhan Suna, Esra Yildiz: Model-Based Higher-Order Mutation Analysis. FGIT-ASEA 2010: 164-173
- [c76]Fevzi Belli, Michele Luglio, Cesare Roseti: Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segments. Future Internet Assembly 2010: 139-148
- [c75]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter: MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) 2010: 319-320
- [c74]Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber: Fault Detection Likelihood of Test Sequence Length. ICST 2010: 402-411
- [c73]T. Ayav, Tugkan Tuglular, Fevzi Belli: Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker. SSIRI (Companion) 2010: 46-53
- [c72]Fevzi Belli, Nevin Güler, Michael Linschulte: Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis. SSIRI (Companion) 2010: 78-85
- [c71]
- [c70]
2000 – 2009
- 2009
- [j13]Hong Zhu, Fevzi Belli: Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008). Information & Software Technology 51(11): 1485-1486 (2009)
- [c69]Tugkan Tuglular, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte: GUI-Based Testing of Boundary Overflow Vulnerability. COMPSAC (2) 2009: 539-544
- [c68]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 354-355
- [c67]Christof J. Budnik, Fevzi Belli, Axel Hollmann: Structural Feature Extraction for GUI Test Enhancement. ICST Workshops 2009: 255-262
- [c66]Fevzi Belli, Michael Linschulte: Testing Composite Web Services-An Event-Based Approach. ICST Workshops 2009: 307-310
- [c65]Fevzi Belli, Axel Hollmann, Zhenyu Chen: Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. ICTA 2009: 65-74
- [c64]Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte: Event-Based Input Validation Using Design-by-Contract Patterns. ISSRE 2009: 195-204
- [c63]Fevzi Belli, Mubariz Eminov, Nida Gökçe: Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. KI 2009: 427-434
- [c62]Fevzi Belli, Axel Hollmann, Markus Kleinselbeck: A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation. SSIRI 2009: 193-200
- [c61]Fevzi Belli, Axel Hollmann, Sascha Padberg: Communication Sequence Graphs for Mutation-Oriented Integration Testing. SSIRI 2009: 387-392
- [c60]Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli: Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. SSIRI 2009: 393-398
- [c59]Fevzi Belli, Mutlu Beyazit: Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation. DCFS 2009: 69-77
- 2008
- [c58]Fevzi Belli, Cristina Cerschi Seceleanu: Panel Description: 40 Years of Software Engineering. COMPSAC 2008: 7
- [c57]Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai: Message from the IWSC 2008 Workshop Organizers. COMPSAC 2008: 813
- [c56]Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai: IWSC 2008 Workshop Organization. COMPSAC 2008: 814-815
- [c55]Fevzi Belli, Michael Linschulte: Event-Driven Modeling and Testing of Web Services. COMPSAC 2008: 1168-1173
- [c54]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter: MOTES08 - Modellbasiertes Testen. GI Jahrestagung (1) 2008: 173-174
- [c53]Hong Zhu, W. Eric Wong, Fevzi Belli: Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. ICSE Companion 2008: 1049-1050
- [c52]Fevzi Belli, Axel Hollmann: Test generation and minimization with "basic" statecharts. SAC 2008: 718-723
- [c51]Fevzi Belli, Christof J. Budnik, Andreas Spillner: 2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering 2008: 298-299
- [c50]Fevzi Belli, Christof J. Budnik, Andreas Spillner: 2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering (Workshops) 2008: 353-354
- [e4]Hong Zhu, W. Eric Wong, Fevzi Belli (Eds.): Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. ACM 2008
- 2007
- [j12]Fevzi Belli, Christof J. Budnik: Test minimization for human-computer interaction. Appl. Intell. 26(2): 161-174 (2007)
- [c49]Fevzi Belli, Mubariz Eminov, Nida Gökçe: Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. COMPSAC (2) 2007: 197-203
- [c48]Fevzi Belli, Mubariz Eminov, Nida Gökçe: Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. LADC 2007: 95-110
- [c47]Fevzi Belli, Axel Hollmann, Nimal Nissanke: Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. SAFECOMP 2007: 276-282
- [c46]
- [c45]Fevzi Belli, Michael Linschulte, Ralf Zirnsak, Günter Hofmann: "Negativ"-Tests interaktiver Systeme und ihre Automatisierung. Software Engineering (Workshops) 2007: 35-44
- [c44]Fevzi Belli, Axel Hollmann: Holistic testing with basic statecharts. Software Engineering (Workshops) 2007: 91-100
- [c43]Sami Beydeda, Fevzi Belli: WG1: Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering 2007: 273-274
- 2006
- [j11]Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur: Introduction to the special section on software cybernetics. Journal of Systems and Software 79(11): 1483-1485 (2006)
- [j10]Fevzi Belli, Christof J. Budnik, Lee White: Event-based modelling, analysis and testing of user interactions: approach and case study. Softw. Test., Verif. Reliab. 16(1): 3-32 (2006)
- [c42]Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker: Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. GI Jahrestagung (2) 2006: 266-273
- [c41]Nida Gökçe, Mubariz Eminov, Fevzi Belli: Coverage-Based, Prioritized Testing Using Neural Network Clustering. ISCIS 2006: 1060-1071
- [c40]Fevzi Belli, Christof J. Budnik, Axel Hollmann: Holistic Testing of Interactive Systems Using Statecharts. Sicherheit 2006: 345-356
- 2005
- [c39]Fevzi Belli, Christof J. Budnik: Towards Self-Testing of Component-Based Software. COMPSAC (2) 2005: 205-210
- [c38]Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin: View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. HASE 2005: 121-130
- [c37]Fevzi Belli, Christof J. Budnik: Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE 2005: 300-309
- [c36]Fevzi Belli, Baris Güldali: A Holistic Approach to Test-Driven Model Checking. IEA/AIE 2005: 321-331
- [c35]Fevzi Belli, Christof J. Budnik: Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. Software Engineering 2005: 79-90
- [c34]Fevzi Belli, Christof J. Budnik: Test Cost Reduction for Interactive Systems. Sicherheit 2005: 149-160
- 2004
- [c33]Fevzi Belli, Christof J. Budnik, Nimal Nissanke: Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops 2004: 19-33
- [c32]Fevzi Belli, Christof J. Budnik: Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops 2004: 18-19
- [c31]Fevzi Belli, Christof J. Budnik: Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC 2004: 220-234
- [c30]
- 2001
- [c29]Fevzi Belli: Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement. EUROMICRO 2001: 4-
- [c28]Fevzi Belli: Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces. IEA/AIE 2001: 919-920
- [c27]
- 2000
- [c26]Fevzi Belli, Thomas Illgen: Logic Representation of Programs to Detect Arithmetic Anomalies. EUROMICRO 2000: 2216-
1990 – 1999
- 1999
- [c25]Fevzi Belli: Software Reliability Engineering - Risk Management for the New Millenium. EDCC 1999: 63-66
- 1998
- [j9]Fevzi Belli, Matthias Grochtmann, Oliver Jack: Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. Informatik Spektrum 21(3): 131-140 (1998)
- [j8]Fevzi Belli: Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. Informatik Spektrum 21(6): 337-346 (1998)
- [j7]Fevzi Belli, Oliver Jack: Declarative Paradigm of Test Coverage. Softw. Test., Verif. Reliab. 8(1): 15-47 (1998)
- 1994
- [j6]Alireza Azem, Fevzi Belli: Determining the Reliability of Prolog Programs. Softw. Test., Verif. Reliab. 4(4): 203-222 (1994)
- [c24]
- [c23]
- [c22]Fevzi Belli, Alfried Pollmann, Radu Crisan: Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. IEA/AIE 1994: 293-303
- [c21]Fevzi Belli, Javier Dreyer: Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. IEA/AIE 1994: 465-474
- [c20]
- [c19]
- 1993
- [c18]Fevzi Belli: Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems. Systems Engineering in Public Administration 1993: 125-144
- [c17]Fevzi Belli, Oliver Jack: Implementation-Based Analysis and Testing of Prolog Programs. ISSTA 1993: 70-80
- [c16]
- [c15]Alireza Azem, Fevzi Belli: Reliability Prediction and Reliability Assessment Environment or Prolog Programs. LPE 1993: 100-105
- [c14]Alireza Azem, Fevzi Belli, Oliver Jack: Implementation-Oriented Testing and Reliability Determination of Prolog Programs. SEKE 1993: 526-533
- 1992
- [c13]Fevzi Belli, Alfred Schmidt: Systematische Dokumentation logischer Programme. Informatik zwischen Wissenschaft und Gesellschaft 1992: 32-46
- [e3]Fevzi Belli, Franz Josef Radermacher (Eds.): Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings. Lecture Notes in Computer Science 604, Springer 1992, ISBN 3-540-55601-X
- 1991
- [j5]Fevzi Belli, Piotr Jedrzejowicz: An Approach to the Reliability Optimization of Software with Redundancy. IEEE Trans. Software Eng. 17(3): 310-312 (1991)
- [j4]Fevzi Belli, Karl-Erwin Großpietsch: Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. IEEE Trans. Software Eng. 17(6): 513-526 (1991)
- 1990
- [c12]Fevzi Belli, Hinrich E. G. Bonin: An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREX. IEA/AIE (Vol. 1) 1990: 489-499
- [c11]Fevzi Belli, Ismael Camara, Alfred Schmidt: A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. IEA/AIE (Vol. 2) 1990: 726-734
- [c10]Alfred Schmidt, Fevzi Belli: An Extension of PROLOG for Object-Oriented Programming in Logic. IEA/AIE (Vol. 2) 1990: 1153-1161
1980 – 1989
- 1989
- [c9]Fevzi Belli, M. Klug, Werner van Treeck: ASH-Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der Kommunalverwaltung. GI Jahrestagung (2) 1989: 245-259
- [c8]Fevzi Belli, Hinrich E. G. Bonin, H. Gerdes, W. Filipowicz, Piotr Jedrzejowicz: Some aspects on the development and validation of FIREX: a knowledge-based system for the transport of dangerous goods and fire department consulting. IEA/AIE (2) 1989: 680-689
- [c7]Fevzi Belli, Hinrich E. G. Bonin: Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung. Informatik im Umweltschutz 1989: 278-287
- 1988
- [j3]Fevzi Belli, Piotr Jedrzejowicz: Towards Reliability Optimization of Fault-tolerant Software. Elektronische Informationsverarbeitung und Kybernetik 24(9): 431-442 (1988)
- [j2]Fevzi Belli, Piotr Jedrzejowicz: Fault-Tolerant Programs. Angewandte Informatik 30(12): 533-538 (1988)
- [c6]Fevzi Belli, Hinrich E. G. Bonin, W. Filipowicz, Piotr Jedrzejowicz: FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den Feuerwehreinsatz. GI Jahrestagung (1) 1988: 351-365
- 1987
- [e2]Fevzi Belli, Winfried Görke (Eds.): Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, Proceedings. Informatik-Fachberichte 147, Springer 1987, ISBN 3-540-18294-2
- 1986
- [j1]Fevzi Belli, Klaus Echtle, Winfried Görke: Methoden und Modelle der Fehlertoleranz. Informatik Spektrum 9(2): 68-81 (1986)
- 1984
- [c5]M. A. J. Burford, Fevzi Belli: CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. Fehlertolerierende Rechensysteme 1984: 101-126
- [c4]B. Eggers, Fevzi Belli: Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. Fehlertolerierende Rechensysteme 1984: 138-149
- [c3]Fevzi Belli: Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 253-267
- [e1]Fevzi Belli, Silvia Pfleger, Manfred H. Seifert (Eds.): Software-Fehlertoleranz und -Zuverlässigkeit. Informatik-Fachberichte 83, Springer 1984, ISBN 3-540-13383-6
- 1982
- [c2]Fevzi Belli: Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz. Fehlertolerierende Rechensysteme 1982: 175-188
- 1980
- [c1]Fevzi Belli: Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. Software Engineering 1980: 354-355
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-17 21:56 CEST by the dblp team