Fevzi Belli - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Mutation Testing of Go-Back Functions Based on Pushdown AutomataFevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa. icst 2011: 249-258 [doi]

2010

MOTES2010 - Modellbasiertes Testen (Vorwort)Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter. gi 2010: 319-320

Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segmentsFevzi Belli, Michele Luglio, Cesare Roseti. fia 2010: 139-148 [doi]

A Formal Framework for Mutation TestingFevzi Belli, Mutlu Beyazit. ssiri 2010: 121-130 [doi]

Fault Detection Likelihood of Test Sequence LengthFevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber. icst 2010: 402-411 [doi]

Towards Scalable Robustness TestingFevzi Belli, Axel Hollmann, W. Eric Wong. ssiri 2010: 208-216 [doi]

Event-driven modeling and testing of real-time web servicesFevzi Belli, Michael Linschulte. soca, 4(1):3-15, 2010. [doi]

Software Test AutomationPhillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu. advse, 2010, 2010. [doi]

2009

Vorwort der Workshop-LeitungFevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter. gi 2009: 354-355

A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case GenerationFevzi Belli, Axel Hollmann, Markus Kleinselbeck. ssiri 2009: 193-200 [doi]

Communication Sequence Graphs for Mutation-Oriented Integration TestingFevzi Belli, Axel Hollmann, Sascha Padberg. ssiri 2009: 387-392 [doi]

Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer InterfacesFevzi Belli, Axel Hollmann, Zhenyu Chen. icta 2009: 65-74

Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case StudiesFevzi Belli, Mubariz Eminov, Nida GÃ¶kÃ§e. ki 2009: 427-434 [doi]

GUI-Based Testing of Boundary Overflow VulnerabilityTugkan Tuglular, Can A. Muftuoglu, Ozgur Kaya, Fevzi Belli, Michael Linschulte. compsac 2009: 539-544 [doi]

Event-Based Input Validation Using Design-by-Contract PatternsTugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte. issre 2009: 195-204 [doi]

Directed Acyclic Graph Modeling of Security Policies for Firewall TestingTugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli. ssiri 2009: 393-398 [doi]

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)Hong Zhu, Fevzi Belli. INFSOF, 51(11):1485-1486, 2009. [doi]

2008

MOTES08 - Modellbasiertes TestenFevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter. gi 2008: 173-174

2. Workshop Testmethoden für Software - Von der Forschung in die PraxisFevzi Belli, Christof J. Budnik, Andreas Spillner 0002. se 2008: 353-354

2. Workshop Testmethoden für Software - Von der Forschung in die PraxisFevzi Belli, Christof J. Budnik, Andreas Spillner 0002. se 2008: 298-299

Panel Description: 40 Years of Software EngineeringFevzi Belli, Cristina Cerschi Seceleanu. compsac 2008: 7 [doi]

Test generation and minimization with basic statechartsFevzi Belli, Axel Hollmann. SAC 2008: 718-723 [doi]

Event-Driven Modeling and Testing of Web ServicesFevzi Belli, Michael Linschulte. compsac 2008: 1168-1173 [doi]

IWSC 2008 Workshop OrganizationStephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai. compsac 2008: 814-815 [doi]

Message from the IWSC 2008 Workshop OrganizersStephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai. compsac 2008: 813 [doi]

Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008Hong Zhu, W. Eric Wong, Fevzi Belli, editors, ACM, 2008.

Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software testHong Zhu, W. Eric Wong, Fevzi Belli. ICSE 2008: 1049-1050 [doi]

2007

Test minimization for human-computer interactionFevzi Belli, Christof J. Budnik. apin, 26(2):161-174, 2007. [doi]

Holistic testing with basic statechartsFevzi Belli, Axel Hollmann. se 2007: 91-100

Negativ -Tests interaktiver Systeme und ihre AutomatisierungFevzi Belli, Michael Linschulte, Ralf Zirnsak, Günter Hofmann. se 2007: 35-44

Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case StudyFevzi Belli, Mubariz Eminov, Nida Gökçe. ladc 2007: 95-110 [doi]

Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case StudyFevzi Belli, Mubariz Eminov, Nida Gökçe. compsac 2007: 197-203 [doi]

Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case StudyFevzi Belli, Axel Hollmann, Nimal Nissanke. safecomp 2007: 276-282 [doi]

WG1: Testmethoden für Software - Von der Forschung in die PraxisSami Beydeda, Fevzi Belli. se 2007: 273-274

