Fevzi Belli
Fevzi Belli
Emer. Professor der Informationsverarbeitung, Universität Paderborn
Verified email at upb.de - Homepage
Cited by
Cited by
Finite state testing and analysis of graphical user interfaces
F Belli
Proceedings 12th international symposium on software reliability engineering …, 2001
Event‐based modelling, analysis and testing of user interactions: approach and case study
F Belli, CJ Budnik, L White
Software Testing, Verification and Reliability 16 (1), 3-32, 2006
An approach to the reliability optimization of software with redundancy
F Belli, P Jedrzejowicz
IEEE transactions on Software Engineering 17 (3), 310-312, 1991
Fault-tolerant programs and their reliability
F Belli, P Jedrzejowicz
IEEE Transactions on Reliability 39 (2), 184-192, 1990
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions—Approach and Case Study
F Belli, KE Grosspietsch
IEEE Transactions on software engineering 17 (6), 513, 1991
Basic operations for generating behavioral mutants
F Belli, CJ Budnik, WE Wong
Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 9-9, 2006
Model-based mutation testing—approach and case studies
F Belli, CJ Budnik, A Hollmann, T Tuglular, WE Wong
Science of Computer Programming 120, 25-48, 2016
Minimal spanning set for coverage testing of interactive systems
F Belli, CJ Budnik
International Colloquium on Theoretical Aspects of Computing, 220-234, 2004
Test minimization for human-computer interaction
F Belli, CJ Budnik
Applied Intelligence 26 (2), 161-174, 2007
Towards automation of checklist-based code-reviews
F Belli, R Crisan
Proceedings of ISSRE'96: 7th International Symposium on Software Reliability …, 1996
A holistic approach to model‐based testing of Web service compositions
F Belli, AT Endo, M Linschulte, A Simao
Software: Practice and Experience 44 (2), 201-234, 2014
Event-driven modeling and testing of web services
F Belli, M Linschulte
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
Test generation and minimization with" Basic" statecharts
F Belli, A Hollmann
Proceedings of the 2008 ACM symposium on Applied computing, 718-723, 2008
Event-driven modeling and testing of real-time web services
F Belli, M Linschulte
Service Oriented Computing and Applications 4 (1), 3-15, 2010
On negative tests of web applications
F Belli, M Linschulte
Annals of Mathematics, Computing & Teleinformatics 1 (5), 44-56, 2008
Testing is an event-centric activity
F Belli, M Beyazit, A Memon
2012 IEEE Sixth International Conference on Software Security and …, 2012
Methoden und Modelle der Fehlertoleranz
F Belli, K Echtle, W Görke
Informatik Spektrum: Vol. 9, No. 2, 1986
A formal framework for mutation testing
F Belli, M Beyazit
2010 Fourth International Conference on Secure Software Integration and …, 2010
A test coverage notion for logic programming
F Belli, O Jack
Proceedings of Sixth International Symposium on Software Reliability …, 1995
Einführung in die logische Programmierung mit PROLOG
F Belli
Wissenschaftsverlag, 1988
The system can't perform the operation now. Try again later.
Articles 1–20