Search for dissertations about: "automated software testing"

Showing result 11 - 15 of 44 swedish dissertations containing the words automated software testing.

2. 11. Automated System Level Software Testing of Networked Embedded Systems

   Author : Per Erik Strandberg; Sundmark Daniel; Wasif Afzal; Elizabeth Bjarnason; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Abstract : Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be reliable. READ MORE

4. 12. On overcoming challenges with GUI-based test automation

   Author : Michel Nass; Emil Alégroth; Tanja Vos; Blekinge Tekniska Högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; GUI Testing; Test Automation; Augmented Testing; Test Case Robustness; Web Element Locators; Large Language Models; Programvaruteknik; Software Engineering;

   Abstract : Background: Automated testing is widely used in modern software development to check if the software, including its graphical user interface (GUI), meets the expectations in terms of quality and functionality. GUI-based test automation, like other automation, aims to save time and money compared to manual testing without reducing the software quality. READ MORE

5. 13. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving

   Author : Hans Svensson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; distributed algorithms; fault-tolerance; theorem proving; verification; distributed programming; Erlang; model checking; testing;

   Abstract : Software infiltrates every aspect of modern society. Production, transportation, entertainment, and almost every other sphere that influences modern living are either directly or indirectly dependent on software systems. READ MORE

6. 14. Automated static code analysis : A tool for early vulnerability detection

   Author : Dejan Baca; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Software vulnerabilities are added into programs during its development. Architectural flaws are introduced during planning and design, while implementation faults are created during coding. Penetration testing is often used to detect these vulnerabilities. READ MORE

7. 15. On Provably Correct Decision-Making for Automated Driving

   Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

   Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE