Követés
Jan Tretmans
Jan Tretmans
Research Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, Nijmegen
E-mail megerősítve itt: cs.ru.nl
Cím
Hivatkozott rá
Hivatkozott rá
Év
Test generation with inputs, outputs and repetitive quiescence
GJ Tretmans
Software---Concepts and Tools 3 (TR-CTI), 1996
7341996
Model based testing with labelled transition systems
J Tretmans
Formal methods and testing, 1-38, 2008
5852008
A formal approach to conformance testing
GJ Tretmans
4001992
Testing concurrent systems: A formal approach
J Tretmans
International conference on concurrency theory, 46-65, 1999
3641999
Torx: Automated model-based testing
GJ Tretmans, H Brinksma
3222003
Conformance testing with labelled transition systems: Implementation relations and test generation
J Tretmans
Computer Networks and ISDN Systems 29 (1), 49-79, 1996
2891996
Testing transition systems: An annotated bibliography
E Brinksma, J Tretmans
Lecture Notes in Computer Science, 187-195, 2001
2302001
Test generation based on symbolic specifications
L Frantzen, J Tretmans, T Willemse
Formal Approaches to Software Testing, 1-15, 2005
2172005
Test generation with inputs, outputs, and quiescence
J Tretmans
Tools and Algorithms for the Construction and Analysis of Systems, 127-146, 1996
2071996
Formal test automation: A simple experiment
A Belinfante, J Feenstra, RG de Vries, J Tretmans, N Goga, L Feijs, ...
Testing of Communicating Systems: Methods and Applications, 179-196, 1999
1961999
The bounded retransmission protocol must be on time In Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
PR D'Argenio, JP Katoen, TC Ruys, J Tretmans
Enschede, The Netherlands, 1997
182*1997
The bounded retransmission protocol must be on time!
P D'argenio, J Katoen, T Ruys, J Tretmans
Tools and Algorithms for the Construction and Analysis of Systems, 416-431, 1997
1821997
Compositional Testing with ioco
M Van der Bijl, A Rensink, J Tretmans
Formal Approaches to Software Testing: Third International Workshop on …, 2004
1622004
On-the-fly conformance testing using SPIN
RG de Vries, J Tretmans
International Journal on Software Tools for Technology Transfer 2, 382-393, 2000
1582000
On-the-fly conformance testing using SPIN
RG de Vries, J Tretmans
International Journal on Software Tools for Technology Transfer 2, 382-393, 2000
1582000
Automatic testing with formal methods
J Tretmans, A Belinfante
EuroSTAR’99: 7th European Int. Conference on Software Testing, Analysis …, 1999
1551999
Gast: Generic automated software testing
P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Implementation of Functional Languages, 84-100, 2003
1402003
A symbolic framework for model-based testing
L Frantzen, J Tretmans, T Willemse
Formal approaches to software testing and runtime verification, 40-54, 2006
1392006
Audition of web services for testing conformance to open specified protocols
A Bertolino, L Frantzen, A Polini, J Tretmans
Architecting Systems with Trustworthy Components: International Seminar …, 2006
982006
A formal approach to conformance testing
E Brinksma, R ALDEREN, R Langerak, JAN TRETMANS, ...
951989
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20