Essays about: "Automatic test"
Showing result 1 - 5 of 445 essays containing the words Automatic test.
-
1. 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äkerhetAbstract : 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
-
2. IDENTIFYING HATE SPEECH IN SOCIAL MEDIA THROUGH CONTENT AND SOCIAL CONNECTIONS ANALYSIS
University essay from Göteborgs universitet / Institutionen för filosofi, lingvistik och vetenskapsteoriAbstract : 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. READ MORE
-
3. Models, Keys, and Cryptanalysis: Evaluating historical statistical language models in cryptanalysis of homophonic substitution ciphers
University essay from Göteborgs universitet/Institutionen för filosofi, lingvistik och vetenskapsteoriAbstract : 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. READ MORE
-
4. Adding Basic Support for Function Pointers in TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. READ MORE
-
5. Round-Trip Translation : A New Path for Automatic Program Repair using Large Language Models
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE