{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:24Z","timestamp":1773192684424,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,7,1]],"date-time":"2004-07-01T00:00:00Z","timestamp":1088640000000},"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":[[2004,7]]},"DOI":"10.1145\/1007512.1007531","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T11:55:38Z","timestamp":1090324538000},"page":"133-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Software assurance by bounded exhaustive testing"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Sullivan","sequence":"first","affiliation":[{"name":"University of Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinlin","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Coppit","sequence":"additional","affiliation":[{"name":"The College of William & Mary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"MIT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Jackson","sequence":"additional","affiliation":[{"name":"MIT"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"203","volume-title":"Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97\/IAAI-97)","author":"Bayardo R. J. Jr.","year":"1997","unstructured":"Bayardo , R. J. Jr. and Schrag , R. C . Using CSP look-back techniques to solve real-world SAT instances . In Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97\/IAAI-97) , pages 203 -- 208 , Menlo Park , July 27-31 1997 . AAAI Press. Bayardo, R. J. Jr. and Schrag, R. C. Using CSP look-back techniques to solve real-world SAT instances. In Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97\/IAAI-97), pages 203--208, Menlo Park, July 27-31 1997. AAAI Press."},{"key":"e_1_3_2_1_2_1","volume-title":"Software Testing Techniques","author":"Beizer B.","year":"1990","unstructured":"Beizer , B. Software Testing Techniques . 2 nd edition, Van Nostrand Reinhold , New York, USA , 1990 . Beizer, B. Software Testing Techniques. 2nd edition, Van Nostrand Reinhold, New York, USA, 1990.","edition":"2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 7th European engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering","author":"Chang J.","unstructured":"Chang , J. , and Richardson , D. J . Structural specification-based testing: automated support and experimental evaluation . Proceedings of the 7th European engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering Chang, J., and Richardson, D. J. Structural specification-based testing: automated support and experimental evaluation. Proceedings of the 7th European engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering"},{"issue":"5","key":"e_1_3_2_1_6_1","first-page":"191","article-title":"Applicability of modified condition\/decision coverage to software testing","volume":"9","author":"Chilenski J. J.","unstructured":"Chilenski , J. J. , and Miller , S. P . Applicability of modified condition\/decision coverage to software testing . Software Engineering Journal , 9 ( 5 ): 191 -- 200 . Chilenski, J. J., and Miller, S. P. Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal, 9(5):191--200.","journal-title":"Software Engineering Journal"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952346"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337622"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776840"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/851024.856209"},{"key":"e_1_3_2_1_12_1","volume-title":"FME'93","author":"Dick J.","unstructured":"Dick , J. , and Faivre , A . Automating the generation and sequencing of test cases from model-based specifications . FME'93 . Dick, J., and Faivre, A. Automating the generation and sequencing of test cases from model-based specifications. FME'93."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/874064.875613"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007663206792"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571666"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581359"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336532"},{"key":"e_1_3_2_1_20_1","volume-title":"International Journal on Software Tools for Technology Transfer","author":"Havelund K.","year":"1999","unstructured":"Havelund , K. and Pressburger , T . Model checking Java programs using Java PathFinder . International Journal on Software Tools for Technology Transfer , 1999 . Havelund, K. and Pressburger, T. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647282.722795"},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","volume-title":"Z User Meeting (ZUM'95)","author":"Horcher H.-M.","unstructured":"Horcher , H.-M. Improving software tests using Z specifications . In Z User Meeting (ZUM'95) , volume 967 of LNCS . Horcher, H.-M. Improving software tests using Z specifications. In Z User Meeting (ZUM'95), volume 967 of LNCS."},{"key":"e_1_3_2_1_23_1","volume-title":"Micromodels of software: Modelling and analysis with Alloy","author":"Jackson D.","year":"2001","unstructured":"Jackson , D. Micromodels of software: Modelling and analysis with Alloy . 2001 . http:\/\/sdg.lcs.mit.edu\/alloy\/reference-man-ual. pdf Jackson, D. Micromodels of software: Modelling and analysis with Alloy. 2001. http:\/\/sdg.lcs.mit.edu\/alloy\/reference-man-ual. pdf"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337616"},{"key":"e_1_3_2_1_25_1","volume-title":"D. A Case for Efficient Solution Enumeration. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003","author":"Khurshid S.","year":"2003","unstructured":"Khurshid , S. , Marinov , D. , Shlyakhter , I. , Jackson , D. A Case for Efficient Solution Enumeration. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003 ), S. Margherita Ligure - Portofino (Italy ), May 2003 . Khurshid, S., Marinov, D., Shlyakhter, I., Jackson, D. A Case for Efficient Solution Enumeration. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), S. Margherita Ligure - Portofino (Italy), May 2003."},{"key":"e_1_3_2_1_26_1","volume-title":"Checking a Java implementation of a naming architecture using TestEra,\" In Post-CAV Workshop on Software Model Checking","author":"Khurshid S.","unstructured":"Khurshid , S. , and Marinov , D . \" Checking a Java implementation of a naming architecture using TestEra,\" In Post-CAV Workshop on Software Model Checking , volume 55(3) of Electronic Notes in Theoretical Computer Science (ENTCS), Paris, France, July 2001 . Elsevier Science . Khurshid, S., and Marinov, D. \"Checking a Java implementation of a naming architecture using TestEra,\" In Post-CAV Workshop on Software Model Checking, volume 55(3) of Electronic Notes in Theoretical Computer Science (ENTCS), Paris, France, July 2001. Elsevier Science."},{"key":"e_1_3_2_1_27_1","volume-title":"Generalized symbolic execution for model checking and testing, \" 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)","author":"Khurshid S.","year":"2003","unstructured":"Khurshid , S. , and Pasareanu , C. , \" Generalized symbolic execution for model checking and testing, \" 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS) , Warsaw, Poland , April , 2003 . Khurshid, S., and Pasareanu, C., \"Generalized symbolic execution for model checking and testing, \" 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April, 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"e_1_3_2_1_30_1","volume-title":"Report by the Inquiry Board","author":"Lions J.L.","year":"1996","unstructured":"Lions , J.L. , Ariane 5: Flight 501 Failure , Report by the Inquiry Board , Paris , 1996 . Lions, J.L., Ariane 5: Flight 501 Failure, Report by the Inquiry Board, Paris, 1996."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872551"},{"key":"e_1_3_2_1_33_1","volume-title":"September","author":"Marinov D., A.","year":"2003","unstructured":"Marinov , D., A. Andoni , D. Daniliuc , S. Khurshid , and M. Rinard , \" An evaluation of exhaustive testing for data structures,\" MIT Computer Science and Artificial Intelligence Laboratory Report MIT -LCS-TR-921 , September , 2003 . Marinov, D., A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard, \"An evaluation of exhaustive testing for data structures,\" MIT Computer Science and Artificial Intelligence Laboratory Report MIT -LCS-TR-921, September, 2003."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767297.1767341"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Saaltink M.\n  The Z\/EVES system\n  . In J.P. Bowen M. G. Hinchey and D. Till editors ZUM'97: the Z Formal Specification Notation l0th International Conference of Z Users volume \n  1212\n   of \n  Lecture Notes in Computer Science pages \n  72\n  --\n  85\n  . \n  Springer-Verlag 1997\n  .   Saaltink M. The Z\/EVES system. In J.P. Bowen M. G. Hinchey and D. Till editors ZUM'97: the Z Formal Specification Notation l0th International Conference of Z Users volume 1212 of Lecture Notes in Computer Science pages 72--85. Springer-Verlag 1997.","DOI":"10.1007\/BFb0027284"},{"key":"e_1_3_2_1_38_1","volume-title":"MIT Laboratory for Computer Science","author":"Schwartz E.","year":"1999","unstructured":"Schwartz , E. Design and implementation of intentional names. Master's thesis , MIT Laboratory for Computer Science , Cambridge, MA , June 1999 . Schwartz, E. Design and implementation of intentional names. Master's thesis, MIT Laboratory for Computer Science, Cambridge, MA, June 1999."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0653(04)00311-7"},{"key":"e_1_3_2_1_40_1","volume-title":"The Z Notation: A Reference Manual","author":"Spivey J. M.","year":"1992","unstructured":"Spivey , J. M. The Z Notation: A Reference Manual . Prentice Hall International Series in Computer Science, Prentice-Hall , 1992 . Spivey, J. M. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, Prentice-Hall, 1992."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/795672.796973"},{"key":"e_1_3_2_1_43_1","unstructured":"Sun Microsystems. Java 2 Platform Standard Edition v1.3.1 API Specification. http:\/\/java.sun.com\/j2se\/1.3\/docs\/api\/  Sun Microsystems. Java 2 Platform Standard Edition v1.3.1 API Specification. http:\/\/java.sun.com\/j2se\/1.3\/docs\/api\/"},{"key":"e_1_3_2_1_44_1","volume-title":"NUREG-0492","author":"Vesely W. E.","year":"1981","unstructured":"Vesely , W. E. , Goldberg , F. F. , Roberts , N. H. , and Haasl , D. F . Fault Tree Handbook. U. S. Nuclear Regulatory Commission , NUREG-0492 , Washington DC , 1981 . Vesely, W. E., Goldberg, F. F., Roberts, N. H., and Haasl, D. F. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC, 1981."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234485"}],"event":{"name":"ISSTA04: International Symposium on Software Testing and Analysis 2004","location":"Boston Massachusetts USA","acronym":"ISSTA04","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1007512.1007531","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1007512.1007531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:23:56Z","timestamp":1750253036000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1007512.1007531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,7]]},"references-count":42,"alternative-id":["10.1145\/1007512.1007531","10.1145\/1007512"],"URL":"https:\/\/doi.org\/10.1145\/1007512.1007531","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1013886.1007531","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,7]]},"assertion":[{"value":"2004-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}