Reproducible execution of POSIX programs with DiOS
Authors:
- 23 October 2020
- journal article
- research article
- Published by Springer Nature in Software and Systems Modeling
- Vol. 20 (2) , 363-382
Abstract
No abstract availableKeywords
Funding Information
- Grantová Agentura České Republiky (18-02177S)
This publication has 15 references indexed in Scilit:
- Using Off-the-Shelf Exception Support Components in C++ Verification2017
- Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016)2016
- Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs2015
- Simulation and formal verification of x86 machine-code programs that make system calls2014
- An Empirical Study on the Usage of Mocking Frameworks in Software Testing2014
- Modular Software Model Checking for Distributed SystemsIEEE Transactions on Software Engineering, 2013
- Verifying multi-threaded software with impact2013
- The S2E PlatformACM Transactions on Computer Systems, 2012
- From Operating-System Correctness to Pervasively Verified Applications2010
- SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions2007