A Rennoch
Title
Cited by
Cited by
Year
The UML 2.0 testing profile and its relation to TTCN-3
I Schieferdecker, ZR Dai, J Grabowski, A Rennoch
IFIP International Conference on Testing of Software and Communicating …, 2003
802003
PerfTTCN, a TTCN language extension for performance testing
I Schieferdecker, B Stepien, A Rennoch
Testing of Communicating Systems, 21-36, 1997
531997
Timed MSCx-an Extension to MSC'96.
I Schieferdecker, A Rennoch, O Mertens
FBT, 165-174, 1997
171997
Testing the TINA retailer reference point
M Li, I Schieferdecker, A Rennoch
Proceedings. Fourth International Symposium on Autonomous Decentralized …, 1999
111999
Simulated time for testing railway interlockings with TTCN-3
S Blom, N Ioustinova, J Van De Pol, A Rennoch, N Sidorova
International Workshop on Formal Approaches to Software Testing, 1-15, 2005
102005
TTCN-3 for distributed testing embedded software
S Blom, T Deiß, N Ioustinova, A Kontio, J Van De Pol, A Rennoch, ...
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
92006
TTCN-3 for distributed testing embedded software
S Blom, T Deiß, N Ioustinova, A Kontio, J Van De Pol, A Rennoch, ...
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
92006
Specification-based testing of synchronous software
L Du Bousquet, F Ouabdesselam, I Parissis, JL Richier, N Zuanon, ...
Proc. 5th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2000
92000
Formale Beschreibungstechniken für verteilte Systeme: GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin
A Wolisz
GMD-Forschungszentrum Informationstechnik, 1997
81997
Distributed Testing
J de Meer, V Heymer, J Burmeister, R Hirr, A Rennoch
Participants Proceedings of International Workshop on Protocol Testing …, 1991
81991
Improving test software using TTCN-3
I Schieferdecker, A Rennoch, M Li, C Desroches
GMD-Forschungszentrum Informationstechnik, 2001
72001
Protocol design using LOTOS: A critical synthesis of a standardization experience
H Kremer, J Lagemaat, A Rennoch, G Scollo
Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992
71992
IoT-Testware-an Eclipse Project
I Schieferdecker, S Kretzschmann, A Rennoch, M Wagner
2017 IEEE International Conference on Software Quality, Reliability and …, 2017
62017
An approach for test derivation from system architecture models applied to embedded systems
G Din, KD Engel, A Rennoch
Model-based Testing in Practice, 23, 2009
62009
Reuse of classification tree models for complex software projects
S Alekseev, P Tollkühn, P Palaga, ZR Dai, A Hoffmann, A Rennoch, ...
Conference on Quality Engineering in Software Technology (CONQUEST) 102, 2007
52007
Implementation of an open source toolset for ccm components and systems testing
H Batteram, W Hellenthal, W Romijn, A Hoffmann, A Rennoch, A Vouffo
IFIP International Conference on Testing of Communicating Systems, 1-16, 2004
52004
CCM testing environment
A Hoffmann, A Rennoch, I Schubert, A Vouffo-Feudjio
Proc. of ICSSEA, 2002
52002
Test Data Filtering.
A Rennoch, J de Meer, I Schieferdecker
FBT, 175-184, 1999
51999
PerfTTCN, a TTCN language extension for performance testing. 10th Intern
I Schieferdecker, B Stepien, A Rennoch
Workshop on Testing of Communicating Systems IWTCS97, Cheju Island, Korea, 1997
51997
Formal based testing of ATM signalling
I Schieferdecker, A Rennoch
Formale Beschreibungstechniken für verteilte Systeme, Arbeitsberichte des …, 1996
51996
The system can't perform the operation now. Try again later.
Articles 1–20