- Test Architectures for Distributed Systems State of the Art and Beyond
- E. Sherratt (Ed.): SAM 2002, LNCS 2599, pp. 233252, 2003. Springer-Verlag Berlin Heidelberg 2003
- Int J Softw Tools Technol Transfer This is a preprint. The final article differs with respect to editorial changes DOI 10.1007/s10009-008-0075-0 such as capitalisation and formatting. c Springer-Verlag 2008
- Modellgetriebene Softwareentwicklung und Modelltransformationen in der
- Retrospective Analysis of Software Projects using k-Means Clustering Steffen Herbold1
- Comparison of an Automatically Generated and a Manually Specified Abstract Test
- SDL and MSC Based Test Generation for Distributed Test Architectures
- The Generation of TTCN Test Cases from MSCs Jens Grabowski
- Machine Learning based on Software Metrics for Process Assessment Steffen Herbold
- The Standardization of Message Sequence Charts Jens Grabowski Peter Graubmann, Ekkart Rudolph
- UML-Based Testing of Roaming with Bluetooth Devices
- Qualittssicherung fr Testspezifikationen am Beispiel
- Georg-August-Universitt Zentrum fr Informatik
- Generating Test Cases for Infinite System Specifications Stefan Heymer and Jens Grabowski
- Communication Patterns for Expressing Real-Time Requirements Using MSC
- A Proposal for a RealTime Extension of TTCN Thomas Walter 1 and Jens Grabowski 2
- Relating Test Purposes to Formal Specifications: Towards a Theoretical Foundation of Practical Testing
- Visualisierung von ASN.1--Werten
- Editing TTCN-3 v3.1.1 (2005-06) Syntax Highlighting
- Georg-August-Universitat Zentrum fur Informatik
- Combining MSCs and Data Descriptions in order to Generate Executable Test Cases for ISDN Systems
- Message Sequence Chart: Composition Techniques versus OOTechniques --'Tema con Variazioni' --
- Towards systematic interoperability testing of distributed systems Thomas Rings
- A UNICOREA UNICORE--based Multibased Multi--Site and MultiSite and Multi--User Grid Environment for Demonstration,User Grid Environment for Demonstration,
- An Open-Source Tool for Quality Assurance of TTCN-3 Test Suites
- Applying SAMSTAG to the BISDN protocol SSCOP
- SDL and MSC Based Test Case Generation --An Overall View of the SAMSTAG Method
- 130 Telektronikk 4.2000 Introduction
- TTCN-3 Quality Engineering: Using Learning Techniques
- Test Case Specification with RealTime TTCN Thomas Walter a and Jens Grabowski b
- Development of an MSC/UML Test Format Ekkart Rudolph 1 , Ina Schieferdecker 2 , Jens Grabowski 3
- Quality Assurance of Test Specifications
- Tutorial on Message Sequence Charts (MSC'96) Ekkart Rudolph a , Jens Grabowski b , and Peter Graubmann c
- Towards an Integrated Test Methodology for Advanced Distributed Jens Grabowski a and Thomas Walter b
- MATHEMATISCH-NATURWISSENSCHAFTLICHES PROMOTIONSKOLLEG Georg-August University School of Science (GAUSS)
- Symbolic Performance and Dependability Evaluation with the Tool CASPA
- Quality Assurance of TTCN-3 Test Suites
- specification Telematics,
- Testing QualityofService Aspects in Multimedia Applications
- Testing Grid Application Workflows Using TTCN-3 Thomas Rings, Helmut Neukirchen, Jens Grabowski
- Towards the new Test Specification and Implementation Language 'TelCom TSL'
- Visualisation of TTCN test cases by MSCs Jens Grabowski a and Thomas Walter b
- Tutorial on Message Sequence Charts Ekkart Rudolph a , Peter Graubmann b , and Jens Grabowski c
- ---Autolink---A Tool for Automatic Test Generation from SDL Specifications
- Autolink Putting formal test methods into practice
- Dealing with the complexity of state space exploration algorithms for SDL systems
- A UML Based Methodology for the Development of
- Rheinisch-Westfalische Technische Hochschule Aachen Lehrstuhl fur Informatik IV
- Applied Computer Science (M.Sc.) Introductory Course
- Georg-August-Universitat Zentrum fur Informatik
- Georg-August-Universitt Zentrum fr Informatik
- Georg-August-Universitt Institut fr Informatik
- Telematics Group Prof. Dr. Dieter Hogrefe
- atistical v etry (finit
- Quality Assessment and Quality Improvement
- Applying SaMsTaG to the BISDN Protocol SSCOP
- Calculation and Optimization of Thresholds for Sets of Software Metrics
- Georg-August-Universitt Zentrum fr Informatik
- Towards the Assessment of Change in Complex Networks
- Dependency and Guideline Analysis Steffen Herbold, Philip Makedonski,
- Ensuring Interoperability with Automated Interoperability Testing
- Conformance Testing with TTCN I N A S C H I E F E R D E C K E R A N D J E N S G R A B O W S K I
- A Flexible Framework for Quality Assurance of Software Artefacts With Applications to Java, UML, and TTCN-3 Test Specifications
- A TTCN-3-based Web Service Test Framework Edith Werner, Jens Grabowski, Stefan Troschutz, Benjamin Zeiss
- Extensible earth observation data catalogues with multiple interfaces
- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites
- TRex The Refactoring and Metrics Tool for TTCN-3 Test Specifications Paul Baker, Dominic Evans
- Refactoring for TTCN-3 Test Suites Benjamin Zeiss1
- Self-adaptive Functional Testing of Services Working in Continuously Changing Contexts
- The UML 2.0 Testing Profile Paul Baker1
- From Design to Test with UML Applied to a Roaming Algorithm
- UML-Based Modeling of Roaming with Bluetooth Devices
- TIMEDTTCN-3 Based Graphical Real-Time Test Specification
- TIMEDTTCN-3 A REAL-TIME EXTENSION Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
- Component Interface Description Using HyperMSCs and Connectors Peter Graubmann Ekkart Rudolph Jens Grabowski
- A Message Sequence Chart-Profile for Graphical Test Specification, Development and Tracing
- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
- Integrating Trading and Load Balancing for Efficient Management of Services in Distributed Systems
- Managing Services in Distributed Systems by Integrating Trading and Load Balancing
- Test Generation with Autolink and TestComposer
- HyperMSC a Graphical Representation of TTCN Ekkart Rudolph1
- http://www.trex.informatik.uni-goettingen.de Metrics, Smell Detection, Refactoring
- Ein interdisziplinres Grid-Anwenderpraktikum basierend auf Instant-Grid
- Georg-August-Universitat Institut fur Informatik
- SIIM-TR-A-03-07 SIIM Technical Report
- SIIM-TR-A-01-14 SIIM Technical Report
- Languages, Tools and Patterns for the Specification of
- Georg-August-Universitat Zentrum fur Informatik
- Georg-August-Universitt Zentrum fr Informatik
- Georg-August-Universitat Zentrum fur Informatik
- Georg-August-Universitt Zentrum fr Informatik
- Georg-August-Universitt Zentrum fr Informatik
- Georg-August-Universitat Zentrum fur Informatik
- Georg-August-Universitt Zentrum fr Informatik
- Georg-August-Universitt Zentrum fr Informatik
- ISSSRE04 WITUL -Rennes 01 November 2004 ASN.1,ASN.1, MSCMSC, SDL and, SDL and
- Grabowski/Ulrich 2004 TTCN-3 User Conference 2004 1 An Introduction
- TTCN-3 v4.1.1 Gyorgy Rethy, Ericsson, on behalf of
- Nachweis von Feature Freezes durch Clustering Nachweis von Feature Freezes durch Clustering
- Unsere Motivation Trotz intensiver Bemhungen der Automobil-
- Studienrichtung Bioinformatik
- Elektromagnetische Wellen: Gelste und ungelste inverse Probleme
- GEORG-AUGUST-UNIVERSITT FAKULTT FR MATHEMATIK UND INFORMATIK
- Automation of Refactoring and Refactoring Suggestions for TTCN-3 Test Suites
- ---Autolink ---A Tool for the Automatic and SemiAutomatic Test Generation
- Realtime TTCN for testing realtime and multimedia systems
- Formal Methods and Conformance Testing What are we testing anyway?
- Some Implications of MSC, SDL and TTCN Time Extensions for
- Georg-August-Universitt Zentrum fr Informatik
- The Standardization of Core INAP CS2 Jens Grabowski and Dieter Hogrefe
- Autolink Putting SDLbased test generation into practice
- Georg-August-Universitt Zentrum fr Informatik
- Dai et al. / J Zhejiang Univ SCI 2004 5(11):1327-1335 1327 Model-based testing with UML applied to a roaming
- Recht der Informatik Dr. Roman Heidinger, M.A.
- Kommissionen, Ausschsse, Beauftragungen der Fakultt fr Mathematik und Informatik Amtszeit: 1.4.2011 -31.3.2013 (Amtszeit Studierende 1 Jahr)
- J Grid Computing DOI 10.1007/s10723-009-9132-5
- Applying the ISO 9126 Quality Model to Test Specifications Exemplified for TTCN-3 Test Specifications
- Invest for the Future www.temea.org
- ON THE DESIGN OF THE NEW TESTING LANGUAGE TTCN-3
- Partial Order Simulation of SDL Specifications Daniel Toggweiler, Jens Grabowski, and Dieter Hogrefe
- A Method for the Generation of Test Cases Based on SDL and MSCs
- GEORG-AUGUST-UNIVERSITT CHEMIE unser Leben, unsere Zukunft!
- Refactoring and Metrics for TTCN-3 Test Suites Benjamin Zeiss1
- SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2008; 18:128 (DOI: 10.1002/stvr.379)
- Ordnung des PhD Programms in Computer Science (PCS) Verabschiedet vom Fakulttsrat der Mathematischen Fakultt am 2.9.2005
- Georg-August-Universitat Zentrum fur Informatik
- Towards the Generation of Distributed Test Cases Using Petri Nets
- Improving the Quality of Test Suites for Conformance Tests by Using Message Sequence Charts
- Test Case Generation with Test Purpose Specification by MSCs \Lambda Jens Grabowski, Dieter Hogrefe, and Robert Nahm
- Towards a Harmonization of UMLSequence Diagrams and MSC Ekkart Rudolph a , Jens Grabowski b , and Peter Graubmann c
- Fakultt .................................................... ggf. Informatik O, Psychologie O, Geographie O Bescheinigung zur Vorlage bei der Studienzentrale
- Verantwortlich: Wilhelmsplatz 1, 37073 Gttingen pressestelle@uni-goettingen.de Dr. Bernd Ebeling Tel. +49 551/39-4342, Fax +49 551/39-4251 www.uni-goettingen.de
- Studienrichtung Medizinische Informatik Svenja Wolff, Gunnar Nubeck
- QualityofService Testing Specifying Functional QoS Testing Requirements by using Message
- TOWARDS THE THIRD EDITION OF Jens Grabowski and Dieter Hogrefe
- Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications
- Revised Comparison of an Automatically Generated and a Manually Specified Test Suite for the BISDN Protocol SSCOP
- An Automata based Model for the Implementation of a TTCN Simulator
- Georg-August-Universitt Zentrum fr Informatik
- THEORIE FR DEN ANWENDER at 3/2002 Eine Sprache fr die Spezifikation und
- TTCN-3 -A new Test Specification Language for Black-Box Testing of Distributed Systems
- A Model for Usage-based Testing of Event-driven Software
- Test Case Generation for Temporal Properties Robert Nahm Jens Grabowski Dieter Hogrefe
- Chemistry in Action: Discovering the Behaviour of a
- An Overall View of the SPP IF Project: 'The Automatic Generation of Test Purposes'
- THEORIE FR DEN ANWENDER at 12/2001 Die Spezifikationssprachen MSC und SDL
- Job Announcement CRC 755 "Nanoscale Photonic Imaging"
- Georg-August-Universitat Zentrum fur Informatik
- Georg-August-Universitt Zentrum fr Informatik
- Georg-August-Universitt Zentrum fr Informatik
- Test Case Specification Based on MSCs and ASN.1 Jens Grabowski a , Dieter Hogrefe a , Iwan Nussbaumer b , and Andreas Spichiger b
- Improved Bug Reporting and Reproduction through Non-intrusive GUI Usage Monitoring and Automated Replaying
- Georg-August University School of Science Faculty.................................................... if appl. Informatics O, Psychology O, Geography O
- Regulations Governing the Special Requirements for Admission to the Master Degree Programme in
- This is a translation of the regulatory text as promulgated by the Georg-August-Universitt Gttingen in its Official Bulletin No. 10 on May 18, 2010
- Am Institut fr Informatik der Georg-August-Universitt Gttingen ist zum 1. Oktober 2011 die Stelle einer/eines
- This is a translation of the regulations as promulgated in Official Bulletin No. 17 dated September 13, 2006 Page 1466 Only those regulations published by Georg-August-Universitt Gttingen in its Official
- Berechnung und Optimierung von Grenzwerten fr Mengen von Software Metriken
- A Testing Framework for Assessing Grid and Cloud Infrastructure Interoperability Thomas Rings, Jens Grabowski
- Georg-August-Universitt Zentrum fr Informatik
- Hochschuldidaktik Forschungsorientiertes Lehren und Lernen
