Antti Jääskeläinen

Learn More
Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in industrial contexts. We are developing a domain-specific MBT solution for graphical user interface (GUI) testing of Symbian S60 smart-phone applications. We believe that such a tailor-made(More)
Model-based testing (MBT) seems technically superior to conventional test automation systems. However, this technology features some difficulties that can hamper its deployment in industrial contexts. In our earlier work, we have developed a domain-specific MBT solution for GUI testing of Symbian S60 smart phones and their applications. We believe that such(More)
Formal methods are making their way into the development of safety-critical systems. In this paper, we describe a case study where a simple 2oo3 voting scheme for a shutdown system was verified using two bounded model checking tools, CBMC and EBMC. The system represents Systematic Capability level 3 according to IEC 61508 ed2.0. The verification process was(More)