{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:00Z","timestamp":1772163960361,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"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.1108802","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"35-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":70,"title":["A concept analysis inspired greedy algorithm for test suite minimization"],"prefix":"10.1145","author":[{"given":"Sriraman","family":"Tallam","sequence":"first","affiliation":[{"name":"The University of Arizona, Tucson, AZ"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neelam","family":"Gupta","sequence":"additional","affiliation":[{"name":"The University of Arizona, Tucson, AZ"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.175935"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316166"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"G. Birkhoff Lattice Theory volume 5 American Mathematical Soc. Colloquium Publications 1940.  G. Birkhoff Lattice Theory volume 5 American Mathematical Soc. Colloquium Publications 1940.","DOI":"10.1090\/coll\/025"},{"key":"e_1_3_2_1_4_1","volume-title":"Bi-Criteria Models for All-Uses Test Suite Reduction,\" 26th International Conference on Software Engineering","author":"Black J.","year":"2004","unstructured":"J. Black , E. Melachrinoudis and D. Kaeli , \" Bi-Criteria Models for All-Uses Test Suite Reduction,\" 26th International Conference on Software Engineering , Edinburgh, Scotland, UK , 2004 J. Black, E. Melachrinoudis and D. Kaeli, \"Bi-Criteria Models for All-Uses Test Suite Reduction,\" 26th International Conference on Software Engineering, Edinburgh, Scotland, UK, 2004"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"V. Chvatal. \"A Greedy Heuristic for the Set-Covering Problem.\" Mathematics of Operations Research. 4(3) August 1979.  V. Chvatal. \"A Greedy Heuristic for the Set-Covering Problem.\" Mathematics of Operations Research. 4(3) August 1979.","DOI":"10.1287\/moor.4.3.233"},{"key":"e_1_3_2_1_6_1","volume-title":"MIT Press","author":"Cormen T. H.","year":"2001","unstructured":"T. H. Cormen , C. E. Leiserson , R. L. Rivest and C. Stein \"Introduction to Algorithms\" , MIT Press , Second Edition, September 2001 . T. H. Cormen, C. E. Leiserson, R. L. Rivest and C. Stein \"Introduction to Algorithms\", MIT Press, Second Edition, September 2001."},{"key":"e_1_3_2_1_7_1","volume-title":"Computers and Intractability-A Guide to the Theory of NP-Completeness,\" V Klee.","author":"Garey M. R.","year":"1979","unstructured":"M. R. Garey and D. S. Johnson , \" Computers and Intractability-A Guide to the Theory of NP-Completeness,\" V Klee , Ed . Freeman, New York , 1979 . M. R. Garey and D. S. Johnson, \"Computers and Intractability-A Guide to the Theory of NP-Completeness,\" V Klee, Ed. Freeman, New York, 1979."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/152388.152391"},{"key":"e_1_3_2_1_9_1","first-page":"2","volume-title":"ATAC: A data flow coverage testing tool for C,\" in Proceedings of Symposium on Assessment of Quality Software Development Tools","author":"Horgan J. R.","year":"1992","unstructured":"J. R. Horgan and S. A. London , \" ATAC: A data flow coverage testing tool for C,\" in Proceedings of Symposium on Assessment of Quality Software Development Tools , pages 2 -- 10 , May 1992 . J. R. Horgan and S. A. London, \"ATAC: A data flow coverage testing tool for C,\" in Proceedings of Symposium on Assessment of Quality Software Development Tools, pages 2--10, May 1992."},{"key":"e_1_3_2_1_10_1","volume-title":"May","author":"Hutchins M.","year":"1994","unstructured":"M. Hutchins , H. Foster , T. Goradia , and T. Ostrand , \" Experiments on the Effectiveness of Dataflow- and Controlflow-based Test Adequacy Criteria,\" 16th International Conference on Software Engineering , May 1994 . M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, \"Experiments on the Effectiveness of Dataflow- and Controlflow-based Test Adequacy Criteria,\" 16th International Conference on Software Engineering, May 1994."},{"key":"e_1_3_2_1_11_1","unstructured":"http:\/\/www.cse.unl.edu\/~galileo\/sir  http:\/\/www.cse.unl.edu\/~galileo\/sir"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183927"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1245299"},{"key":"e_1_3_2_1_14_1","volume-title":"November","author":"Rothermel G.","year":"1998","unstructured":"G. Rothermel , M. J. Harrold , J. Ostrin , and C. Hong , \" An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites,\" International Conference on Software Maintenance , November 1998 . G. Rothermel, M. J. Harrold, J. Ostrin, and C. Hong, \"An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites,\" International Conference on Software Maintenance, November 1998."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025214"},{"key":"e_1_3_2_1_16_1","volume-title":"Computer and Information Sciences","author":"Sprenkle S.","year":"2004","unstructured":"S. Sprenkle , S. Sampath , E. Gibson , A. Souter , L. Pollock , \"An Empirical Comparison of Test Suite Reduction Techniques for User-session-based Testing of Web Applications,\" Technical Report 2005--009 , Computer and Information Sciences , University of Delaware , November 2004 S. Sprenkle, S. Sampath, E. Gibson, A. Souter, L. Pollock, \"An Empirical Comparison of Test Suite Reduction Techniques for User-session-based Testing of Web Applications,\" Technical Report 2005--009, Computer and Information Sciences, University of Delaware, November 2004"},{"key":"e_1_3_2_1_17_1","unstructured":"\"The LLVM Compiler Infrastructure Project \" http:\/\/llvm.cs.uiuc.edu\/  \"The LLVM Compiler Infrastructure Project \" http:\/\/llvm.cs.uiuc.edu\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19980410)28:4%3C347::AID-SPE145%3E3.0.CO;2-L"}],"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.1108802","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1108792.1108802","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.1108802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":18,"alternative-id":["10.1145\/1108792.1108802","10.1145\/1108792"],"URL":"https:\/\/doi.org\/10.1145\/1108792.1108802","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1108768.1108802","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"}}]}}