{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:40:05Z","timestamp":1748072405797,"version":"3.41.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1023\/a:1008674909165","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"271-289","source":"Crossref","is-referenced-by-count":7,"title":["Toward A Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms"],"prefix":"10.1007","volume":"4","author":[{"given":"Alex","family":"Quilici","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Woods","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"131689_CR1","doi-asserted-by":"crossref","unstructured":"Chin, D., and Quilici, A. 1996. DECODE: A Cooperative Program Understanding Environment. Journal of Software Maintenance, 8(1).","DOI":"10.1002\/(SICI)1096-908X(199601)8:1<3::AID-SMR122>3.0.CO;2-I"},{"key":"131689_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(92)90043-W","volume":"55","author":"R. Dechter","year":"1992","unstructured":"Dechter, R. 1992. From local to global consistency. Artificial Intelligence, 55:87\u2013107.","journal-title":"Artificial Intelligence"},{"key":"131689_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"E. Freuder","year":"1992","unstructured":"Freuder, E., and Wallace, J. 1992. Partial constraint satisfaction. Artificial Intelligence, 58:21\u201370.","journal-title":"Artificial Intelligence"},{"key":"131689_CR4","doi-asserted-by":"crossref","unstructured":"Hartman, J. 1991. Understanding Natural Programs using Proper Decomposition. Proceedings of the International Conference on Software Engineering. Austin TX, pp. 62\u201373.","DOI":"10.1109\/ICSE.1991.130624"},{"key":"131689_CR5","volume-title":"Intention Based Diagnosis of Novice Programming Errors","author":"W. L. Johnson","year":"1986","unstructured":"Johnson, W. L. 1986. Intention Based Diagnosis of Novice Programming Errors. Los Altos, CA: Morgan Kaufman."},{"key":"131689_CR6","unstructured":"Kondrak, G., and Van Beek, P. 1995. A theoretical evaluation of selected backtracking algorithms. Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 541\u2013547."},{"issue":"1","key":"131689_CR7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00871692","volume":"1","author":"V. Kozaczynski","year":"1994","unstructured":"Kozaczynski, V., and Ning, J. Q. 1994. Automated Program Understanding By Concept Recognition, Automated Software Engineering, 1(1):61\u201378.","journal-title":"Automated Software Engineering"},{"issue":"12","key":"131689_CR8","doi-asserted-by":"crossref","first-page":"1065","DOI":"10.1109\/32.184761","volume":"18","author":"V. Kozaczynski","year":"1992","unstructured":"Kozaczynski, V., Ning, J. Q.; and Engberts, A. 1992. Program Concept Recognition and Transformation. Transactions on Software Engineering, 18(12):1065\u20131075.","journal-title":"Transactions on Software Engineering"},{"issue":"1","key":"131689_CR9","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"Kumar, V. 1992. Algorithms for Constraint-Satisfaction Problems. AI Magazine, 13(1):32\u201344.","journal-title":"AI Magazine"},{"key":"131689_CR10","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(92)90007-K","volume":"58","author":"S. Minton","year":"1992","unstructured":"Minton, S., Johnston, M., Philips, A., and Laird, P. 1992. Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58:161\u2013205.","journal-title":"Artificial Intelligence"},{"key":"131689_CR11","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B. A. Nadel","year":"1989","unstructured":"Nadel, B. A., Constraint satisfaction algorithms. 1989. Computational Intelligence, 5:188\u2013224.","journal-title":"Computational Intelligence"},{"issue":"3","key":"131689_CR12","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P. Prosser","year":"1993","unstructured":"Prosser, P. 1993. Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence, 9(3):268\u2013299.","journal-title":"Computational Intelligence"},{"issue":"5","key":"131689_CR13","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/175290.175301","volume":"37","author":"A. Quilici","year":"1994","unstructured":"Quilici, A. 1994. A Memory-Based Approach to Recognizing Programming Plans. Communications of the ACM, 37(5):84\u201393.","journal-title":"Communications of the ACM"},{"key":"131689_CR14","doi-asserted-by":"crossref","unstructured":"Quilici, A. 1993. A Hybrid Approach to Recognizing Programming Plans. Proceedings of the Working Conference on Reverse Engineering, Baltimore, MD, pp. 126\u2013133.","DOI":"10.1109\/WCRE.1993.287772"},{"key":"131689_CR15","doi-asserted-by":"crossref","unstructured":"Sosic, R., and Gu, J. 1990. A polynomial time algorithm for the n-queens problem. SIGART, 1(3).","DOI":"10.1145\/101340.101343"},{"key":"131689_CR16","doi-asserted-by":"crossref","unstructured":"Von Mayhrhauser, A. and Vans, A. M. 1995. Program comprehension during software maintenance and evolution. IEEE Computer, pp. 44\u201355.","DOI":"10.1109\/2.402076"},{"key":"131689_CR17","series-title":"Technical Report","doi-asserted-by":"crossref","DOI":"10.21236\/ADA259609","volume-title":"Automated Program Recognition by Graph Parsing","author":"L. M. Wills","year":"1992","unstructured":"Wills, L. M. 1992. Automated Program Recognition by Graph Parsing. Ph.D. Thesis, MIT Artificial Intelligence Lab, Technical Report 1358, Cambridge, MA."},{"issue":"1\u20132","key":"131689_CR18","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0004-3702(90)90039-3","volume":"45","author":"L. M. Wills","year":"1990","unstructured":"Wills, L. M. 1990. Automated Program Recognition: A Feasibility Demonstration. Artificial Intelligence, 45(1\u20132):113\u2013172.","journal-title":"Artificial Intelligence"},{"key":"131689_CR19","unstructured":"Woods, S., and Yang, Q. 1995a. Constraint-based plan recognition in legacy code. Working Notes of the Third Workshop on AI and Software Engineering: Breaking the Toy Mold (AISE-95)."},{"key":"131689_CR20","doi-asserted-by":"crossref","unstructured":"Woods, S., and Yang, Q. 1995b. Program Understanding As Constraint Satisfaction. Proceedings of the IEEE Seventh International Workshop on Computer-Aided Software Engineering (CASE-95), Toronto, CA, pp. 318\u2013327.","DOI":"10.1109\/CASE.1995.465302"},{"key":"131689_CR21","unstructured":"Woods, S., and Yang, Q. 1996. The Program Understanding Problem: Analysis and A Heuristic Approach. In Proceedings of the 18th International Conference on Software Engineering (ICSE-96), Berlin, Germany."},{"key":"131689_CR22","series-title":"Technical Report","volume-title":"Solving partial constraint satisfaction problems using local search and abstraction","author":"Q. Yang","year":"1992","unstructured":"Yang, Q. and Fong, P. 1992. Solving partial constraint satisfaction problems using local search and abstraction. University of Waterloo, Technical Report CS-92-50, Waterloo, Ontario."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008674909165.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008674909165\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008674909165.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:03:57Z","timestamp":1748070237000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008674909165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["131689"],"URL":"https:\/\/doi.org\/10.1023\/a:1008674909165","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}