Výsledky vyhledávání - "Tretmans, G.J."

Relating Alternating Relations for Conformance and Refinement

Autor: Janssen, R., Vaandrager, F., Tretmans, G.J., Ahrendt, W.

Publikováno v: Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, 246-264. Cham : Springer
STARTPAGE=246;ENDPAGE=264;ISSN=0302-9743;TITLE=Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019
Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, pp. 246-264
Tarifa, S. ahrendt w.tapia, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 15th International Conference on Integrated Formal Methods, IFM 2019, 2 December 2019 through 6 December 2019, 246-264

Various relations have been defined to express refinement and conformance for state-transition systems with inputs and outputs, such as ioco and uioco in the area of model-based testing, and alternating simulation and alternating-trace containment or

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d16e2f420344ad43184f2222fe04bf57
http://arxiv.org/abs/1909.13604

Zobrazit plný text záznamu

Model-Based Testing with TorXakis: The Mysteries of Dropbox Revisited

Autor: Tretmans, G.J., van de Laar, Piërre, Strahonja, V.

Publikováno v: Strahonja, V. (ed.), CECIIS : 30th Central European Conference on Information and Intelligent Systems, October 2-4, 2019, Varazdin, Croatia. Proceedings, pp. 247-258
Strahonja, V. (ed.), CECIIS : 30th Central European Conference on Information and Intelligent Systems, October 2-4, 2019, Varazdin, Croatia. Proceedings, 247-258. Zagreb : Faculty of Organization and Informatics, University of Zagreb
STARTPAGE=247;ENDPAGE=258;TITLE=Strahonja, V. (ed.), CECIIS : 30th Central European Conference on Information and Intelligent Systems, October 2-4, 2019, Varazdin, Croatia. Proceedings

Contains fulltext : 214659.pdf (Publisher’s version ) (Open Access) CECIIS : 30th Central European Conference on Information and Intelligent Systems, October 2-4, 2019, Varazdin, Croatia

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5f67e4f4de7b290f92923e771d427b55
https://hdl.handle.net/2066/214659

Zobrazit plný text záznamu

Learning and Testing the Bounded Retransmission Protocol

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

Publikováno v: Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, pp. 4-18
Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, 4-18. S.l. : s.n.
STARTPAGE=4;ENDPAGE=18;ISSN=1938-7288;TITLE=Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States

Contains fulltext : 103474.pdf (Publisher’s version ) (Closed access) Contains fulltext : 103474pre.pdf (Author’s version preprint ) (Open Access) ICGI 2012 : 11th International Conference on Grammatical Inference (ICGI 2012), September 5-8, 2012

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dce3fd75f86db1caf27d847f6875d3df
https://hdl.handle.net/2066/103474

Zobrazit plný text záznamu

On-the-Fly Formal Testing of a Smart Card Applet

Autor: Weelden, A. van, Oostdijk, M.D., Frantzen, L., Koopman, P.W.M., Tretmans, G.J., Sasaki, Ryoichi, Qing, Sihan, Okamoto, Eiji, Yoshiura, Hiroshi

Publikováno v: Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan, 565-576. New York : Springer-Verlag
STARTPAGE=565;ENDPAGE=576;ISSN=9783-4215;TITLE=Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan
Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan, pp. 565-576

Contains fulltext : 32809.pdf (Author’s version preprint ) (Open Access) IFIP TC11

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::302ef61bdef5e05ad9d318b60050e34e
https://doi.org/10.1007/0-387-25660-1_37

Zobrazit plný text záznamu

Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security

Autor: Tretmans, G.J., Laar, P.J.L.J. van de

Publikováno v: Laar, P.J.L.J. van deTretmans, G.J.Borth, M., Situation Awareness with Systems of Systems, 3-20

This book presents and discusses various challenges and solutions for developing systems-of-systems for attaining situation awareness, with applications in the domain of maritime safety and security. This chapter introduces the book, describes the Du

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::503265584833368f084102130f5fe5a6
http://resolver.tudelft.nl/uuid:80e83322-0dd1-45d1-8631-1f719384ad13

Zobrazit plný text záznamu

Atomic Action Refinement in Model Based Testing

Autor: van der Bijl, H.M., Rensink, Arend, Tretmans, G.J.

In model based testing (MBT) test cases are derived from a specification of the system that we want to test. In general the specification is more abstract than the implementation. This may result in 1) test cases that are not executable, because thei

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::159b6e756284a2ee8e8f6e3432590bc4
https://research.utwente.nl/en/publications/atomic-action-refinement-in-model-based-testing(873bfb33-f182-4fbf-a3d2-7b241d058d28).html

Zobrazit plný text záznamu

Timed model-based testing

Autor: Bohnenkamp, H.C., Belinfante, Axel, Tretmans, G.J.

Publikováno v: Tangram: Model-based integration and testing of complex high-tech systems, 115-128
STARTPAGE=115;ENDPAGE=128;TITLE=Tangram: Model-based integration and testing of complex high-tech systems

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::03b9eb8d5d154bc72c7fdf8def770b82
https://research.utwente.nl/en/publications/timed-modelbased-testing(30131456-5d85-49f1-8d3a-751a48f13e97).html

Zobrazit plný text záznamu

Vastleggen en Controleren van Kwaliteit Essentieel voor Outsourcing en Offshoring

Autor: Eekelen, M.C.J.D. van, Tretmans, G.J., Willemse, T.A.C.

Publikováno v: Automatisering Gids, 38, 13-13
Automatisering Gids, 38, 16, pp. 13-13

Contains fulltext : 33098.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::29a7773d43a2beb1d095e7b26f71d218
http://hdl.handle.net/2066/33098

Zobrazit plný text záznamu

Test Generation Based on Symbolic Specifications

Autor: Frantzen, L., Tretmans, G.J., Willemse, T.A.C., Grabowski, J., Nielsen, B.

Publikováno v: Formal Approaches to Software Testing ISBN: 9783540251095
FATES
Grabowski, J.; Nielsen, B. (ed.), FATES 2004, 1-15. Berlin ; New York : Springer-Verlag
STARTPAGE=1;ENDPAGE=15;TITLE=Grabowski, J.; Nielsen, B. (ed.), FATES 2004
Scopus-Elsevier
Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised selected papers), 1-15
STARTPAGE=1;ENDPAGE=15;TITLE=Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised selected papers)
Grabowski, J.; Nielsen, B. (ed.), FATES 2004, pp. 1-15

Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values. To implement these theories, data types which have infinite universes have to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cea10cb35343d64df315e6868f27fd30
https://doi.org/10.1007/978-3-540-31848-4_1

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání