Search All Publications

Articles in Conference Proceedings

• Benjamin Zeiß, Helmut Neukirchen, Jens Grabowski, Dominic Evans, Paul Baker
  TRex - An Open-Source Tool for Quality Assurance of TTCN-3 Test Suites, Proceedings of CONQUEST 2006 -- 9th International Conference on Quality Engineering in Software Technology, dpunkt.Verlag, Heidelberg, 2006
• Paul Baker, Dominic Evans, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiß
  TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications, Proceedings of TAIC PART 2006 (Testing: Academic & Industrial Conference - Practice And Research Techniques), IEEE Computer Society, 2006
• Benjamin Zeiß, Helmut Neukirchen, Jens Grabowski, Dominic Evans, Paul Baker
  Refactoring for TTCN-3 Test Suites, Proceedings of SAM'06, 2006
• Edith Werner, Helmut Neukirchen, Jens Grabowski
  Self-adaptive Functional Testing of Services Working in Continuously Changing Contexts, Proceedings of the 3rd Workshop on System Testing and Validation (SV04), 2004
• Matthias Kuntz, Markus Siegle, Edith Werner
  Symbolic Performance and Dependability Evaluation with the Tool CASPA, Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops, Springer, 2004
• Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen, Eric Samuelsson, Ina Schieferdecker, Clay E. Williams
  The UML 2.0 Testing Profile, 8th Conference on Quality Engineering in Software Technology 2004 (CONQUEST 2004), ASQF e.V., Erlangen, 2004
• Edith Werner
  Performance Evaluation using Multi-Terminal Binary Decision Diagrams, MMB & PGTS 2004, VDE Verlag, Berlin, 2004
• Matthias Kuntz, Markus Siegle, Edith Werner
  CASPA: A Tool for Symbolic Performance and Dependability Evaluation, Applying Formal Methods: Testing, Performance, and M/E-Commerce, 2004
• Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski
  Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing, Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), Springer, 2004
• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals
  From Design to Test with UML -- Applied to a Roaming Algorithm for Bluetooth Devices, Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), Springer, 2004