Essays about: "software tool"

Showing result 1 - 5 of 1629 essays containing the words software tool.

  1. 1. Cross project Just-In-Time bug detection

    University essay from Karlstads universitet/Institutionen för matematik och datavetenskap (from 2013)

    Author : Axel Pettersson; [2024]
    Keywords : JITLine; Bug detection; Software Development; JITLine; Bugg identifiering; Mjukvaruutveckling;

    Abstract : Software is present in almost all aspects of our lives, and with more parts of life beingdriven by code, the importance of limiting bugs is critical. Studies have shown that thelonger a bug is present in a system increases the complexity of finding and handlingthe bug. READ MORE

  3. 2. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. READ MORE

  4. 3. The association between obesity, low-grade inflammation, self-reported knee symptoms and radiographic knee osteoarthritis in individuals with knee pain : A longitudinal cohort study

    University essay from Högskolan i Halmstad/Akademin för företagande, innovation och hållbarhet

    Author : Alma Buer; [2024]
    Keywords : osteoarthritis knee pain; artros knä smärta;

    Abstract : Abstract  Background One of the earliest signs of knee osteoarthritis (OA) is knee pain which correlates with inflammation and disease severity. Knee OA affects 260 million worldwide, and is in similarity with obesity, characterized by ongoing low-grade inflammation. READ MORE

  5. 4. Potential and Limitations of the Sketch Map Tool in the International Red Cross Red Crescent Movement

    University essay from Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

    Author : Kimon Letzner; [2024]
    Keywords : Disaster risk reduction; Participatory action research; Community risk mapping; International Red Cross Red Crescent Movement; Colombia; Technology and Engineering;

    Abstract : In disaster risk management, participatory mapping (PM) closes spatial data gaps in communities by integrating local risk knowledge. The thesis examined the potential and limitations of the Sketch Map Tool (SMT) as a PM tool for community-based disaster risk reduction (DRR) through an International Red Cross Red Crescent Movement case study. READ MORE

  6. 5. An In-Depth study on the Utilization of Large Language Models for Test Case Generation

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Nicole Johnsson; [2024]
    Keywords : Large Language Models; Test Case Generation; Retrieval Augmented Generation; Machine Learning; Generative AI;

    Abstract : This study investigates the utilization of Large Language Models for Test Case Generation. The study uses the Large Language model and Embedding model provided by Llama, specifically Llama2 of size 7B, to generate test cases given a defined input. READ MORE