Profiller

Paul Pettersson

Professor of Real-time Systems, Mälardalen University

mdh.se üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 12796

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 üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 11995

Software Engineering Security Model-Based Testing

Ramaswamy Chandramouli

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

nist.gov üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 10950

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

Robert Hierons

Professor, The University of Sheffield

sheffield.ac.uk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 10096

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 üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 7236

Model Based Testing Artificial Intelligence Blockchain IoT Security

Thao Dang

CNRS Research Director, Laboratory VERIMAG, Grenoble, France

imag.fr üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 6858

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

Jan Tretmans

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

cs.ru.nl üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 6551

Model-Based Testing Formal Methods Software Quality Automata Learning

Bruno Legeard

Smartesting

femto-st.fr üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 5782

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

Mark Utting

The University of Queensland

uq.edu.au üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 5616

Formal methods Model-Based Testing Program Analysis Machine Learning

Dejan Nickovic

Austrian Institute of Technology

ait.ac.at üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 5439

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

1 - 10