{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:46:55Z","timestamp":1750308415543,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,2]],"date-time":"2018-06-02T00:00:00Z","timestamp":1527897600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","award":["850757"],"award-info":[{"award-number":["850757"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,2]]},"DOI":"10.1145\/3193992.3193997","type":"proceedings-article","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T13:05:12Z","timestamp":1532005512000},"page":"50-59","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Modeling time in Java programs for automatic error detection"],"prefix":"10.1145","author":[{"given":"Giovanni","family":"Liva","sequence":"first","affiliation":[{"name":"Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Taimoor","family":"Khan","sequence":"additional","affiliation":[{"name":"Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Spegni","sequence":"additional","affiliation":[{"name":"Universit\u00e1 Politecnica delle Marche, Ancona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Spalazzi","sequence":"additional","affiliation":[{"name":"Universit\u00e1 Politecnica delle Marche, Ancona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Bollin","sequence":"additional","affiliation":[{"name":"Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Pinzger","sequence":"additional","affiliation":[{"name":"Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"C Artho. 2006. JLint - Find Bugs in Java Programs. (2006). http:\/\/jlint.sourceforge.net\/.  C Artho. 2006. JLint - Find Bugs in Java Programs. (2006). http:\/\/jlint.sourceforge.net\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories","volume":"13","author":"Barrett Clark","year":"2010","unstructured":"Clark Barrett , Aaron Stump , Cesare Tinelli , 2010 . The smt-lib standard: Version 2.0 . In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories ( Edinburgh, England) , Vol. 13 . 14. Clark Barrett, Aaron Stump, Cesare Tinelli, et al. 2010. The smt-lib standard: Version 2.0. In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England), Vol. 13. 14."},{"key":"e_1_3_2_1_3_1","volume-title":"In Proceedings of the 6th International Symposium on Symbolic Computation in Software Science (SCSS)","volume":"30","author":"Bj\u00f8rner Nikolaj","year":"2014","unstructured":"Nikolaj Bj\u00f8rner and Anh-Dung Phan . 2014 . vZ-Maximal Satisfaction with Z3 .. In In Proceedings of the 6th International Symposium on Symbolic Computation in Software Science (SCSS) , Vol. 30 . 1--9. Nikolaj Bj\u00f8rner and Anh-Dung Phan. 2014. vZ-Maximal Satisfaction with Z3.. In In Proceedings of the 6th International Symposium on Symbolic Computation in Software Science (SCSS), Vol. 30. 1--9."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676982"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146258"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889163"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2005.1502528"},{"volume-title":"PMD Applied","author":"Copeland Tom","key":"e_1_3_2_1_9_1","unstructured":"Tom Copeland . 2005. PMD Applied . Centennial Books . Tom Copeland. 2005. PMD Applied. Centennial Books."},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"Moura Leonardo De","key":"e_1_3_2_1_10_1","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An efficient SMT solver . In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) . Springer , 337--340. Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, 337--340."},{"key":"e_1_3_2_1_11_1","volume-title":"First International Workshop on Proof eXchange for Theorem Proving (PxTP).","author":"Deharbe David","year":"2011","unstructured":"David Deharbe , Pascal Fontaine , and Bruno Woltzenlogel Paleo . 2011 . Quantifier inference rules for SMT proofs . In First International Workshop on Proof eXchange for Theorem Proving (PxTP). David Deharbe, Pascal Fontaine, and Bruno Woltzenlogel Paleo. 2011. Quantifier inference rules for SMT proofs. In First International Workshop on Proof eXchange for Theorem Proving (PxTP)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646736.756913"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2017.2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734280"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2017.9"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_22"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390643"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"volume-title":"Designing and Engineering Time: The Psychology of Time Perception in Software (1 ed.)","author":"Seow Steven C.","key":"e_1_3_2_1_23_1","unstructured":"Steven C. Seow . 2008. Designing and Engineering Time: The Psychology of Time Perception in Software (1 ed.) . Addison-Wesley Professional . Steven C. Seow. 2008. Designing and Engineering Time: The Psychology of Time Perception in Software (1 ed.). Addison-Wesley Professional."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.35"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 6th Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3193992.3193997","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3193992.3193997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:15Z","timestamp":1750268955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3193992.3193997"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,2]]},"references-count":24,"alternative-id":["10.1145\/3193992.3193997","10.1145\/3193992"],"URL":"https:\/\/doi.org\/10.1145\/3193992.3193997","relation":{},"subject":[],"published":{"date-parts":[[2018,6,2]]},"assertion":[{"value":"2018-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}