Towards Practical Model-Based Testing: Improvements in Modelling and Test Generation

    Antti Kervinen's PhD thesis page

  • Status: the final version.
  • Download all PDFs in the same ZIP or tar.gz package (last update: 2008-11-14)
  • Introduction (last update: 2008-11-14)
    (download PDF)
  • Publication I: Kervinen A., Valmari A.:
    ``Debugging a Real-Life Protocol with CFFD-Based Verification Tools''.
    Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001), Paris, France, July 16-17, INRIA 2001, pp. 13-27.
    (download PDF)
    This is the printed version of the PDF.
  • Publication II: Kervinen A., Virolainen P.:
    ``Heuristics for Faster Error Detection with Automated Black Box Testing''.
    Proceedings of the International Workshop on Model-Based Testing (MBT 2004), Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 111, Elsevier 2005, pp. 53-71.
    (download PDF)
    The printed version of the PDF is available in Elsevier's ScienceDirect.
  • Publication III: Kervinen A., Maunumaa M., Pääkkönen T., Katara M.:
    ``Model-Based Testing Through a GUI''.
    Proceedings of the Formal Approaches to Testing of Software (FATES 2005), Edinburgh, Scotland, July 11, 2005. Lecture Notes in Computer Science 3997, Springer-Verlag 2006, pp. 16-31.
    (download PDF)
    The printed version of the PDF is available in the SpringerLink.
  • Publication IV: Katara M., Kervinen A., Maunumaa M., Pääkkönen T., Satama M.:
    ``Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach''.
    Proceedings of Testing: Academic & Industrial Conference (TAIC PART 2006), Windsor, UK, August 2006, IEEE CS Press, 2006, pp. 81-89.
    (download PDF)
    The printed version of the PDF is available in the IEEE Explore.
  • Publication V: Katara M., Kervinen A.:
    ``Making Model-Based Testing More Agile: a Use Case Driven Approach''.
    Proceedings of the Haifa Verification Conference (HVC 2006), Haifa, Israel, October 2006. Lecture Notes in Computer Science 4383, Springer-Verlag, 2006. pp. 219-234.
    (download PDF)
    The printed version of the PDF is available in the SpringerLink.
  • Publication VI: Jääskeläinen A., Katara, M., Kervinen, A., Heiskanen H., Maunumaa M., Pääkkönen T.:
    ``Model-Based Testing Service on the Web''.
    Proceedings of TESTCOM/FATES 2008, Tokyo, Japan, June 10, 2008. Lecture Notes in Computer Science 5047, Springer-Verlag 2008. pp. 38-53.
    (download PDF)
    The printed version of the PDF is available in the SpringerLink.