1. Lecture Notes in Computer Science;Z Baranová,2017
2. Lecture Notes in Computer Science;D Beyer,2016
3. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209–224. USENIX Association (2008)
4. Chirigati, F., Shasha, D., Freire, J.: Reprozip: using provenance to support computational reproducibility. In: Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2013, Berkeley, CA, USA, pp. 1:1–1:4. USENIX Association (2013).
http://dl.acm.org/citation.cfm?id=2482949.2482951
5. Frew, J., Metzger, D., Slaughter, P.: Automatic capture and reconstruction of computational provenance. Concurr. Comput. Pract. Exper. 20(5), 485–496 (2008).
https://doi.org/10.1002/cpe.v20:5
. ISSN 1532–0626