Essays about: "branch coverage"

Showing result 1 - 5 of 11 essays containing the words branch coverage.

  1. 1. Dasty : Revealing Real-World Prototype Pollution Consequences with Dynamic Taint Analysis

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Paul Moosbrugger; [2023]
    Keywords : Prototype Pollution Gadgets; Dynamic Taint Analysis; Forced Branch Execution; NodeProf Instrumentation; Truffle GraalJS;

    Abstract : Prototype pollution is a vulnerability in JavaScript and other prototype-based languages that allows malicious actors to inject a property into an object’s prototype. The injected property can subsequently trigger gadgets - source code sections that use the properties in sensitive locations. READ MORE

  3. 2. Implementing and comparing challengers to popular multi-objective algorithms for unit test cases generation

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Elias Lindfors; [2023]
    Keywords : multi-objective; evosuite; genetic; algorithm;

    Abstract : The topic of multi-objective algorithms has been researched for many years, where hundreds of multi-objective algorithms have been developed. With the field of search-based software engineering attracting use-cases, more research on which algorithms are fitting the area is still lacking. READ MORE

  4. 3. An analysis of Swedish corporate climate footprints – reaching a more consistent and scientific approach

    University essay from Stockholms universitet/Institutionen för miljövetenskap

    Author : Matilda Ågren-Hernvald; [2021]
    Keywords : Corporate emissions; comparability; Greenhouse Gas Protocol; Scope 3; avoided emissions; system boundaries; life cycle assessment;

    Abstract : Corporate action has become increasingly prevalent in recent years in order to address the urgent issue of climate change. A wide range of concepts are today being used to describe company climate footprints, where one single concept can have varying definitions due to inconsistent approaches on what to include and not in the calculations. READ MORE

  5. 4. Bounded exhaustive generation of tests in model-based testing

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Nour Alhuda Almajni; [2021]
    Keywords : Model-based testing; Modbat; Bounded exhaustive search; Random search.; Modellbaserad testning; Modbat; Begränsad uttömmande sökning; Slumpmässig sökning.;

    Abstract : There are some systems (or parts of systems) that are very critical and need especially good test suites to test them. For these critical systems, exhaustive testing may be a good way to test them. Thus, we have implemented two versions of bounded exhaustive search (BES) algorithms in a model-based testing tool called, Modbat. READ MORE

  6. 5. A SYSTEMATIC LITERATURE REVIEW AND META-ANALYSIS COMPARING AUTOMATED TEST GENERATION AND MANUAL TESTING

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Ted Kurmaku; Musa Kumrija; [2020]
    Keywords : ;

    Abstract : Software testing is among the most critical parts of the software development process. The creation of tests plays a substantial role in the evaluation of software quality yet being one of the most expensive tasks in software development. READ MORE