ahresbericht 2011 der Fakultät EIM - Universität Paderborn: ONT

00 10 Rubrik Anhang Institut für Elektrotechnik und Informationstechnik
PERSONAL
82
Prof. Dr.-Ing.
Fevzi Belli
Wissenschaftliche Mitarbeiter
M.Sc. Mutlu Beyazit
Dipl.-Wirt.-Inf. Michael Linschulte
Technischer Mitarbeiter
Dipl.-Ing. Sascha Padberg
PUBLIKATIONEN
Bücher, Buchbeiträge
Angewandte Datentechnik
Belli, F.; Hollmann, A.; Padberg, S.: Model-Based
Integration Testing with Communication Sequence
Graphs, Chapter of the book “Model-Based Testing
for Embedded Systems”, Taylor & Francis, CRC Press
Belli, F.; Eminov, M.; Gökçe, N.; Wong, W.E.: Prioritizing
Coverage-Oriented Testing Process – An
Adaptive-Learning-Based Approach and Case Study,
A Control Adaptive Approach for Software Quality
Improvement: A Software Cybernetics Perspective,
World Scientifi c
Quella, F.; Belli, F.: Reuse of components and products
– “qualifi ed as good as new”, Handbook of
Sustainable Engineering, Springer
Begutachtete Beiträge an Tagungen
Belli, F.; Beyazıt, M.; Güler N.; Hollmann, A.: Statistical
Evaluation of Test Sets Using Mutation Analysis,
Proc. 35th IEEE Annual Computer Software and
Applications Conference, pp. 180-183
Belli, F.; Beyazıt, M.: Event-Based Mutation Testing
vs. State-Based Mutation Testing – An Experimental
Comparison, Proc. 35th IEEE Annual Computer
Software and Applications Conference (COMPSAC
2011), pp. 650-655
Belli, F.; Beyazıt, M.; Güler N.: Event-Based GUI
Testing and Reliability Assessment Techniques – An
Experimental Insight and Preliminary Results, Proc.
4th IEEE International Conference on Software Testing,
Verifi cation and Validation, pp. 212-221
Belli, F.; Beyazıt, M.; Takagi, T.; Furukawa, Z.:
Mutation Testing of “Go-Back” Functions Based on
Pushdown Automata, Proc. 4th IEEE International
Jahresbericht 2011
Conference on Software Testing, Verifi cation and
Validation, pp. 249-258
Belli, F.; Endo, A.; Linschulte, M.; Simao, A.: Modelbased
Testing of Web Service Compositions, Proc.
6th IEEE International Symposium on Service-Oriented
System Engineering (SOSE 2011), pp. 181-192
Belli, F.; Güler, N.; Linschulte, M.: Layer-Centric Test-
ing, Proc. 24th International Conference on Architecture
of Computing Systems, VDE Verlag, pp. 88-95
Belli, F.; Güler, N.; Linschulte, M.: Does “Depth”
Really Matter? On the Role of Model Refi nement for
Testing and Reliability, 35th IEEE Annual Computer
Software and Applications Conference (Best Paper),
pp. 630-639
Takagi, T.; Takata, R.; Furukawa, Z.; Belli, F.; Beyazıt,
M.: Metrics for Model-Based Mutation Testing
Based on Place/Transition Nets, Proc. The IEEE Joint
Conference of the 21st International Workshop on
Software Measurement (IWSM) and the 6th International
Conference on Software Process and Product
Measurement (Mensura), pp. 7-10
Belli, F.; Beyazıt, M.: Grammar-Based Mutation
Testing (In Turkish), Proc. 4th National Software
Engineering Symposium (Best Paper), pp. 38-45
TAGUNGEN, SEMINARE, MESSEN
Mitglied bzw. Leiter der Programm-Komitees folgender
internationaler und nationaler Tagungen:
F. Belli
· International Workshop on Software Cybernetics
(Steering Committee), IEEE Computer Society
· Workshop on Automation of Software Test at 33rd
International Conference on Software Engineering
(Steering Committee), ACM, IEEE
· International Conference on Software Testing,
Verifi cation and Validation, IEEE Computer Society
· International Computer Software and Applications
Conference, IEEE Computer Society
· International Conference on Quality Software,
IEEE Computer Society
· The Software Engineering Track at The Annual
ACM Symposium on Applied Computing
· International Conference on Software and Data
Technologies, OMG, Institute for Systems and
Technologies of Information, Control and Communication,
etc.
· International Conference on Industrial & Engineering
Applications of Artifi cial Intelligence &
Expert Systems, ISAI, IEEE Computer Society,
AAAI, ACM/SIGART, ECCAI, ENNS, INNS, etc.
· Genetic and Evolutionary Computing Conference –
Search-Based Software Engineering Track,
American Artifi cial Intelligence Association for
Artifi cial Intelligence (AAAI)
· Software Engineering & Knowledge Engineering
(SEKE), Knowledge Systems Institute
· International Conference on Secure Software &
Reliability (SSIRI), IEEE Computer Society
· International Conference on Software Engineer ing
and Applications (SEA), The Internatio nal Association
of Science and Technology for Development
(IASTED). Technical Committee on Software
Engineering
· Turkish National Congress on Software Engineering
· International Conference on Future Generation
Communication and Networking (FGCN), SERSC
and ECSIS
· Dependable Systems, Services and Technologies
(DeSSerT), IEEE Computer Society
· Genetic and Evolutionary Computation Conference
(GECCO)
· International Workshop on TESTing Techniques
& Experimentation Benchmarks for Event-Driven
Software (TESTBEDS), IEEE Computer Society
WEITERE FUNKTIONEN
F. Belli
Mitglied und Sprecher des Beirates des Institute of
Computer Science, Leuphana Universität Lüneburg
Gutachter bei:
· IEEE Transaction on Software Engineering
· Software Testing, Verifi cation, and Reliability
· Software: Practice and Experience
· Journal of Information and Software Technology
· Journal of Applied Intelligence
· Journal Systems and Software
Sonstige Gutachter-Tätigkeiten:
· Mitarbeiter der DKE (Deutsche Kommission Elektrotechnik,
Elektronik, Informationstech nik im
DIN und VDE) und des Normungsgremiums K 132
„Zuverlässigkeit“
· Obmann des Normungsvorhabens DIN 48480
„Gebrauchstauglichkeit und Qualität neuwerti -
ger Produkte – Anforderungen und Prüfun gen“
· Obmann des Normungsvorhabens IEC 62309
„Dependability of products containing reused
parts – requirements for functionality and tests“
· Initiator des Normungsvorhabens „Dependability
of software products contain ing reused components
– Requirements for functionality and
tests“
AKTUELLE FORSCHUNGSPROJEKTE
„Entwurf und Realisierung eines erweiterbaren,
webbasierten Verwaltungs- und Verkaufs sys tems
für globale Touristik-Dienstleistungen“. Förderer:
ISELTA GmbH, Paderborn