Execution synthesis: formal description and core dump interface – Bc. Martin Milata
Bc. Martin Milata
Master's thesis
Execution synthesis: formal description and core dump interface
Execution synthesis: formal description and core dump interface
Abstract:
Cílem této práce je rozšířit syntézu běhu (execution synthesis), automatickou metodu pro reprodukci softwarových chyb za pomoci informací běžně obsažených v chybových hlášeních. Konkrétněji se práce zabývá modifikací této techniky tak, aby mohla využívat obrazy paměti (core dump), které dokáže pro chybné programy generovat většina operačních systémů. Práce má dvě hlavní části. V první je navržen formální …moreAbstract:
The aim of the thesis is to extend the execution synthesis, an automated method for reproducing software bugs from the information commonly found in bug reports. In particular, we try to make steps necessary for the method to work with core dumps, which are memory images of crashed programs that can be produced by most operating systems. The thesis has two main parts. In the first, we provide a formal …more
Language used: English
Date on which the thesis was submitted / produced: 7. 1. 2013
Identifier:
https://is.muni.cz/th/bw0td/
Thesis defence
- Date of defence: 8. 2. 2013
- Supervisor: doc. RNDr. Jan Strejček, Ph.D.
- Reader: Mgr. Karel Klíč
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Theoretical Informatics
Theses on a related topic
-
Symbiosis of Symbolic Execution and Fuzzing
Adam Štafa -
Symbolic Loop Bound Analysis
Pavel Čadek -
Symbolic-size Memory Allocation Support for Klee
Michael Šimáček