Essays about: "Jonatan Larsson"

Showing result 6 - 8 of 8 essays containing the words Jonatan Larsson.

1. 6. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Jonatan Larsson; [2017]
   Keywords : UPPAAL SMC; Automatic Testing; Mutation Analysis; Test Generation; Priced Timed Automata; C#;

   Abstract : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. READ MORE

3. 7. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Jonatan Larsson; [2017]
   Keywords : Automatic test generation; UPPAAL SMC; Model-based testing; Mutation Analysis; MATS;

   Abstract : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. READ MORE

4. 8. Implementation and evaluation of motion correction for quantitative MRI

   University essay from Medicinsk informatik

   Author : Jonatan Larsson; [2010]
   Keywords : image analysis; image registration; local phase; SPM; qMRI; rigid transformation;

   Abstract : Image registration is the process of aligning two images such that their mutual features overlap. This is of great importance in several medical applications. In 2008 a novel method for simultaneous T1, T2 and proton density quantification was suggested. The method is in the field of quantitative Magnetic Resonance Imaging or qMRI. READ MORE