<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach"^^ . "Model-based testing (MBT) can reduce the cost of making test cases for critical applications significantly. Depending on the formality of the models, they can also be used for verification. Once the models are available model-based test case generation and verification can be seen as \"push-button solutions.\" However, making the models is often perceived by practitioners as being extremely difficult, error prone, and overall daunting. This paper outlines an approach for generating models out of observations gathered while a system is operating. After refining the models with moderate effort, they can be used for verification and test case generation. The approach is illustrated with a concrete system from the safety and security domain."^^ . "2009" . . . "1" . . . . . . . . . . . . . . . "Alberto"^^ . "Gonzalez"^^ . "Alberto Gonzalez"^^ . . "Hans-Gerhard"^^ . "Gross"^^ . "Hans-Gerhard Gross"^^ . . "Eric"^^ . "Piel"^^ . "Eric Piel"^^ . . "Teemu"^^ . "Kanstrén"^^ . "Teemu Kanstrén"^^ . . . . . . "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach (PDF)"^^ . . . "Observation_Based_Modeling_for_Testing_and_Verifying_Highly_Dependable_Systems_A_Practitioners_Approach.pdf"^^ . . . "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach (Other)"^^ . . . . . . "indexcodes.txt"^^ . . . "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #10095 \n\nObservation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach\n\n" . "text/html" . . . "004 Informatik"@de . "004 Data processing Computer science"@en . .