Benchmarks for Automata Learning and Conformance Testing

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2002

Contains fulltext : 176091.pdf (preprint version ) (Open Access

Audition of Web Services for Testing Conformance to Open Specified Protocols

Bertolino, A.
Frantzen, L.
Polini, A.
Tretmans, J.

January 2006

Contains fulltext : 36059.pdf (preprint version ) (Open Access

Task-Structured Probabilistic I/O Automata

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 35338.pdf (preprint version ) (Open Access

Combining Black-Box and White-Box Techniques for Learning Register Automata

Jonsson, B.
Howar, F.
Vaandrager, F.W.

January 2019

Contains fulltext : 209263.pdf (Publisher’s version ) (Open Access) ...

Automata Learning Through Counterexample-Guided Abstraction Refinement

Aarts, Fides
Heidarian, F.
Kuppens, H.
Olsen, P.
Vaandrager, F.

January 2012

Contains fulltext : 103865.pdf (author's version ) (Closed access

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

Contains fulltext : 132764.pdf (preprint version ) (Closed access

Applying Automata Learning to Embedded Control Software

Smeenk, W.
Moerman, J.S.
Vaandrager, F.
Jansen, D.N.

January 2015

Contains fulltext : 149042.pdf (preprint version ) (Closed access

Action Refinement in Conformance Testing

Bijl, M.
Rensink, A.
Tretmans, G.J.

January 2005

Contains fulltext : 33320.pdf (preprint version ) (Open Access

Slowly synchronizing automata with fixed alphabet size

Don, H.
Zantema, Hans
Bondt, Michiel de

January 2021

Contains fulltext : 236283.pdf (Publisher’s version ) (Closed access

Learning Register Automata with Fresh Value Generation

Aarts, Fides
Fiterau-Brostean, P.
Kuppens, H.
Vaandrager, F.W.

January 2015

Contains fulltext : 147278.pdf (preprint version ) (Closed access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Data Optimizations for Constraint Automata

Jongmans, S.S.T.Q.
Arbab, F.

January 2016

Contains fulltext : 166082.pdf (publisher's version ) (Open Access

Automata-Based CSL Model Checking

Zhang, L.
Jansen, D.N.
Nielson, F.
Hermanns, H.

January 2011

Contains fulltext : 91579.pdf (preprint version ) (Closed access

Learning and Testing the Bounded Retransmission Protocol

Aarts, Fides
Kuppens, H.C.W.
Tretmans, G.J.
Vaandrager, F.
Verwer, S.E.

January 2012

Contains fulltext : 103474.pdf (publisher's version ) (Closed access) ...

Dit is Autonomata Too

Heuvel, H. van den

January 2008

Contains fulltext : 67868.pdf (author's version ) (Open Access)1 p

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2002

Contains fulltext : 176091.pdf (preprint version ) (Open Access

Audition of Web Services for Testing Conformance to Open Specified Protocols

Bertolino, A.
Frantzen, L.
Polini, A.
Tretmans, J.

January 2006

Contains fulltext : 36059.pdf (preprint version ) (Open Access

Task-Structured Probabilistic I/O Automata

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 35338.pdf (preprint version ) (Open Access

Combining Black-Box and White-Box Techniques for Learning Register Automata

Jonsson, B.
Howar, F.
Vaandrager, F.W.

January 2019

Contains fulltext : 209263.pdf (Publisher’s version ) (Open Access) ...

Automata Learning Through Counterexample-Guided Abstraction Refinement

Aarts, Fides
Heidarian, F.
Kuppens, H.
Olsen, P.
Vaandrager, F.

January 2012

Contains fulltext : 103865.pdf (author's version ) (Closed access

Algorithms for Inferring Register Automata

Aarts, F.D.
Howar, F.
Kuppens, H.C.W.
Vaandrager, F.

January 2014

Contains fulltext : 132764.pdf (preprint version ) (Closed access

Applying Automata Learning to Embedded Control Software

Smeenk, W.
Moerman, J.S.
Vaandrager, F.
Jansen, D.N.

January 2015

Contains fulltext : 149042.pdf (preprint version ) (Closed access

Action Refinement in Conformance Testing

Bijl, M.
Rensink, A.
Tretmans, G.J.

January 2005

Contains fulltext : 33320.pdf (preprint version ) (Open Access

Slowly synchronizing automata with fixed alphabet size

Don, H.
Zantema, Hans
Bondt, Michiel de

January 2021

Contains fulltext : 236283.pdf (Publisher’s version ) (Closed access

Learning Register Automata with Fresh Value Generation

Aarts, Fides
Fiterau-Brostean, P.
Kuppens, H.
Vaandrager, F.W.

January 2015

Contains fulltext : 147278.pdf (preprint version ) (Closed access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Data Optimizations for Constraint Automata

Jongmans, S.S.T.Q.
Arbab, F.

January 2016

Contains fulltext : 166082.pdf (publisher's version ) (Open Access

Automata-Based CSL Model Checking

Zhang, L.
Jansen, D.N.
Nielson, F.
Hermanns, H.

January 2011

Contains fulltext : 91579.pdf (preprint version ) (Closed access

Learning and Testing the Bounded Retransmission Protocol

Aarts, Fides
Kuppens, H.C.W.
Tretmans, G.J.
Vaandrager, F.
Verwer, S.E.

January 2012

Contains fulltext : 103474.pdf (publisher's version ) (Closed access) ...

Dit is Autonomata Too

Heuvel, H. van den

January 2008

Contains fulltext : 67868.pdf (author's version ) (Open Access)1 p

Linear Parametric Model Checking of Timed Automata

Hune, T.S.
Romijn, J.M.T.
Stoelinga, M.I.A.
Vaandrager, F.

January 2002

Contains fulltext : 176091.pdf (preprint version ) (Open Access

Audition of Web Services for Testing Conformance to Open Specified Protocols

Bertolino, A.
Frantzen, L.
Polini, A.
Tretmans, J.

January 2006

Contains fulltext : 36059.pdf (preprint version ) (Open Access

Task-Structured Probabilistic I/O Automata

Canetti, R.
Cheung, L.
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.

January 2006

Contains fulltext : 35338.pdf (preprint version ) (Open Access

Benchmarks for Automata Learning and Conformance Testing

Abstract

Extracted data

Benchmarks for Automata Learning and Conformance Testing

Abstract

Extracted data

Related items

Related items