نمایه‌‌ها

Paul Pettersson

Professor of Real-time Systems, Mälardalen University

ایمیل تأیید شده در mdh.se

بیان شده در 12848 یافته

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

بیان شده در 12012 یافته

Software Engineering Security Model-Based Testing

Robert Hierons

Professor, The University of Sheffield

ایمیل تأیید شده در sheffield.ac.uk

بیان شده در 10013 یافته

Model based testing distributed testing mutation testing formal methods SBSE

Moez Krichen

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

ایمیل تأیید شده در redcad.org

بیان شده در 7429 یافته

Model Based Testing Artificial Intelligence Blockchain IoT Security

Thao Dang

CNRS Research Director, Laboratory VERIMAG, Grenoble, France

ایمیل تأیید شده در imag.fr

بیان شده در 6892 یافته

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

Ramaswamy Chandramouli

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

ایمیل تأیید شده در nist.gov

بیان شده در 6617 یافته

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

ایمیل تأیید شده در cs.ru.nl

بیان شده در 6559 یافته

Model-Based Testing Formal Methods Software Quality Automata Learning

Bruno Legeard

Smartesting

ایمیل تأیید شده در femto-st.fr

بیان شده در 5793 یافته

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

Mark Utting

The University of Queensland

ایمیل تأیید شده در uq.edu.au

بیان شده در 5639 یافته

Formal methods Model-Based Testing Program Analysis Machine Learning

Dejan Nickovic

Austrian Institute of Technology

ایمیل تأیید شده در ait.ac.at

بیان شده در 5489 یافته

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

1 - 10