2 Hits in 2.0 sec

Execution Synthesis: A Technique for Automating the Debugging of Software

Cristian Zamfir
Reverse execution synthesis generates the necessary information to then play back this suffix in a debugger deterministically as many times as needed to complete the debugging process.  ...  and memory safety bugs in real systems, taking on the order of minutes.  ...  overhead of execution tracing.  ... 
doi:10.5075/epfl-thesis-5914 fatcat:xzex5ojuh5fc3ja7lvhlfbubc4

A Programming Paradigm for Reliable Applications in a Decentralized Setting

Ragnar Mogk
The use of applications has changed together with the underlying computing platform.  ...  To do so, our programming paradigm abstracts from the notion of changes in data, thus removing the need to handle failure cases differently and providing developers a single set of properties to always  ...  The creation prefix of a device, ctrace(𝐷 0 , 𝐷 𝑛 ), is the longest prefix 𝐷 0 → * 𝑝 𝐷 𝑛 of 𝑡𝑟𝑎𝑐𝑒(𝐷 0 ) where none of the steps in the trace was produced by the *TX or ACCESS rules.  ... 
doi:10.26083/tuprints-00019403 fatcat:4kx3j5tfuza4dflqxwf6tmlgja