Sign in
Lars van Arragon
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Model Based Testing
Model Driven Engineering
Non Binary
Test Cases
Top Venues
ICTSS
CoRR
MoDELS (Companion)
</>
Publications
</>
Lars van Arragon
,
Carlos Diego Nascimento Damasceno
,
Daniel Strüber
Model-Driven Optimization: Towards Performance-Enhancing Low-Level Encodings.
MoDELS (Companion)
(2023)
Gijs van Cuyck
,
Lars van Arragon
,
Jan Tretmans
Compositionality in Model-Based Testing.
ICTSS
(2023)
Gijs van Cuyck
,
Lars van Arragon
,
Jan Tretmans
Compositionality in Model-Based Testing.
CoRR
(2023)