Sökning: "Automatic test"

Visar resultat 1 - 5 av 556 uppsatser innehållade orden Automatic test.

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

   Master-uppsats, Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

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

   Sammanfattning : 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. LÄS MER

3. 2. IDENTIFYING HATE SPEECH IN SOCIAL MEDIA THROUGH CONTENT AND SOCIAL CONNECTIONS ANALYSIS

   Master-uppsats, Göteborgs universitet / Institutionen för filosofi, lingvistik och vetenskapsteori

   Författare :Milan Stanišić; [2023-06-19]
   Nyckelord :hate speech; social media; natural language processing; classification;

   Sammanfattning : Hate speech is a problem which puts its targets at risk of serious harm. It spreads fast and has a real influence on the society because of the ubiquity of the internet and social media, and so various research efforts have been put to find solutions to automatic hate speech detection. LÄS MER

4. 3. Models, Keys, and Cryptanalysis: Evaluating historical statistical language models in cryptanalysis of homophonic substitution ciphers

   Kandidat-uppsats, Göteborgs universitet/Institutionen för filosofi, lingvistik och vetenskapsteori

   Författare :Filip Fornmark; [2023-01-19]
   Nyckelord :statistical language models; cryptanalysis; historical cryptology; homophonic substitution;

   Sammanfattning : This thesis presents an empirical study connected to historical cryptography and especially within the framework of the research project DECRYPT. One of the research questions in the DECRYPT project relates to the use of language models for automatic cryptanalysis. LÄS MER

5. 4. Adding Basic Support for Function Pointers in TriCera

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

   Författare :Axel Bergström; [2023]
   Nyckelord :;

   Sammanfattning : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. LÄS MER

7. 5. Round-Trip Translation : A New Path for Automatic Program Repair using Large Language Models

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

   Författare :Fernando Vallecillos Ruiz; [2023]
   Nyckelord :Automatic Program Repair; Software Engineering; Large Language Models; Round-Trip Translation; Neural Machine Translation; Automatisk programreparation; Mjukvaruutveckling; Stora språkmodeller; Tur och retur-översättning; Neural maskinöversättning;

   Sammanfattning : Research shows that grammatical mistakes in a sentence can be corrected by machine translating it to another language and back. We investigate whether this correction capability of Large Language Models (LLMs) extends to Automatic Program Repair (APR), a software engineering task. LÄS MER