Sökning: "program generation"
Visar resultat 1 - 5 av 152 avhandlingar innehållade orden program generation.
1. Deductive Program Analysis with First-Order Theorem Provers
Sammanfattning : 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. LÄS MER
2. Searching for sustainable aquaculture governance : A focus on ambitions and experience
Sammanfattning : 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. LÄS MER
3. Automated Verification and Generation of Flexible Automation Control
Sammanfattning : 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. LÄS MER
4. Techniques for Automatic Generation of Tests from Programs and Specifications
Sammanfattning : 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. LÄS MER
5. Contributions to program- and specification-based test data generation
Sammanfattning : 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. LÄS MER