Search for dissertations about: "Eduard Enoiu"

Showing result 1 - 5 of 8 swedish dissertations containing the words Eduard Enoiu.

  2. 1. Automatic test generation for industrial control software

    Author : Eduard Enoiu; Daniel Sundmark; Mats Heimdahl; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic test generation; software testing; automated test generation; Computer Science; datavetenskap;

    Abstract : Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. READ MORE

  4. 2. Model Checking-Based Software Testing for Function-Block Diagrams

    Author : Eduard Enoiu; Mohammad Reza Mousavi; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Software testing becomes more complex, more time-consuming, and more expensive. The risk that software errors remain undetected and cause critical failures increases. Consequently, in safety-critical development, testing software is standardized and it requires an engineer to show that tests fully exercise, or cover, the logic of the software. READ MORE

  5. 3. Requirements-Level Reuse Recommendation and Prioritization of Product Line Assets

    Author : Muhammad Abbas; Sundmark Daniel; Eduard Paul Enoiu; Mehrdad Saadatmand; Patrizio Pelliccione; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Software systems often target a variety of different market segments. Targeting varying customer requirements requires a product-focused development process. Software Product Line (SPL) engineering is one possible approach based on reuse rationale to aid quick delivery of quality product variants at scale. READ MORE

  6. 4. Industrial System Level Test Automation

    Author : Daniel Flemström; Wasif Afzal; Eduard Paul Enoiu; Sundmark Daniel; Andy Zaidman; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Vehicular software systems control and monitor many safety-critical functions, such as automated emergency brakes and anti-spin. These functions are integrated and tested at system level to ensure that the entire system works as intended.Traditionally, these functions or selected combinations of functions are tested in isolation. READ MORE

  7. 5. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist; Larsen Kim; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Autonomous vehicles such as mobile driver-less construction equipment bear the promise of increased safety and industrial productivity by automating repetitive tasks and reducing manual labor costs. These systems are usually involved in safety- or mission-critical scenarios, therefore they require thorough analysis and verification. READ MORE