Perfis

Bernhard Steffen

Professor für Informatik, TU Dortmund

E-mail confirmado em cs.uni-dortmund.de

Citado por 18114

Programmiersysteme Verifikation Validierung Model Checking Automata Learning

Frits W. Vaandrager

Professor of Computer Science, Radboud University

E-mail confirmado em cs.ru.nl

Citado por 12129

Formal Methods Concurrency Theory Verification Model Checking Automata Learning

Jan Tretmans

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

E-mail confirmado em cs.ru.nl

Citado por 6559

Model-Based Testing Formal Methods Software Quality Automata Learning

Falk Howar

TU Dortmund

E-mail confirmado em tu-dortmund.de

Citado por 3220

computer science formal methods automata learning

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)

E-mail confirmado em ist.tugraz.at

Citado por 3105

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

Maik Merten

Teacher, Federal University of Applied Administrative Sciences

E-mail confirmado em tu-dortmund.de

Citado por 1030

automata learning model based software development web technologies

Fides Aarts

ASML

E-mail confirmado em asml.com

Citado por 911

automata learning active learning model-based testing

Martin Tappler

TU Wien

E-mail confirmado em tuwien.ac.at

Citado por 802

Model-Based Testing Automata Learning Trustworthy AI

Paul Fiterau

Assistant Professor at Uppsala University, Sweden

E-mail confirmado em it.uu.se

Citado por 699

Automata Learning Conformance Testing Fuzzing Network Protocols

Muddassar Azam Sindhu

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

E-mail confirmado em qau.edu.pk

Citado por 580

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

1 - 10