{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:25Z","timestamp":1772163925402,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"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":[[2005,9,5]]},"DOI":"10.1145\/1108792.1108817","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"103-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Generalizing symbolic execution to library classes"],"prefix":"10.1145","author":[{"given":"Sarfraz","family":"Khurshid","sequence":"first","affiliation":[{"name":"The University of Texas at Austin, Austin, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuk Lai","family":"Suen","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"SGLIB---A Simple Generic Library for C. http:\/\/xref-tech.com\/sglib\/main.html.  SGLIB---A Simple Generic Library for C. http:\/\/xref-tech.com\/sglib\/main.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_42"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.007"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_49"},{"key":"e_1_3_2_1_5_1","volume-title":"July","author":"Beck Kent","year":"1998","unstructured":"Kent Beck and Erich Gamma . Test infected: Programmers love writing tests. Java Report, 3(7) , July 1998 . Kent Beck and Erich Gamma. Test infected: Programmers love writing tests. Java Report, 3(7), July 1998."},{"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\/800027.808445"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_3_2_1_9_1","volume-title":"Components of a complete assertion-based verification solution","year":"2005","unstructured":"Cadence. Components of a complete assertion-based verification solution , 2005 . http:\/\/www.cadence.com\/whitepapers\/abv_wp.pdf. Cadence. Components of a complete assertion-based verification solution, 2005. http:\/\/www.cadence.com\/whitepapers\/abv_wp.pdf."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the ACM OOPSLA '98 Workshop on Reflective Programming in C++ and Java","author":"Chiba Shigeru","year":"1998","unstructured":"Shigeru Chiba . Javassist---a reflection-based programming wizard for Java . In Proceedings of the ACM OOPSLA '98 Workshop on Reflective Programming in C++ and Java , October 1998 . Shigeru Chiba. Javassist---a reflection-based programming wizard for Java. In Proceedings of the ACM OOPSLA '98 Workshop on Reflective Programming in C++ and Java, October 1998."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062533"},{"key":"e_1_3_2_1_12_1","unstructured":"Markus Dahm. Byte code engineering library. http:\/\/bcel.sourceforge.net\/.  Markus Dahm. Byte code engineering library. http:\/\/bcel.sourceforge.net\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_14_1","volume-title":"Department of Electrical and Computer Engineering","author":"Garc\u00eda Iv\u00e1n","year":"2005","unstructured":"Iv\u00e1n Garc\u00eda . Enabling symbolic execution of Java programs using bytecode instrumentation. Master's thesis , Department of Electrical and Computer Engineering , The University of Texas at Austin, May 2005 . Iv\u00e1n Garc\u00eda. Enabling symbolic execution of Java programs using bytecode instrumentation. Master's thesis, Department of Electrical and Computer Engineering, The University of Texas at Austin, May 2005."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_18_1","volume-title":"Micromodels of software: Modelling and analysis with Alloy","author":"Jackson Daniel","year":"2001","unstructured":"Daniel Jackson . Micromodels of software: Modelling and analysis with Alloy , 2001 . Daniel Jackson. Micromodels of software: Modelling and analysis with Alloy, 2001."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226319"},{"key":"e_1_3_2_1_23_1","volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"Liskov Barbara","year":"2000","unstructured":"Barbara Liskov and John Guttag . Program Development in Java: Abstraction, Specification, and Object-Oriented Design . Addison-Wesley , 2000 . Barbara Liskov and John Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872551"},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. 11th International SPIN Workshop on Model Checking of Software","author":"Corina","year":"2004","unstructured":"Corina S. Pasareanu and Willem Visser. Verification of java programs using symbolic execution and invariant generation . In Proc. 11th International SPIN Workshop on Model Checking of Software , Barcelona, Spain , April 2004 . Corina S. Pasareanu and Willem Visser. Verification of java programs using symbolic execution and invariant generation. In Proc. 11th International SPIN Workshop on Model Checking of Software, Barcelona, Spain, April 2004."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/135226.135233"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021847"},{"key":"e_1_3_2_1_30_1","volume-title":"Department of Electrical and Computer Engineering","author":"Suen Yuk Lai","year":"2005","unstructured":"Yuk Lai Suen . Automatically repairing structurally complex data. Master's thesis , Department of Electrical and Computer Engineering , The University of Texas at Austin, May 2005 . Yuk Lai Suen. Automatically repairing structurally complex data. Master's thesis, Department of Electrical and Computer Engineering, The University of Texas at Austin, May 2005."},{"key":"e_1_3_2_1_31_1","unstructured":"Sun Microsystems. Java 2 Platform Standard Edition v1.3.1 API Specification.  Sun Microsystems. Java 2 Platform Standard Edition v1.3.1 API Specification."},{"key":"e_1_3_2_1_32_1","volume-title":"March","year":"2003","unstructured":"Synopsis. Assertion-based verification , March 2003 . http:\/\/www.synopsys.com\/products\/simulation\/assertion_based_wp.pdf. Synopsis. Assertion-based verification, March 2003. http:\/\/www.synopsys.com\/products\/simulation\/assertion_based_wp.pdf."},{"key":"e_1_3_2_1_33_1","unstructured":"Margus Veanes Colin Campbell Wolfram Schulte Pushmeet Kohli N. Tillmann and W. Grieskamp. On-the-fly testing of reactive systems. (Submitted for publication.).  Margus Veanes Colin Campbell Wolfram Schulte Pushmeet Kohli N. Tillmann and W. Grieskamp. On-the-fly testing of reactive systems. (Submitted for publication.)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786967"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"e_1_3_2_1_36_1","volume-title":"Generating test data for functions with pointer inputs","author":"Visvanathan Srinivas","year":"2002","unstructured":"Srinivas Visvanathan and Neelam Gupta . Generating test data for functions with pointer inputs . Edinburgh, Scotland , September 2002 . Srinivas Visvanathan and Neelam Gupta. Generating test data for functions with pointer inputs. Edinburgh, Scotland, September 2002."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379019"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_24"}],"event":{"name":"PASTE05: PASTE '05 - ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","location":"Lisbon Portugal","acronym":"PASTE05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1108792.1108817","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1108792.1108817","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:07:50Z","timestamp":1750248470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1108792.1108817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":36,"alternative-id":["10.1145\/1108792.1108817","10.1145\/1108792"],"URL":"https:\/\/doi.org\/10.1145\/1108792.1108817","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1108768.1108817","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}