TUTLOGO TUTLOGO
practise
Notifications
Teams
Publications
Partners
Downloads
Related activities
current projects
Darwin
Lively
Rye
Sulava
completed projects
AMOEBA
Archimedes
ART
ATOS
EEWES
Fred & JavaFrames
INARI
MBT-MOSE
MoDES
MoMupe
MuSA
Ohjelmaturva
SERIOUS
Sulake
TEMA
UML++
Wesahmi
contact
Feedback
site
Site map
Search
private
Login

Practical Model-Based Testing: Processes, Tools and Metrics

Introduction | Team | Publications |

Conferences & Workshops

A Test Process Improvement Model for Automated Test Generation
Henri Heiskanen, Mika Maunumaa, and Mika Katara : "A Test Process Improvement Model for Automated Test Generation", Proceedings of the 13th International Conference on Product-Focused Software Development and Process Improvement (PROFES 2012), Springer LNCS, no. 7343, pp. 17-31, Madrid, Spain, June 2012.
bibtex

Synthesizing Test Models from Test Cases
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, and Heikki Virtanen : "Synthesizing Test Models from Test Cases", Proceedings of the Haifa Verification Conference 2008, Springer LNCS, no. 5394 , pp. 179-193, IBM Haifa Labs, Haifa, Israel, October 2008.
download :: bibtex

Thesis

Survey on Automatic Test Generation in Testing of Mobile Applications
Marek Janicki : "Survey on Automatic Test Generation in Testing of Mobile Applications", M.Sc. Thesis, Tampere University of Technology, September 2009.
bibtex

Technical reports

Model-Based Test Specification and Execution Using Live Sequence Charts and the S2A Compiler: An Industrial Experience
Shahar Maoz, Jani Metsä & Mika Katara : "Model-Based Test Specification and Execution Using Live Sequence Charts and the S2A Compiler: An Industrial Experience", Report No. 4, Tampere University of Technology, Department of Software Systems, August 2009.
download (PDF) :: bibtex

Other publications

Test Process Improvement for Automated Test Generation
Henri Heiskanen, Mika Maunumaa, and Mika Katara : "Test Process Improvement for Automated Test Generation", pp. 36, May 2010.
download (ATG TPI report) :: bibtex

updated 04.02.13 20:01:26 © Copyright 2011 Practise Group - Department of Software Systems - Tampere University of Technology