Sökning: "sofia cassel"

Hittade 1 avhandling innehållade orden sofia cassel.

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

    Författare :Sofia Cassel; Bengt Jonsson; Frits Vaandrager; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Sammanfattning : 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. LÄS MER