CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
3 research outputs found
Improving active mealy machine learning for protocol conformance testing
Author
A. Aziz
A. Belinfante
+58 more
A. Bertolino
C. Higuera de la
C. Higuera de la
C. Ip
C. Y. Cho
D. Angluin
D. Combe
D. Lee
E. Clarke
E. J. Weyuker
E. M. Gold
F. Aarts
F. Aarts
F. Aarts
F. Aarts
F. Aarts
F. Denis
Fides Aarts
Frits Vaandrager
G. Ammons
G. Behrmann
H. Garavel
H. Hansson
H. Hungar
H. Raffelt
Harco Kuppens
J. Antunes
J. Castro
J. E. Cook
J. Tretmans
J. Tretmans
J.-P. Katoen
Jan Tretmans
K. Bartlett
K. Meinke
L. Frantzen
L. Helmink
L. Mariani
M. J. Kearns
M. L. Puterman
M. Utting
N. Walkinshaw
N. Walkinshaw
N. Walkinshaw
O. Grinchtein
P. Comparetti
P. D’Argenio
R. Alur
S. Dalal
Sicco Verwer
T. A. Sudkamp
T. Berg
T. Henzinger
T. Margaria
V. Dallmeier
W. Cui
W. M. P. Aalst van der
W. Mostowski
Publication venue
'Springer Science and Business Media LLC'
Publication date
02/02/2013
Field of study
Get PDF
Contains fulltext : 122418.pdf (preprint version ) (Open Access
CiteSeerX
Crossref
Radboud Repository
Experimental evaluation of a novel equivalence class partition testing strategy
Author
A Cavalcanti
A Gill
+24 more
A Petrenko
C Baier
C Braunstein
EM Clarke
Felix Hübner
G Luo
HS Hong
J Peleska
J Peleska
J Springintveld
J Tretmans
Jan Peleska
L Jaulin
MC Gaudel
MP Vasilevskii
P Cousot
S Anand
S Fujiwara
TS Chow
TY Chen
W Huang
W Huang
Wen-ling Huang
YS Ma
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Model-based testing strategies and their (in)dependence on syntactic model representations
Author
A Cavalcanti
A Gill
+21 more
A Petrenko
A Pretschner
A Silva
AW Roscoe
C Baier
EM Clarke
G Luo
J Peleska
J Tretmans
Jan Peleska
K-T Cheng
M Hennessy
MP Vasilevskii
PH Starke
R Milner
RM Hierons
S Fujiwara
TS Chow
W Huang
W Huang
Wen-ling Huang
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref