Sökning: "Bugs"

Visar resultat 1 - 5 av 165 uppsatser innehållade ordet Bugs.

  1. 1. Smart Contracts, Insurtechs and the Future of Insurance

    Master-uppsats, Lunds universitet/Innovationsteknik

    Författare :John Scherrer; Abtin Salahshor; [2020]
    Nyckelord :Smart contracts; Blockchain; Insurance; Insurtech; Diffusion theory; Adoption barriers; Technology and Engineering;

    Sammanfattning : The insurance industry is notoriously conservative and has seen comparably few technological improvements in the last fifty years. A wave of new technology- driven insurance firms, or insurtechs, is changing that. LÄS MER

  2. 2. The impact of gamification in unit testing

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Shafiq Saloum; Fredrik Rissanen; [2019-11-12]
    Nyckelord :Gamification; Unit testing; Path coverage; Motivation; Bugs;

    Sammanfattning : Unit testing is one of the most widely usedtools to find bugs in software projects. The task of writing unittest is by some considered to be a tedious task. When findinga task tedious there may be a lack in motivation which canreduce the quality of the tests resulting in less bugs found. LÄS MER

  3. 3. Introducing probabilities within grey-box fuzzing

    Master-uppsats, Linköpings universitet/Databas och informationsteknik

    Författare :Patrik Sletmo; [2019]
    Nyckelord :Fuzz Testing; Fuzzing; Grey-box Fuzz Testing; Vulnerability Testing; Probabilities; Security; ROI; SpareFuzz;

    Sammanfattning : Over the recent years, the software industry has faced a steady increase in the number of exposed and exploited software vulnerabilities. With more software and devices being connected to the internet every day, the need for proactive security measures has never been more important. LÄS MER

  4. 4. Extension of the ELDARICA C model checker with heap memory

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Zafer Esen; [2019]
    Nyckelord :;

    Sammanfattning : Model checking is a verification method which is used to detect bugs which would be extremely hard to detect using traditional testing, and ELDARICA is a state-of-the-art model checker which accepts a variety of formats as its input, including programs written in a fragment of the C language. This thesis aims to improve the C front-end of ELDARICA to a point where it can automatically model and verify C programs which contain pointers, heap memory interactions and structs, which are currently not supported. LÄS MER

  5. 5. Studying Test Flakiness in Python Projects : Original Findings for Machine Learning

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Anders Sjöbom; [2019]
    Nyckelord :;

    Sammanfattning : Flaky tests can fail or pass without any changes to the code under test. They can destroy developers trust in a test suite and if ignored lead to bugs in released code. This thesis performs an empirical study of the most popular open source Python projects on GitHub. LÄS MER