Search for dissertations about: "program generation"

Showing result 1 - 5 of 143 swedish dissertations containing the words program generation.

  2. 1. Deductive Program Analysis with First-Order Theorem Provers

    Author : Simon Robillard; Chalmers tekniska högskola; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE

  4. 2. Searching for sustainable aquaculture governance : A focus on ambitions and experience

    Author : Ola Luthman; Rickard Lalander; Fred Saunders; Max Troell; Megan Bailey; Södertörns högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Aquaculture; policy; environmental governance; Social-Ecological Systems; Environmental Studies; Miljövetenskapliga studier; Östersjö- och Östeuropaforskning; Baltic and East European studies;

    Abstract : Aquaculture is one of the most diverse food-producing industries and is suggested as a key solution to a growing global food demand. It has been argued that aquaculture has the potential to expand sustainably in most parts of the world, especially in the EU where consumption far out weighs production. READ MORE

  5. 3. Automated Verification and Generation of Flexible Automation Control

    Author : Johan Richardsson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; manufacturing systems; program generation; control; verification;

    Abstract : Consumer product life-cycles are constantly shortening; the automotive industry is an illustrative example. As a consequence, the introduction of new products into the manufacturing system necessarily becomes more frequent. Inherently, this brings a performance reduction for the manufacturing system. READ MORE

  6. 4. Techniques for Automatic Generation of Tests from Programs and Specifications

    Author : Jon Edvardsson; Mariam Kamkar; Maud Göthe-Lundgren; Jeff Offutt; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; automatic test data generation; partition testing; constraint solving; program coverage; specification coverage; Software engineering; Programvaruteknik;

    Abstract : Software testing is complex and time consuming. One way to reduce the effort associated with testing is to generate test data automatically. This thesis is divided into three parts. In the first part a mixed-integer constraint solver developed by Gupta et. READ MORE

  7. 5. Contributions to program- and specification-based test data generation

    Author : Jon Edvardsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Software testing is complex and time consuming. One way to reduce testing effort is to automatically generate test data. In the first part of this thesis we consider a framework by Gupta et al. for generating tests from programs. READ MORE