個人資料

Paul Pettersson

Professor of Real-time Systems, Mälardalen University

在 mdh.se 的電子郵件地址已通過驗證

被引用 12726 次

Computer Science Embedded Systems Real-time Systems Model-Checking Model-based Testing

Alexander Pretschner

Professor of Computer Science, Technische Universität München

在 in.tum.de 的電子郵件地址已通過驗證

被引用 11792 次

Software Engineering Security Model-Based Testing

Ramaswamy Chandramouli

Supervisory Computer Scientist, Computer Security Division, Information Technology Lab …

在 nist.gov 的電子郵件地址已通過驗證

被引用 10883 次

Role-based Access Control Model-based Testing DNS Security Smart Cards & Identity Management Virtualization

Robert Hierons

Professor, The University of Sheffield

在 sheffield.ac.uk 的電子郵件地址已通過驗證

被引用 10014 次

Model based testing distributed testing mutation testing formal methods SBSE

Thao Dang

CNRS Research Director, Laboratory VERIMAG, Grenoble, France

在 imag.fr 的電子郵件地址已通過驗證

被引用 6801 次

formal methods hybrid systems cyber-physical systems model-based testing systems biology

Moez Krichen

Associate Professor of Computer Science, Albaha University and ISIMS, Sfax University

在 redcad.org 的電子郵件地址已通過驗證

被引用 6752 次

Model Based Testing Artificial Intelligence Blockchain IoT Security

Jan Tretmans

Research Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, Nijmegen

在 cs.ru.nl 的電子郵件地址已通過驗證

被引用 6536 次

Model-Based Testing Formal Methods Software Quality Automata Learning

Bruno Legeard

Université Bourgogne Franche-Comté - FEMTO-ST Institute / Smartesting

在 femto-st.fr 的電子郵件地址已通過驗證

被引用 5734 次

Software testing AI-Driven Testing Test Design Automation Model-Based Testing Automated test generation

Mark Utting

The University of Queensland

在 uq.edu.au 的電子郵件地址已通過驗證

被引用 5599 次

Formal methods Model-Based Testing Program Analysis Machine Learning

Dejan Nickovic

Austrian Institute of Technology

在 ait.ac.at 的電子郵件地址已通過驗證

被引用 5299 次

runtime verification cyber-physical systems contract-based design specification languages model-based testing

1 - 10