Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Bos, Petra van den"'
This paper coins the notion of Joker games where Player 2 is not strictly adversarial: Player 1 gets help from Player 2 by playing a Joker. We formalize these games as cost games, and study their theoretical properties. Finally, we illustrate their u
Externí odkaz:
http://arxiv.org/abs/2304.13417
Autor:
Bos, Petra van den, Vaandrager, Frits
For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its app
Externí odkaz:
http://arxiv.org/abs/1907.11034
Publikováno v:
EPTCS 277, 2018, pp. 118-132
We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternatin
Externí odkaz:
http://arxiv.org/abs/1809.03098
Autor:
Bliudze, Simon, Bos, Petra van den, Huisman, Marieke, Rubbens, Robert, Safina, Larisa, Lambers, Leen, Uchitel, Sebastián
Publikováno v:
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, 143-150
STARTPAGE=143;ENDPAGE=150;TITLE=Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Fundamental Approaches to Software Engineering ISBN: 9783031308253
STARTPAGE=143;ENDPAGE=150;TITLE=Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Fundamental Approaches to Software Engineering ISBN: 9783031308253
We present “Verified JavaBIP”, a tool set for the verification of JavaBIP models. A JavaBIP model is a Java program where classes are considered as components, their behaviour described by finite state machine and synchronization annotations. Whi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89ea947ae1a56c94d4fd152339dbfc0d
http://hdl.handle.net/20.500.12210/80010
http://hdl.handle.net/20.500.12210/80010
Publikováno v:
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
Formal analysis techniques for software systems are becoming more and more powerful, and have been used on non-trivial examples. We argue that the next step forward is to combine these different techniques in a single framework, which makes it possib
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db44e48b80ccf09dc936065834cd8f50
https://research.utwente.nl/en/publications/3ef7af16-7b97-4ae6-9ab1-e8d7fd0c774f
https://research.utwente.nl/en/publications/3ef7af16-7b97-4ae6-9ab1-e8d7fd0c774f