EinführungSami Beydeda, Fevzi Belli. se 2007: 19-20

2006

2005

2004

2001

Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process ImprovementFevzi Belli. euromicro 2001: 4 [doi]

Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User InterfacesFevzi Belli. ieaaie 2001: 919-920 [doi]

Finite-State Testing and Analysis of Graphical User InterfacesFevzi Belli. issre 2001: 34-43 [doi]

2000

Logic Representation of Programs to Detect Arithmetic AnomaliesFevzi Belli, Thomas Illgen. euromicro 2000: 2216 [doi]

1999

Software Reliability Engineering - Risk Management for the New MilleniumFevzi Belli. edcc 1999: 63-66 [doi]

1998

Erprobte Modelle zur Quantifizierung der Software-ZuverlässigkeitFevzi Belli, Matthias Grochtmann, Oliver Jack. insk, 21(3):131-140, 1998. [doi]

Methoden und Hilfsmittel für die systematische Prüfung komplexer SoftwareFevzi Belli. insk, 21(6):337-346, 1998. [doi]

Declarative Paradigm of Test CoverageFevzi Belli, Oliver Jack. stvr, 8(1):15-47, 1998.

1994

1993

1992

Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, ProceedingsFevzi Belli, Franz Josef Radermacher, editors, Volume 604 of Lecture Notes in Computer Science, Springer, 1992.

Systematische Dokumentation logischer ProgrammeFevzi Belli, Alfred Schmidt. BIRTHDAY 1992: 32-46

1991

Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case StudyFevzi Belli, Karl-Erwin Großpietsch. TSE, 17(6):513-526, 1991. [doi]

An Approach to the Reliability Optimization of Software with RedundancyFevzi Belli, Piotr Jedrzejowicz. TSE, 17(3):310-312, 1991. [doi]

1990

A Built-in Test Language for PROLOG to Validate Knowledge-Based SystemsFevzi Belli, Ismael Camara, Alfred Schmidt. ieaaie 1990: 726-734 [doi]

An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREXFevzi Belli, Hinrich E. G. Bonin. ieaaie 1990: 489-499 [doi]

An Extension of PROLOG for Object-Oriented Programming in LogicAlfred Schmidt, Fevzi Belli. ieaaie 1990: 1153-1161 [doi]

1989

ASH-Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der KommunalverwaltungFevzi Belli, M. Klug, Werner van Treeck. gi 1989: 245-259

Some aspects on the development and validation of FIREX: a knowledge-based system for the transport of dangerous goods and fire department consultingFevzi Belli, Hinrich E. G. Bonin, H. Gerdes, W. Filipowicz, Piotr Jedrzejowicz. ieaaie 1989: 680-689 [doi]

Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die WeiterentwicklungFevzi Belli, Hinrich E. G. Bonin. umwelt 1989: 278-287

1988

Fault-Tolerant ProgramsFevzi Belli, Piotr Jedrzejowicz. wi, 30(12):533-538, 1988.

Towards Reliability Optimization of Fault-tolerant SoftwareFevzi Belli, Piotr Jedrzejowicz. eik, 24(9):431-442, 1988.

FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den FeuerwehreinsatzFevzi Belli, Hinrich E. G. Bonin, W. Filipowicz, Piotr Jedrzejowicz. gi 1988: 351-365

1987

Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, ProceedingsFevzi Belli, Winfried Görke, editors, Volume 147 of Informatik-Fachberichte, Springer, 1987.

1986

Methoden und Modelle der FehlertoleranzFevzi Belli, Klaus Echtle, Winfried Görke. insk, 9(2):68-81, 1986.

1984

Software-Fehlertoleranz und -ZuverlässigkeitFevzi Belli, Silvia Pfleger, Manfred H. Seifert, editors, Volume 83 of Informatik-Fachberichte, Springer, 1984.

Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-ZuverlässigkeitFevzi Belli. icftcs 1984: 253-267

CADAS: A tool for designing reliable embedded software and supporting testing in the large M. A. J. Burford, Fevzi Belli. icftcs 1984: 101-126

Eine Theories der Analyse und Konstruktion fehlertolerierender SystemeB. Eggers, Fevzi Belli. icftcs 1984: 138-149

1982

Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf FehlertoleranzFevzi Belli. icftcs 1982: 175-188

1980

Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-SoftwareFevzi Belli. se 1981: 354-355