[08-b] Jääskeläinen, A., Kervinen, A., Katara, M.: Creating an Open Source Test Model Library for GUI Testing of Smartphone Applications Proc. of QSIC 2008, Oxford, UK, August 2008. IEEE Computer Society Press. To appear. (short paper)
[08-a] Jääskeläinen, A., Katara, M., Kervinen, A., Heiskanen H., Maunumaa, M., Pääkkönen, T.,: Model-Based Testing Service on the Web. Proc. of TESTCOM/FATES 2008, Tokyo, June 2008. Lecture Notes in Computer Science 5047, Springer-Verlag 2008. pp. 38--53.
[07-a] Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Jääskeläinen, A.: Can I Have Some Model-Based GUI Tests Please? --- Providing a Model-Based Testing Service through a Web Interface, Proc. of CAST 2007 -- Conference of the Association for Software Testing, Bellevue, WA, USA, July 2007.
[06-å] Katara, M., Kervinen, A.: Making Model-Based Testing More Agile: a Use Case Driver Approach. Proc. of HVC 2006 -- Haifa Verification Conference 2006, Haifa, Israel, October 2006. Lecture Notes in Computer Science 4383, Spinger-Verlag 2006.
[06-z] Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Satama, M.: Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. TAIC PART 2006 -- Testing: Academia & Industry Conference - Practice And Research Techniques, IEEE CS Press, pp. 81-89, London, England, August 29-31, 2006.
[06-y] Hansen, H., Kervinen, A.: Minimal Counterexamples in O(n log n) Memory and O(n²) time. ACSD 2006 -- 6th International Conference on Application of Concurrency to System Design, Turku, Finland, June 26-30, 2006. IEEE Computer Society Press, 2006, pp. 133--140.
[06-x] Kervinen, A., Maunumaa, M., Katara, M.: Controlling Testing using Three-Tier Model Architecture. Proc. MBT'06 -- 2nd International Workshop on Model-Based Testing, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164 (4), Elsevier 2006, pp. 53-66.
[05-6] Kervinen, A., Maunumaa, M., Pääkkönen, T., Katara, M.: Model-Based Testing Through a GUI. Proc. FATES 2005 -- Formal Approaches to Testing of Software, Edinburgh, Scotland, July 11, 2005. Lecture Notes in Computer Science 3997, Springer-Verlag 2006, pp. 16-31.
[04-5] Kervinen, A. & Virolainen, P.: Konferenssiprotokollan automaattinen testaus (Automatic Testing of a Conference Protocol). Proc. Tietojenkäsittelytieteen päivät 2004, Joensuu, Finland, May 2004, pp. 44-48. In Finnish.
[04-1] Kervinen, A. & Virolainen, P.: Heuristics for Faster Error Detection with Automated Black Box Testing. Proc. MBT'04 -- International Workshop on Model-Based Testing, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 111, Elsevier 2005, pp. 53-71. Earlier version [03-7] (Tampere University of Technology, Institute of Software Systems, Report 35, 2003.)
[02-5] Valmari, A. & Kervinen, A.: Alphabet-Based Synchronisation is Exponentially Cheaper. Proc. CONCUR 2002 -- Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Lecture Notes in Computer Science 2421, Springer-Verlag 2002, pp. 161-176.
[01-9] Kervinen, A.: Erään tietoliikenneprotokollan verifiointi (Verification of a Communication Protocol). M. Sc. (Eng.) Thesis, Tampere University of Techonology March 2001. In Finnish. 45 p.
[01-5] Kervinen, A., Valmari, A. & Järnström, R.: Debugging a Real-life Protocol with CFFD-Based Verification Tools. FMICS 2001, 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris, July 16-17, 2001, INRIA, pp. 13-27.
[04-8] Kervinen, A. & Virolainen, P.: Konferenssiprotokollan automaattinen testaus (Automatic Testing of a Conference Protocol). Tietojenkäsittelytiede 22, Tietojenkäsittelytieteen Seura 2004, pp. 35-46. In Finnish.
[01-pitky]Kervinen, A.: Tavoitteena toimiva järjestelmä (Goal: a correct system). Pirkanmaan tietojenkäsittelijöiden jäsenlehdessä 2001. In Finnish.