All Stories

  1. Message from the STA Workshop Organizers

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  2. Message from the MVDA Workshop Organizers

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  3. Model-based mutation testing—Approach and case studies

    Article • Science of Computer Programming, May 2016, Elsevier

    Fevzi BELLI

  4. Input Contract Testing of Graphical User Interfaces

    Article • International Journal of Software Engineering and Knowledge Engineering, March 2016, World Scientific Pub Co Pte Lt

    Fevzi BELLI

  5. Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique

    Article • August 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  6. Model Based Testing of VHDL Programs

    Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  7. Message from the STA 2015 Workshop Organizers

    Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  8. Message from the MVDA 2015 Workshop Organizers

    Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  9. Model-Based Contract Testing of Graphical User Interfaces

    Article • IEICE Transactions on Information and Systems, January 2015, Institute of Electronics, Information and Communications Engineers (IEICE)

    Fevzi BELLI

  10. Model-based test case prioritization using cluster analysis: a soft-computing approach

    Article • TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, January 2015, The Scientific and Technological Research Council of Turkey

    Fevzi BELLI

  11. Fault domain-based testing in imperfect situations: a heuristic approach and case studies

    Article • Software Quality Journal, June 2014, Springer Science + Business Media

    Fevzi BELLI

  12. Assuring Dependability of Software Reuse: An Industrial Standard

    Article • January 2014, Springer Science + Business Media

    Fevzi BELLI

  13. Assuring Dependability of Software Reuse: An Industrial Standard

    Article • January 2014, Springer Science + Business Media

    Fevzi BELLI

  14. Dependability and Software Reuse -- Coupling Them by an Industrial Standard

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  15. Reuse of Components and Products: “Qualified as Good as New”

    Article • January 2013, Springer Science + Business Media

    Fevzi BELLI

  16. Using Regular Grammars for Event-Based Testing

    Article • January 2013, Springer Science + Business Media

    Fevzi BELLI

  17. A holistic approach to model-based testing of Web service compositions

    Article • Software Practice and Experience, October 2012, Wiley

    Fevzi BELLI

  18. Testing is an Event-Centric Activity

    Article • June 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  19. Layer-Centric Testing

    Article • FERS-Mitteilungen, April 2012, Springer Science + Business Media

    Fevzi BELLI

  20. Modeling, Analysis, and Testing of System Vulnerabilities

    Article • January 2012, Elsevier

    Fevzi BELLI

  21. Event-Oriented, Model-Based GUI Testing and Reliability Assessment—Approach and Case Study

    Article • January 2012, Elsevier

    Fevzi BELLI

  22. Model-Based Mutation Testing Using Pushdown Automata

    Article • IEICE Transactions on Information and Systems, January 2012, Institute of Electronics, Information and Communications Engineers (IEICE)

    Fevzi BELLI

  23. Model-based testing of web service compositions

    Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  24. Model-Based Integration Testing with Communication Sequence Graphs

    Article • September 2011, Taylor & Francis

    Fevzi BELLI

  25. Statistical Evaluation of Test Sets Using Mutation Analysis

    Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  26. Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison

    Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  27. Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability

    Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  28. PRIORITIZING COVERAGE-ORIENTED TESTING PROCESS — AN ADAPTIVE-LEARNING-BASED APPROACH AND CASE STUDY

    Article • June 2011, World Scientific Pub Co Pte Lt

    Fevzi BELLI

  29. Event-Based GUI Testing and Reliability Assessment Techniques -- An Experimental Insight and Preliminary Results

    Article • March 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  30. Mutation Testing of "Go-Back" Functions Based on Pushdown Automata

    Article • March 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  31. Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  32. Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  33. Event-driven modeling and testing of real-time web services

    Article • Service Oriented Computing and Applications, March 2010, Springer Science + Business Media

    Fevzi BELLI

  34. Fault Detection Likelihood of Test Sequence Length

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  35. Towards Scalable Robustness Testing

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  36. A Formal Framework for Mutation Testing

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  37. Test Prioritization at Different Modeling Levels

    Article • January 2010, Springer Science + Business Media

    Fevzi BELLI

  38. Model-Based Higher-Order Mutation Analysis

    Article • January 2010, Springer Science + Business Media

    Fevzi BELLI

  39. Software Test Automation

    Article • Advances in Software Engineering, January 2010, Hindawi Publishing Corporation

    Fevzi BELLI

  40. Protocol-Based Testing of Firewalls

    Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  41. 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)

    Article • Information and Software Technology, November 2009, Elsevier

    Fevzi BELLI

  42. Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

    Article • Electronic Proceedings in Theoretical Computer Science, July 2009, Open Publishing Association

    Fevzi BELLI

  43. Communication Sequence Graphs for Mutation-Oriented Integration Testing

    Article • July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  44. A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation

    Article • July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  45. Directed Acyclic Graph Modeling of Security Policies for Firewall Testing

    Article • July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  46. Structural Feature Extraction for GUI Test Enhancement

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  47. Testing Composite Web Services--An Event-Based Approach

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  48. Model-Based Test Prioritizing – A Comparative Soft-Computing Approach and Case Studies

    Article • January 2009, Springer Science + Business Media

    Fevzi BELLI

  49. Test generation and minimization with "basic" statecharts

    Article • January 2008, ACM (Association for Computing Machinery)

    Fevzi BELLI

  50. Event-Driven Modeling and Testing of Web Services

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  51. Panel Description: 40 Years of Software Engineering

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  52. IWSC 2008 Workshop Organization

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  53. Message from the IWSC 2008 Workshop Organizers

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  54. Advancing test automation technology to meet the challenges of model-driven software development

    Article • January 2008, ACM (Association for Computing Machinery)

    Fevzi BELLI

  55. Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study

    Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  56. Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study

    Article • January 2007, Springer Science + Business Media

    Fevzi BELLI

  57. Test minimization for human-computer interaction

    Article • Applied Intelligence, November 2006, Springer Science + Business Media

    Fevzi BELLI

  58. Basic Operations for Generating Behavioral Mutants

    Article • November 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Fevzi BELLI

  59. Introduction to the special section on software cybernetics

    Article • Journal of Systems and Software, November 2006, Elsevier

    Fevzi BELLI

  60. Coverage-Based, Prioritized Testing Using Neural Network Clustering

    Article • January 2006, Springer Science + Business Media

    Fevzi BELLI

  61. Event-based modelling, analysis and testing of user interactions: approach and case study

    Article • Software Testing Verification and Reliability, January 2006, Wiley

    Fevzi BELLI

  62. A Holistic Approach to Test-Driven Model Checking

    Article • January 2005, Springer Science + Business Media

    Fevzi BELLI

  63. Towards Minimization of Test Sets for Human-Computer Systems

    Article • January 2005, Springer Science + Business Media

    Fevzi BELLI

  64. Minimal Spanning Set for Coverage Testing of Interactive Systems

    Article • January 2005, Springer Science + Business Media

    Fevzi BELLI

  65. Software Testing via Model Checking

    Article • January 2004, Springer Science + Business Media

    Fevzi BELLI

  66. Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces

    Article • January 2001, Springer Science + Business Media

    Fevzi BELLI

  67. Software Reliability Engineering Risk Management for the New Millenium

    Article • January 1999, Springer Science + Business Media

    Fevzi BELLI

  68. Methoden und Hilfsmittel für die systematische Prüfung komplexer Software

    Article • Informatik-Spektrum, December 1998, Springer Science + Business Media

    Fevzi BELLI

  69. Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit

    Article • Informatik-Spektrum, June 1998, Springer Science + Business Media

    Fevzi BELLI

  70. Declarative paradigm of test coverage

    Article • Software Testing Verification and Reliability, March 1998, Wiley

    Fevzi BELLI

  71. Determining the reliability of prolog programs

    Article • Software Testing Verification and Reliability, January 1994, Wiley

    Fevzi BELLI

  72. Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems

    Article • January 1993, Elsevier

    Fevzi BELLI

  73. Systematische Dokumentation logischer Programme

    Article • January 1992, Springer Science + Business Media

    Fevzi BELLI

  74. FEVZI BELLI : Einfiihrung in die logische Programmierung mit PROLOC. BI Hochschultaschenbiicher. Band 630. Mannheim/Wien/Ziirich : Bibliographisches Institut, 1986. - 280 S

    Article • Astronomische Nachrichten, January 1989, Wiley

    Fevzi BELLI

  75. Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz

    Article • January 1982, Springer Science + Business Media

    Fevzi BELLI

  76. Coverage-Oriented, Prioritized Testing – A Fuzzy Clustering Approach and Case Study

    Article • Springer Science + Business Media

    Fevzi BELLI