Search for dissertations about: "Claudio Agustin Mista"
Found 2 swedish dissertations containing the words Claudio Agustin Mista.
-
1. Automated Derivation of Random Generators for Algebraic Data Types
Abstract : Many testing techniques such as generational fuzzing or random property-based testing require the existence of some sort of random generation process for the values used as test inputs. Implementing such generators is usually a task left to end-users, who do their best to come up with somewhat sensible implementations after several iterations of trial and error. READ MORE
-
2. Language-Based Techniques and Stochastic Models for Automated Testing
Abstract : As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. READ MORE