The first Finnish Test Automation and Verification SIG seminar

Due to the ever increasing complexity of software and systems, new validation and verification methods are needed. Towards promoting the development and use of new advanced tools and methods for validating and verifying the functional and non-functional properties of complex and critical software and systems, and to advance co-operation within this field, a new Finnish special interest group has been created. To introduce the group and its goals, we organize a seminar presenting introductory tutorials and state-of-the-art results. The seminar is free of charge.

Seminar program

    Morning session: Model-Based Testing basics

      09.30 Mika Katara (TUT): Opening & Introducing the new SIG

      09.35 Olli-Pekka Puolitaival (F-Secure): Introducing Model-Based Testing

      10:05 Stephan Schulz (Conformiq): Automating Functional Test Design with Model-Based Testing

        10:35 Break

      10:45 Teemu Kanstrén (VTT): OSMO: A simple approach to bootstrapping MBT

      11:15 Mika Katara (TUT): Model-Based GUI Testing

         11:45 Lunch break, pay-your-own

    Afternoon session: Test Automation State-of-the-Art

    12:45 Keijo Heljanko (Aalto): Whitebox Testing of C and Java Source Code

        13:45 Coffee break

    15:00 Dragos Truscan (Åbo Akademi): MATERA - Modeling for Automated Test Derivation