Perfiles

Bernhard Steffen

Professor für Informatik, TU Dortmund

Dirección de correo verificada de cs.uni-dortmund.de

Citado por 13511

Programmiersysteme Verifikation Validierung Model Checking Automata Learning

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Dirección de correo verificada de cs.ru.nl

Citado por 9404

Formal Methods Concurrency Theory Verification Model Checking Automata Learning

Jan Tretmans

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

Dirección de correo verificada de cs.ru.nl

Citado por 5333

Model-Based Testing Formal Methods Software Quality Automata Learning

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)

Dirección de correo verificada de ist.tugraz.at

Citado por 1762

Formal Methods Model-based Testing Mutation Testing Automata Learning

Falk Howar

TU Dortmund

Dirección de correo verificada de tu-dortmund.de

Citado por 1444

computer science formal methods automata learning

Maik Merten

Teacher, Federal University of Applied Administrative Sciences

Dirección de correo verificada de tu-dortmund.de

Citado por 702

automata learning model based software development web technologies

Fides Aarts

ASML

Dirección de correo verificada de asml.com

Citado por 581

automata learning active learning model-based testing

Muddassar Azam Sindhu

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

Dirección de correo verificada de qau.edu.pk

Citado por 192

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

Paul Fiterau

Postdoctoral Researcher at Uppsala University, Sweden

Dirección de correo verificada de it.uu.se

Citado por 168

Automata Learning Conformance Testing Fuzzing Network Protocols

Johan Uijen

Philips

Dirección de correo verificada de philips.com

Citado por 136

Performance testing automata learning test automation model based testing

1 - 10