Profil

Paul Pettersson

Professor of Real-time Systems, Mälardalen University

Email yang diverifikasi di mdh.se

Dirujuk 12843 kali

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

Alexander Pretschner

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

Email yang diverifikasi di in.tum.de

Dirujuk 12006 kali

Software Engineering Security Model-Based Testing

Robert Hierons

Professor, The University of Sheffield

Email yang diverifikasi di sheffield.ac.uk

Dirujuk 10012 kali

Model based testing distributed testing mutation testing formal methods SBSE

Moez Krichen

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

Email yang diverifikasi di redcad.org

Dirujuk 7422 kali

Model Based Testing Artificial Intelligence Blockchain IoT Security

Thao Dang

CNRS Research Director, Laboratory VERIMAG, Grenoble, France

Email yang diverifikasi di imag.fr

Dirujuk 6892 kali

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

Ramaswamy Chandramouli

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

Email yang diverifikasi di nist.gov

Dirujuk 6616 kali

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

Jan Tretmans

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

Email yang diverifikasi di cs.ru.nl

Dirujuk 6559 kali

Model-Based Testing Formal Methods Software Quality Automata Learning

Bruno Legeard

Smartesting

Email yang diverifikasi di femto-st.fr

Dirujuk 5792 kali

Software testing LLM-Powered Agents Test Design Automation Model-Based Testing Automated test

Mark Utting

The University of Queensland

Email yang diverifikasi di uq.edu.au

Dirujuk 5638 kali

Formal methods Model-Based Testing Program Analysis Machine Learning

Dejan Nickovic

Austrian Institute of Technology

Email yang diverifikasi di ait.ac.at

Dirujuk 5489 kali

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

1 - 10