Towards crash reproduction benchmark augmentation using mutation testing

  • Tek AU

Student thesis: Master typesMaster en sciences informatiques

Résumé

Many applications are developed with a lot of di↵erent purposes and can provide quality output. Nevertheless, crashes still happen. Many techniques such as unit testing, peer-reviewing, or crash reproduction are being researched to improve quality by reducing crashes. This thesis contributes to the fast evolving field of research on crash reproduction tools. These tools seek better reproduction with minimum information as input while delivering correct outputs in various scenarios. Di↵erent approaches have previously been tested to gather input-output data, also called benchmarks, but they often take time and manual e↵ort to be usable. The research documented in this thesis endeavours to synthesize crashes using mutation testing to serve as input for crash reproduction tools.
la date de réponse17 juin 2022
langue originaleAnglais
L'institution diplômante
  • Universite de Namur
SuperviseurXavier Devroey (Promoteur)

Contient cette citation

'