Sökning: "Bug detection"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Bug detection.

1. 1. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

   Författare :Idriss Riouak; Programvaruteknik; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

   Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER

3. 2. Detection and characterization of novel proteins in Trypanosoma cruzi

   Författare :Marcela Ferella; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :;

   Sammanfattning : Trypanosoma cruzi is a flagellated protozoan parasite. It infects a wide range of mammals, including humans. Human T. cruzi infections are endemic to South and Central America. LÄS MER

4. 3. Seasonal change in defensive coloration in a shieldbug

   Författare :Aleksandra I. Johansen; Gabriella Gamberale-Stille; Birgitta S. Tullberg; Graeme Ruxton; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Shield bug; colour change; protective coloration; cryptic; aposematic; behavioural change; etologi; Ethology;

   Sammanfattning : Protective coloration such as aposematism and crypsis occurs in many insects but only a few species alter their defensive strategy during the same instar. We hypothesize the adult shield bug Graphosoma lineatum with an alternating black and non-melanised longitudinal striation exhibit such a change in defensive coloration. LÄS MER

5. 4. Source Code Representations of Deep Learning for Program Repair

   Författare :Zimin Chen; Martin Monperrus; Benoit Baudry; Zhendong Su; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Code Representation; Deep Learning; Program Repair; Datalogi; Computer Science;

   Sammanfattning : Deep learning, leveraging artificial neural networks, has demonstrated significant capabilities in understanding intricate patterns within data. In recent years, its prowess has been extended to the vast domain of source code, where it aids in diverse software engineering tasks such as program repair, code summarization, and vulnerability detection. LÄS MER

7. 5. Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots

   Författare :Momina Rizwan; Programvaruteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Domain Specific Languages; Robot programming; safety;

   Sammanfattning : Autonomous robots must operate reliably and predictably in uncertain environ-ments. Throughout the robot software development cycle, robot operators and de-velopers must be able to specify their safety and functional requirements reliablyand explicitly. To this end, we propose to use Domain-Specific Languages (DSLs)to address their needs. LÄS MER