default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 66 matches
- 2024
- Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Testing Compositionality. FACS 2024: 39-56 - Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans:
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. SANER-C 2024: 199-206 - Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Testing Compositionality. CoRR abs/2407.05028 (2024) - 2023
- Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink:
From BDD Scenarios to Test Case Generation. ICSTW 2023: 36-44 - Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Compositionality in Model-Based Testing. ICTSS 2023: 202-218 - Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Compositionality in Model-Based Testing. CoRR abs/2307.03701 (2023) - 2022
- Jan Tretmans, Ramon Janssen:
Goodbye ioco. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 491-511 - 2019
- Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. IFM 2019: 246-264 - Ramon Janssen, Jan Tretmans:
Matching implementations to specifications: the corner cases of ioco. SAC 2019: 2196-2205 - Petra van den Bos, Jan Tretmans:
Coverage-Based Testing with Symbolic Transition Systems. TAP@FM 2019: 64-82 - Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. CoRR abs/1909.13604 (2019) - 2017
- Jan Tretmans:
On the Existence of Practical Testers. ModelEd, TestEd, TrustEd 2017: 87-106 - 2015
- Michele Volpato, Jan Tretmans:
Approximate Active Learning of Nondeterministic Input Output Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - 2014
- Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer:
Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. 96(1-2): 189-224 (2014) - Michele Volpato, Jan Tretmans:
Active Learning of Nondeterministic Systems from an ioco Perspective. ISoLA (1) 2014: 220-235 - 2013
- Michele Volpato, Jan Tretmans:
Towards quality of model-based testing in the ioco framework. JAMAICA@ISSTA 2013: 41-46 - Jan Tretmans, Piërre van de Laar:
Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security. Situation Awareness with Systems of Systems 2013: 3-20 - Piërre van de Laar, Jan Tretmans, Michael Borth:
Situation Awareness with Systems of Systems. Springer 2013, ISBN 978-1-4614-6229-3 [contents] - 2012
- Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans:
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375 - Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer:
Learning and Testing the Bounded Retransmission Protocol. ICGI 2012: 4-18 - 2011
- Petur Olsen, Johan Foederer, Jan Tretmans:
Model-Based Testing of Industrial Transformational Systems. ICTSS 2011: 131-145 - Jan Tretmans:
Model-Based Testing and Some Steps towards Test-Based Modelling. SFM 2011: 297-326 - 2010
- Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD 2010: 47-56 - Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans:
Quantitative system validation in model driven design. EMSOFT 2010: 301-302 - Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) 2010: 160-174 - Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai:
Model-Based Testing 2010: Short Abstracts. MBT@ETAPS 2010: 85-99 - Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans:
Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors 2010 - 2009
- Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur:
Model-Based Testing of Electronic Passports. FMICS 2009: 207-209 - 2008
- Julien Schmaltz, Jan Tretmans:
On Conformance Testing for Timed Systems. FORMATS 2008: 250-264 - Jan Tretmans:
Model Based Testing with Labelled Transition Systems. Formal Methods and Testing 2008: 1-38
skipping 36 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-24 12:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint