Execution synthesis: formal description and core dump interface
Martin Milata · 2013
Cilem teto prace je rozsiřit syntezu běhu (execution synthesis), automatickou metodu pro reprodukci softwarových chyb za pomoci informaci běžně obsažených v chybových hlasenich. Konkretněji se prace zabýva modifikaci teto techniky tak, aby mohla využivat obrazy paměti (core dump), ktere dokaže pro chybne programy generovat větsina operacnich systemů. Prace ma dvě hlavni casti. V prvni je navržen formalni popis syntezy běhu a za pomoci tohoto popisu uveden postup pro propojeni teto metody s obrazy paměti. Druha cast se zabýva praktickými aspekty obrazů paměti v operacnim systemu Linux, a jeji soucasti je softwarový balicek umožňujici ziskat z nich informace použitelne pro syntezu běhu.