{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:57:49Z","timestamp":1763179069614,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167339","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1934-1943","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Korat-API"],"prefix":"10.1145","author":[{"given":"Nima","family":"Dini","sequence":"first","affiliation":[{"name":"The University of Texas at Austin"}]},{"given":"Cagdas","family":"Yelen","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}]},{"given":"Zakaria","family":"Alrmaih","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}]},{"given":"Amresh","family":"Kulkarni","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"volume-title":"Korat-API: An API for building constraint solving problems for Korat. Master's thesis","author":"Alrmaih Zakaria","key":"e_1_3_2_1_1_1","unstructured":"Zakaria Alrmaih . 2017. Korat-API: An API for building constraint solving problems for Korat. Master's thesis . University of Texas at Austin. Zakaria Alrmaih. 2017. Korat-API: An API for building constraint solving problems for Korat. Master's thesis. University of Texas at Austin."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_1_3_1","volume-title":"Apt and Mark Wallace","author":"Krzysztof","year":"2007","unstructured":"Krzysztof R. Apt and Mark Wallace . 2007 . Constraint Logic Programming Using Eclipse. Cambridge University Press . Krzysztof R. Apt and Mark Wallace. 2007. Constraint Logic Programming Using Eclipse. Cambridge University Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950337"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591173"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133918"},{"key":"e_1_3_2_1_8_1","volume-title":"Antonio Pecchia, Roberto Pietrantuono, and Stefano Russo.","author":"Cinque Marcello","year":"2014","unstructured":"Marcello Cinque , Claudio Gaiani , Daniele De Stradis , Antonio Pecchia, Roberto Pietrantuono, and Stefano Russo. 2014 . On the Impact of Debugging on Software Reliability Growth Analysis: A Case Study. In ICCSA. Marcello Cinque, Claudio Gaiani, Daniele De Stradis, Antonio Pecchia, Roberto Pietrantuono, and Stefano Russo. 2014. On the Impact of Debugging on Software Reliability Growth Analysis: A Case Study. In ICCSA."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Leonardo de Moura and Nikolaj Bjorner. 2008. Z3: An Efficient SMT Solver. In TACAS.   Leonardo de Moura and Nikolaj Bjorner. 2008. Z3: An Efficient SMT Solver. In TACAS.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_10_1","unstructured":"Leonardo de Moura Soonho Kong Jeremy Avigad Floris van Doorn and Jakob von Raumer. 2015. The Lean Theorem Prover. In CADE-25.  Leonardo de Moura Soonho Kong Jeremy Avigad Floris van Doorn and Jakob von Raumer. 2015. The Lean Theorem Prover. In CADE-25."},{"volume-title":"MKorat: A Novel Approach for Memoizing the Korat Search and Some Potential Applications. Master's thesis","author":"Dini Nima","key":"e_1_3_2_1_11_1","unstructured":"Nima Dini . 2016. MKorat: A Novel Approach for Memoizing the Korat Search and Some Potential Applications. Master's thesis . University of Texas at Austin. Nima Dini. 2016. MKorat: A Novel Approach for Memoizing the Korat Search and Some Potential Applications. Master's thesis. University of Texas at Austin."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Nima Dini Cagdas Yelen and Sarfraz Khurshid. 2017. Optimizing Parallel Korat Using Invalid Ranges. In SPIN.  Nima Dini Cagdas Yelen and Sarfraz Khurshid. 2017. Optimizing Parallel Korat Using Invalid Ranges. In SPIN.","DOI":"10.1145\/3092282.3092293"},{"key":"e_1_3_2_1_13_1","volume-title":"Duffey and Lance Fiondella","author":"Romney","year":"2014","unstructured":"Romney B. Duffey and Lance Fiondella . 2014 . Software, Hardware , and Procedure Reliability by Testing and Verification: Evidence of Learning Trends. IEEE Trans. Human-Machine Systems ( 2014). Romney B. Duffey and Lance Fiondella. 2014. Software, Hardware, and Procedure Reliability by Testing and Verification: Evidence of Learning Trends. IEEE Trans. Human-Machine Systems (2014)."},{"key":"e_1_3_2_1_14_1","unstructured":"Niklas Een and Niklas Sorensson. 2003. An Extensible SAT-solver. In SAT.  Niklas Een and Niklas Sorensson. 2003. An Extensible SAT-solver. In SAT."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390637"},{"key":"e_1_3_2_1_16_1","volume-title":"A Systematic Mapping Study of Software Reliability Modeling. Information & Software Technology","author":"Febrero Felipe","year":"2014","unstructured":"Felipe Febrero , Coral Calero , and Maria \u00c1ngeles Moraga . 2014. A Systematic Mapping Study of Software Reliability Modeling. Information & Software Technology ( 2014 ). Felipe Febrero, Coral Calero, and Maria \u00c1ngeles Moraga. 2014. A Systematic Mapping Study of Software Reliability Modeling. Information & Software Technology (2014)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Antonio Filieri Marcelo F. Frias Corina S. Pasareanu and Willem Visser. 2015. Model Counting for Complex Data Structures. In SPIN.  Antonio Filieri Marcelo F. Frias Corina S. Pasareanu and Willem Visser. 2015. Model Counting for Complex Data Structures. In SPIN.","DOI":"10.1007\/978-3-319-23404-5_15"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Antonio Filieri Corina S. Pasareanu and Willem Visser. 2013. Reliability analysis in symbolic pathfinder. In ICSE.   Antonio Filieri Corina S. Pasareanu and Willem Visser. 2013. Reliability analysis in symbolic pathfinder. In ICSE.","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831728"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.15"},{"key":"e_1_3_2_1_21_1","unstructured":"Carlo Ghezzi Mauro Pezz\u00e8 and Giordano Tamburrelli. 2013. Adaptive REST applications via model inference and probabilistic model checking. In IM.  Carlo Ghezzi Mauro Pezz\u00e8 and Giordano Tamburrelli. 2013. Adaptive REST applications via model inference and probabilistic model checking. In IM."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_24_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2006","unstructured":"Daniel Jackson . 2006 . Software Abstractions: Logic, Language, and Analysis . The MIT Press . Daniel Jackson. 2006. Software Abstractions: Logic, Language, and Analysis. The MIT Press."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.383378"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Sarfraz Khurshid Corina Pasareanu and Willem Visser. 2003. Generalized Symbolic Execution for Model Checking and Testing. In TACAS.   Sarfraz Khurshid Corina Pasareanu and Willem Visser. 2003. Generalized Symbolic Execution for Model Checking and Testing. In TACAS.","DOI":"10.1007\/3-540-36577-X_40"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_28_1","unstructured":"Kodkod applications website. 2017. http:\/\/emina.github.io\/kodkod\/apps.html. (2017).  Kodkod applications website. 2017. http:\/\/emina.github.io\/kodkod\/apps.html. (2017)."},{"key":"e_1_3_2_1_29_1","unstructured":"KoratWebPage 2017. Korat Home Page. (2017). http:\/\/korat.sourceforge.net\/index.html.  KoratWebPage 2017. Korat Home Page. (2017). http:\/\/korat.sourceforge.net\/index.html."},{"volume-title":"Constraint Prioritization for Efficient Test Generation Using Korat. Master's thesis","author":"Kulkarni Amresh","key":"e_1_3_2_1_30_1","unstructured":"Amresh Kulkarni . 2007. Constraint Prioritization for Efficient Test Generation Using Korat. Master's thesis . University of Texas at Austin. Amresh Kulkarni. 2007. Constraint Prioritization for Efficient Test Generation Using Korat. Master's thesis. University of Texas at Austin."},{"key":"e_1_3_2_1_31_1","unstructured":"Barbara Liskov and John Guttag. 2000. Program Development in Java: Abstraction Specification and Object-Oriented Design.   Barbara Liskov and John Guttag. 2000. Program Development in Java: Abstraction Specification and Object-Oriented Design."},{"key":"e_1_3_2_1_33_1","unstructured":"Darko Marinov and Sarfraz Khurshid. 2001. TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE.   Darko Marinov and Sarfraz Khurshid. 2001. TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287645"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_36_1","volume-title":"BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. Transactions on Software Engineering","author":"Rosner N.","year":"2015","unstructured":"N. Rosner , J. Geldenhuys , N. M. Aguirre , W. Visser , and M. F. Frias . 2015 . BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. Transactions on Software Engineering (2015). N. Rosner, J. Geldenhuys, N. M. Aguirre, W. Visser, and M. F. Frias. 2015. BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. Transactions on Software Engineering (2015)."},{"key":"e_1_3_2_1_37_1","volume-title":"Gordon Fraser, Phil McMinn, and Andrea Arcuri.","author":"Shamshiri Sina","year":"2015","unstructured":"Sina Shamshiri , Ren\u00e9 Just , Jos\u00e9 Miguel Rojas , Gordon Fraser, Phil McMinn, and Andrea Arcuri. 2015 . Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). In ASE. Sina Shamshiri, Ren\u00e9 Just, Jos\u00e9 Miguel Rojas, Gordon Fraser, Phil McMinn, and Andrea Arcuri. 2015. Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). In ASE."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Junaid Haroon Siddiqui and Sarfraz Khurshid. 2009. PKorat: Parallel Generation of Structurally Complex Test Inputs. In ICST.  Junaid Haroon Siddiqui and Sarfraz Khurshid. 2009. PKorat: Parallel Generation of Structurally Complex Test Inputs. In ICST.","DOI":"10.1109\/ICST.2009.48"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Junaid Haroon Siddiqui Darko Marinov and Sarfraz Khurshid. 2009. Optimizing a Structural Constraint Solver for Efficient Software Checking. In ASE.  Junaid Haroon Siddiqui Darko Marinov and Sarfraz Khurshid. 2009. Optimizing a Structural Constraint Solver for Efficient Software Checking. In ASE.","DOI":"10.1109\/ASE.2009.52"},{"volume-title":"Improving constraint-based test input generation using Korat. Master's thesis","author":"Srinivasan Raghavendra","key":"e_1_3_2_1_40_1","unstructured":"Raghavendra Srinivasan . 2015. Improving constraint-based test input generation using Korat. Master's thesis . University of Texas at Austin. Raghavendra Srinivasan. 2015. Improving constraint-based test input generation using Korat. Master's thesis. University of Texas at Austin."},{"key":"e_1_3_2_1_41_1","volume-title":"Kodkod: A Relational Model Finder. In TACAS.","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson . 2007 . Kodkod: A Relational Model Finder. In TACAS. Emina Torlak and Daniel Jackson. 2007. Kodkod: A Relational Model Finder. In TACAS."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_22"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983959"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:27:00Z","timestamp":1750213620000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167339"}},"subtitle":["a framework to enhance korat to better support testing and reliability techniques"],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":42,"alternative-id":["10.1145\/3167132.3167339","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167339","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}