פרופילים

Bernhard Steffen

Professor für Informatik, TU Dortmund

כתובת אימייל מאומתת בדומיין cs.uni-dortmund.de

צוטט על ידי 18115

Programmiersysteme Verifikation Validierung Model Checking Automata Learning

Frits W. Vaandrager

Professor of Computer Science, Radboud University

כתובת אימייל מאומתת בדומיין cs.ru.nl

צוטט על ידי 12129

Formal Methods Concurrency Theory Verification Model Checking Automata Learning

Jan Tretmans

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

כתובת אימייל מאומתת בדומיין cs.ru.nl

צוטט על ידי 6560

Model-Based Testing Formal Methods Software Quality Automata Learning

Falk Howar

TU Dortmund

כתובת אימייל מאומתת בדומיין tu-dortmund.de

צוטט על ידי 3221

computer science formal methods automata learning

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)

כתובת אימייל מאומתת בדומיין ist.tugraz.at

צוטט על ידי 3107

Formal Methods Software Testing Model-based Testing Mutation Testing Automata Learning

Maik Merten

Teacher, Federal University of Applied Administrative Sciences

כתובת אימייל מאומתת בדומיין tu-dortmund.de

צוטט על ידי 1030

automata learning model based software development web technologies

Fides Aarts

ASML

כתובת אימייל מאומתת בדומיין asml.com

צוטט על ידי 911

automata learning active learning model-based testing

Martin Tappler

TU Wien

כתובת אימייל מאומתת בדומיין tuwien.ac.at

צוטט על ידי 802

Model-Based Testing Automata Learning Trustworthy AI

Paul Fiterau

Assistant Professor at Uppsala University, Sweden

כתובת אימייל מאומתת בדומיין it.uu.se

צוטט על ידי 699

Automata Learning Conformance Testing Fuzzing Network Protocols

Muddassar Azam Sindhu

Associate Professor, Computer Science Department, Quaid i Azam University, Islamabad

כתובת אימייל מאומתת בדומיין qau.edu.pk

צוטט על ידי 581

Software testing algorithm design and analysis automata learning learning-based testing formal methods

1 - 10