Search All Publications

Journal Articles

• Muhammad Zahoor, Zaheed Ahmed, Irfan Younas
  A Regression Testing Technique based on the Z Formal Language, Journal of Computing, 2010
• Jens Grabowski, Philip Makedonski, Thomas Rings, Benjamin Zeiß
  Systematische Qualitätssicherung für Testartefakte, SIGS DATACOM, SIGS DATACOM, 2009
• Thomas Rings, Geoff Caryer, Julian Gallop, Jens Grabowski, Tatiana Kovacikova, Stephan Schulz, Ian Stokes-Rees
  Grid and Cloud Computing: Opportunities for Integration with the Next Generation Network, Journal of Grid Computing: Special Issue on Grid Interoperability, Springer Netherlands, 2009
• Helmut Neukirchen, Benjamin Zeiß, Jens Grabowski
  An Approach to Quality Engineering of TTCN-3 Test Specifications, Springer, Springer, 2008
• Helmut Neukirchen, Benjamin Zeiß, Jens Grabowski, Paul Baker, Dominic Evans
  Quality assurance for TTCN-3 test specifications, Software Testing, Verification and Reliability (STVR), Wiley, 2008
• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals
  Model-based Testing with UML Applied to a Roaming Algorithm for Bluetooth Devices, Zhejiang University Press, co-published with Springer, Zhejiang University Press, co-published with Springer, 2004
• Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker, Anthony Wiles, Colin Willcock
  An introduction into the testing and test control notation (TTCN-3), Computer Networks, Elsevier, Amsterdam, 2003
• Jens Grabowski, Dieter Hogrefe
  SDL and MSC-Based Specification and Automated Test Case Generation for INAP, Kluwer Academic Publishers, 2002
• Jens Grabowski, Michael Schmitt
  TTCN-3 - Eine Sprache für die Spezifikation und Implementierung von Testfällen, Oldenbourg Verlag, 2002
• Jens Grabowski, Ekkart Rudolph, Michael Schmitt
  Die Spezifikationssprachen MSC und SDL - Teil 2: Specification and Description Language (SDL), Oldenbourg , 2002