Essays about: "Runtime Verification"

Showing result 1 - 5 of 10 essays containing the words Runtime Verification.

  1. 1. SeqLTL and ωLTL

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Oskar Grekula; [2023-10-19]
    Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

  3. 2. Investigating the applicability of execution tracing techniques for root causing randomness-related flaky tests in Python

    University essay from Linköpings universitet/Programvara och system

    Author : Norrestam Held Erik; [2021]
    Keywords : software testing; flaky; flaky tests; flakiness; test flakiness; python; pytest; randomness; tracing; root causing;

    Abstract : Regression testing is an essential part of developing and maintaining software. It helps verify that changes to the software have not introduced any new bugs, and that the functionality still works as intended. However, for this verification to be valid, the executed tests must be assumed to be deterministic, i.e. READ MORE

  4. 3. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification

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

    Author : Henrik Andersson Glass; [2021]
    Keywords : Cockpit Display System; Compiler Correctness; Compiler; Transpiler; Computer Graphics; Cockpitpresentationssystem; Kompilatorkorrekthet; Kompilator; Transpilator; Datorgrafik;

    Abstract : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. READ MORE

  5. 4. Secure Self-Reconfiguring Services to Mitigate DoS Attacks

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

    Author : Silvan Zeller; [2019]
    Keywords : Rule-Based IDS; Runtime Verification; Domain Attacks; Self-Reconfiguring Systems;

    Abstract : Protecting web services from cyber attacks is a complex problem requiring many layers of defense and mitigation strategies. Out of the diverse range of attacks, denial of service (DoS) attacks on the business logic – or the domain – are poorly studied and no widely accepted general-purpose software product to prevent these attacks exists today. READ MORE

  6. 5. Regression Test Selection för snabb återkoppling när utveckling görs för Androidplatformen

    University essay from Lunds universitet/Högskoleingenjörsutbildning i datateknik

    Author : Ali Mahmoud Muthanna; Ludwig Hellgren Winblad; [2018]
    Keywords : regression test selection rts ; android; regression testing; Technology and Engineering;

    Abstract : The work for this thesis was conducted at a department of Sony Mobile Communications, with the purpose of incorporating regression testing into the daily workflow of developers. Today regression testing is conducted by executing a test suite of approximately 58 000 tests to verify modifications done to code. READ MORE