Search for dissertations about: "Sofia Cassel"

Found 1 swedish dissertation containing the words Sofia Cassel.

2. 1. Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data

   Author : Sofia Cassel; Bengt Jonsson; Frits Vaandrager; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Abstract : Formal models are often used to describe the behavior of a computer program or component. Behavioral models have many different usages, e.g., in model-based techniques for software development and verification,such as model checking and model based testing. READ MORE