{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:39:22Z","timestamp":1726043962774},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030304454"},{"type":"electronic","value":"9783030304461"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30446-1_18","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:03:18Z","timestamp":1567969398000},"page":"333-349","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reproducible Execution of POSIX Programs with DiOS"],"prefix":"10.1007","author":[{"given":"Petr","family":"Ro\u010dkai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuzana","family":"Baranov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mr\u00e1zek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katar\u00edna","family":"Kejstov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Barnat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-319-68167-2_14","volume-title":"Automated Technology for Verification and Analysis","author":"Z Baranov\u00e1","year":"2017","unstructured":"Baranov\u00e1, Z., et al.: Model checking of C and C++ with DIVINE 4. In: D\u2019Souza, D., Narayan Kumar, K. (eds.) ATVA 2017. LNCS, vol. 10482, pp. 201\u2013207. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-68167-2_14"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1007\/978-3-662-49674-9_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Beyer","year":"2016","unstructured":"Beyer, D.: Reliable and reproducible competition results with BenchExec and witnesses (Report on SV-COMP 2016). In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 887\u2013904. Springer, Heidelberg (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-662-49674-9_55"},{"key":"18_CR3","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209\u2013224. USENIX Association (2008)"},{"key":"18_CR4","unstructured":"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\u20131:4. USENIX Association (2013). \n                      http:\/\/dl.acm.org\/citation.cfm?id=2482949.2482951"},{"issue":"5","key":"18_CR5","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1002\/cpe.v20:5","volume":"20","author":"J Frew","year":"2008","unstructured":"Frew, J., Metzger, D., Slaughter, P.: Automatic capture and reconstruction of computational provenance. Concurr. Comput. Pract. Exper. 20(5), 485\u2013496 (2008). \n                      https:\/\/doi.org\/10.1002\/cpe.v20:5\n                      \n                    . ISSN 1532\u20130626","journal-title":"Concurr. Comput. Pract. Exper."},{"key":"18_CR6","doi-asserted-by":"publisher","unstructured":"Inverso, O., Nguyen, T.L., Fischer, B., Torre, S.L., Parlato, G.: Lazy-CSeq: a context-bounded model checking tool for multi-threaded C-programs. In: 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 807\u2013812 (2015). \n                      https:\/\/doi.org\/10.1109\/ASE.2015.108","DOI":"10.1109\/ASE.2015.108"},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Joshi, S., Orso, A.: Scarpe: a technique and tool for selective capture and replay of program executions. In: 2007 IEEE International Conference on Software Maintenance, pp. 234\u2013243 (2007). \n                      https:\/\/doi.org\/10.1109\/ICSM.2007.4362636\n                      \n                    . ISBN 978-1-4244-1256-3","DOI":"10.1109\/ICSM.2007.4362636"},{"key":"18_CR8","unstructured":"Kejstov\u00e1, K.: Model checking with system call traces. Master\u2019s thesis, Masarykova univerzita, Fakulta informatiky, Brno (2019). \n                      http:\/\/is.muni.cz\/th\/tukvk\/"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-319-67531-2_14","volume-title":"Runtime Verification","author":"K Kejstov\u00e1","year":"2017","unstructured":"Kejstov\u00e1, K., Ro\u010dkai, P., Barnat, J.: From model checking to runtime verification and back. In: Lahiri, S., Reger, G. (eds.) RV 2017. LNCS, vol. 10548, pp. 225\u2013240. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-67531-2_14"},{"key":"18_CR10","doi-asserted-by":"publisher","unstructured":"Kong, S., Tillmann, N., de Halleux, J.: Automated testing of environment-dependent programs-a case study of modeling the file system for Pex. In: 2009 Sixth International Conference on Information Technology: New Generations, pp. 758\u2013762. IEEE (2009). \n                      https:\/\/doi.org\/10.1109\/ITNG.2009.80","DOI":"10.1109\/ITNG.2009.80"},{"key":"18_CR11","unstructured":"Krekel, H., Oliveira, B., Pfannschmidt, R., Bruynooghe, F., Laugher, B., Bruhin, F.:. Pytest 4.5 (2004). \n                      https:\/\/github.com\/pytest-dev\/pytest"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-030-17502-3_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Lauko","year":"2019","unstructured":"Lauko, H., \u0160till, V., Ro\u010dkai, P., Barnat, J.: Extending DIVINE with symbolic verification using SMT. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. 204\u2013208. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-17502-3_14\n                      \n                    . ISBN 978-3-030-17502-3"},{"issue":"5","key":"18_CR13","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/TSE.2013.49","volume":"40","author":"W Leungwattanakit","year":"2014","unstructured":"Leungwattanakit, W., Artho, C., Hagiya, M., Tanabe, Y., Yamamoto, M., Takahashi, K.: Modular software model checking for distributed systems. IEEE Trans. Softw. Eng. 40(5), 483\u2013501 (2014). \n                      https:\/\/doi.org\/10.1109\/TSE.2013.49","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR14","unstructured":"Mackinnon, T., Freeman, S., Craig, P.: Extreme Programming Examined. Chapter Endo-testing: Unit Testing with Mock Objects, pp. 287\u2013301. Addison-Wesley Longman Publishing Co. Inc., Boston (2001). \n                      http:\/\/dl.acm.org\/citation.cfm?id=377517.377534\n                      \n                    . ISBN 0-201-71040-4"},{"key":"18_CR15","doi-asserted-by":"publisher","unstructured":"Mostafa, S., Wang, X.: An empirical study on the usage of mocking frameworks in software testing. In: 2014 14th International Conference on Quality Software, pp. 127\u2013132 (2014). \n                      https:\/\/doi.org\/10.1109\/QSIC.2014.19","DOI":"10.1109\/QSIC.2014.19"},{"key":"18_CR16","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Symposium on Operating Systems Design and Implementation, USENIX (2008)"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2018.04.026","volume":"143","author":"P Ro\u010dkai","year":"2018","unstructured":"Ro\u010dkai, P., \u0160till, V., \u010cern\u00e1, I., Barnat, J.: DiVM: model checking with LLVM and graph memory. J. Syst. Softw. 143, 1\u201313 (2018). \n                      https:\/\/doi.org\/10.1016\/j.jss.2018.04.026\n                      \n                    . ISSN 0164\u20131212","journal-title":"J. Syst. Softw."},{"key":"18_CR18","doi-asserted-by":"publisher","unstructured":"Wachter, B., Kroening, D., Ouaknine, J.: Verifying multi-threaded software with impact. In: Formal Methods in Computer-Aided Design, pp. 210\u2013217. IEEE (2013). \n                      https:\/\/doi.org\/10.1109\/FMCAD.2013.6679412","DOI":"10.1109\/FMCAD.2013.6679412"},{"key":"18_CR19","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G.: Inspect: a runtime model checker for multithreaded c programs. Technical report (2008)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"\u0160till, V., Ro\u010dkai, P., Barnat, J.: Using off-the-shelf exception support components in C++ verification. In: Software Quality, Reliability and Security (QRS), pp. 54\u201364 (2017)","DOI":"10.1109\/QRS.2017.15"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30446-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:42:29Z","timestamp":1567971749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30446-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030304454","9783030304461"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30446-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"89","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}