نمایه‌‌ها

Bernhard Steffen

Professor für Informatik, TU Dortmund

ایمیل تأیید شده در cs.uni-dortmund.de

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

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

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

Model-Based Testing Formal Methods Software Quality Automata Learning

Falk Howar

TU Dortmund

ایمیل تأیید شده در tu-dortmund.de

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

computer science formal methods automata learning

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)

ایمیل تأیید شده در ist.tugraz.at

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

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