Sökning: "Search-Based Software Engineering"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Search-Based Software Engineering.

  1. 1. Interactive Search-Based Software Testing : Development, Evaluation, and Deployment

    Författare :Bogdan Marculescu; Robert Feldt; Robert Torkar; Simon Poulding; Mohammad Mousavi; Blekinge Tekniska Högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Interactive Search-Based Software Testing; Search-Based Software Testing; Search-Based Software Engineering; Industrial Validation;

    Sammanfattning : .... LÄS MER

  3. 2. Search-Based Prediction of Software Quality : Evaluations and Comparisons

    Författare :Wasif Afzal; IS (Embedded Systems); []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Software verification and validation (V&V) activities are critical for achieving software quality; however, these activities also constitute a large part of the costs when developing software. Therefore efficient and effective software V&V activities are both a priority and a necessity considering the pressure to decrease time-to-market and the intense competition faced by many, if not all, companies today. LÄS MER

  4. 3. Interactive Search-Based Testing of Embedded Software : Understanding the Benefits and Difficulties of Industrial Application

    Författare :Bogdan Marculescu; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The ubiquity of software has wide-ranging consequences for its development and testing. Increasingly often, software is developed and tested by engineers specialized in other areas. Embedded software, for example, is developed ad-hoc, for each product, by systems and domain engineers. LÄS MER

  5. 4. Search-based approaches to software fault prediction and software testing

    Författare :Wasif Afzal; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Software verification and validation activities are essential for software quality but also constitute a large part of software development costs. Therefore efficient and cost-effective software verification and validation activities are both a priority and a necessity considering the pressure to decrease time-to-market and intense competition faced by many, if not all, companies today. LÄS MER

  7. 5. On Formal Methods for Large-Scale Product Configuration

    Författare :Alexey Voronov; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; constraint satisfaction; knowledge compilation; Boolean satisfiability; supervisory control theory; product configuration;

    Sammanfattning : In product development companies mass customization is widely used to achieve better customer satisfaction while keeping costs down. To efficiently implement mass customization, product platforms are often used. A product platform allows building a wide range of products from a set of predefined components. LÄS MER