Lars van Arragon

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Model Based Testing

Sequence Diagrams

Model Driven Engineering

Top Venues

MoDELS (Companion)

Publications

Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Testing Compositionality. CoRR (2024)
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)