"Reliability and correctness of a web application are crucial factors to its success. Errors occurring in nondeterministic moments do not attract the target audience of the application. It is quite impossible to deliver 100% reliable application. Hidden errors are discovered when target users are using the application. With proper tooling and support the time between the error discovery or report and the error elimination can be reduced. In this paper we are proposing formal model for a model based improvement of a testing process of the web application. Our goal is to create a formal model and design a testing framework based on the direct guidance of a tester 1through the testing process, verifying his steps and providing better feedback." . . "000312714400183" . "S" . . . . . . "Jel\u00EDnek, Ivan" . "RIV/68407700:21230/12:00197174" . "Wroclaw" . . . "test automation; test case scenario generation; guidance application"@en . . "Formal specification to support advanced model based testing"@en . . . "New York" . "21230" . . "4"^^ . "[3F7FF9FDF813]" . . . "IEEE" . "978-83-60810-48-4" . "136981" . "2012-09-09+02:00"^^ . "Formal specification to support advanced model based testing" . "http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf" . "Bure\u0161, Miroslav" . "RIV/68407700:21230/12:00197174!RIV13-MSM-21230___" . "Frajt\u00E1k, Karel" . . . . "Federated Conference on Computer Science and Information Systems (FedCSIS 2012)" . "Formal specification to support advanced model based testing"@en . "Reliability and correctness of a web application are crucial factors to its success. Errors occurring in nondeterministic moments do not attract the target audience of the application. It is quite impossible to deliver 100% reliable application. Hidden errors are discovered when target users are using the application. With proper tooling and support the time between the error discovery or report and the error elimination can be reduced. In this paper we are proposing formal model for a model based improvement of a testing process of the web application. Our goal is to create a formal model and design a testing framework based on the direct guidance of a tester 1through the testing process, verifying his steps and providing better feedback."@en . "3"^^ . "Formal specification to support advanced model based testing" . . "3"^^ .