{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:07Z","timestamp":1748145787217,"version":"3.41.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"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":[[1998,4]]},"DOI":"10.1023\/a:1008655230736","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"147-181","source":"Crossref","is-referenced-by-count":8,"title":["Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques"],"prefix":"10.1007","volume":"5","author":[{"given":"Steven","family":"Woods","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"153519_CR1","first-page":"23","volume":"14","author":"S. Carberry","year":"1988","unstructured":"Carberry, S. 1988. Modeling the user's plans and goals. Computational Linguistics, 14(3):23-37.","journal-title":"Computational Linguistics"},{"key":"153519_CR2","first-page":"471","volume":"1","author":"S. Carberry","year":"1990","unstructured":"Carberry, S. 1990. Incorporating default inferences into plan recognition. Proc. of the 8th AAAI, vol. 1, pp. 471-478.","journal-title":"Proc. of the 8th AAAI"},{"key":"153519_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(89)90080-5","volume":"41","author":"M.C. Cooper","year":"1989","unstructured":"Cooper, M.C. 1989. An optimal k-consistency algorithm. Artificial Intelligence, 41:89-95.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"153519_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"Freuder, E.C. 1982. A sufficient condition of backtrack-free search. Journal of the ACM, 29(1):23-32.","journal-title":"Journal of the ACM"},{"key":"153519_CR5","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R.M. Haralick","year":"1980","unstructured":"Haralick, R.M. and Elliott, G.L. 1980. Increasing tree-search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263-313.","journal-title":"Artificial Intelligence"},{"key":"153519_CR6","unstructured":"Holte, R., Mkadmi, T., Zimmer, R., and MacDonald, A. 1995. Speeding up problem-solving by abstraction: A graph-oriented approach. Technical report TR-95-07, University of Ottawa."},{"key":"153519_CR7","unstructured":"Kautz, H. and Allen, J. 1986. Generalized plan recognition. Proc. of the Fifth National Conference on Artificial Intelligence, Philadelphia, Pennsylvania, pp. 32-37."},{"key":"153519_CR8","unstructured":"Kazman, R. and Burth, M. 1997. Assessing architectural complexity. URL: http:\/\/www.cgl.uwaterloo. ca\/~rnkazman\/assessing.ps."},{"key":"153519_CR9","doi-asserted-by":"crossref","unstructured":"Kontogiannis, K., DeMori, R., Bernstein, R., and Merlo, M. 1994. Localization of design concepts in legacy systems. Proc. of the Int. Conf. on Software Maintenance, pp. 414-423.","DOI":"10.1109\/ICSM.1994.336753"},{"key":"153519_CR10","unstructured":"Kontogiannis, K., Galler, M., and DeMori, R. 1995. Detecting code similarity using patterns. Working Notes of the Third Workshop on AI and Software Engineering: Breaking the Toy Mold (AISE), pp. 68-73."},{"key":"153519_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00871692","volume":"1","author":"W. Kozaczynski","year":"1994","unstructured":"Kozaczynski, W. and Ning, J.Q. 1994. Automated program understanding by concept recognition. Automated Software Engineering, 1:61-78.","journal-title":"Automated Software Engineering"},{"key":"153519_CR12","unstructured":"Kumar, V. 1992. Algorithms for constraint-satisfaction problems. AI Magazine, pp. 32-44."},{"key":"153519_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K. 1977. Consistency in networks of relations. Artificial Intelligence, 8:99-118.","journal-title":"Artificial Intelligence"},{"key":"153519_CR14","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1985.tb00064.x","volume":"1","author":"A. Mackworth","year":"1985","unstructured":"Mackworth, A., Mulder, J., and Havens, W. 1985. Hierarchial arc consistency: Exploiting structured domains in constraint satisfaction problems. Computational Intelligence, 1:188-126.","journal-title":"Computational Intelligence"},{"key":"153519_CR15","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0004-3702(90)90059-9","volume":"42","author":"S. Minton","year":"1990","unstructured":"Minton, S. 1990. Quantitative results concerning the utility of explanation-based learning. Artificial Intelligence, 42:363-391.","journal-title":"Artificial Intelligence"},{"key":"153519_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R. and Henderson, T.C. 1986. Arc and path consistency revisited. Artificial Intelligence, 28:225-233.","journal-title":"Artificial Intelligence"},{"key":"153519_CR17","doi-asserted-by":"crossref","unstructured":"M\u00fcller, H., Tilley, M., Orgun, M.A., Corrie, B., and Madhavji, N. 1992. A reverse engineering environment based on spatial and visual software interconnection modules. Proc. of the Fifth ACM SIGSOFT Symp. on Software Development Environments (SIGSOFT' 92), ACM Software Engineering Notes, pp. 88-98.","DOI":"10.1145\/142868.143755"},{"issue":"4","key":"153519_CR18","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1002\/smr.4360050402","volume":"5","author":"H. M\u00fcller","year":"1993","unstructured":"M\u00fcller, H., Orgun, M.A., Tilley, S.R., and Uhl, J.S. 1993. A reverse engineering approach to subsytem structure identification. Journal of Software Maintenance, 5(4):181-204.","journal-title":"Journal of Software Maintenance"},{"key":"153519_CR19","doi-asserted-by":"crossref","unstructured":"M\u00fcller, H., Wong, K., and Tilley, S.R. 1994. Understanding software systems using reverse engineering technology. Proc. of the Colloquim on Object Orientation in Databases and Software Engineering, pp. 88-98.","DOI":"10.1142\/9789812831163_0016"},{"key":"153519_CR20","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. 1989. Constraint satisfaction algorithms. Computational Intelligence, 5:188-224.","journal-title":"Computational Intelligence"},{"key":"153519_CR21","doi-asserted-by":"crossref","unstructured":"Newcomb, P. and Markosian, L. 1993. Automating the modularization of large COBOL programs: Application of an enabling technology for re-engineering. Proc. of the Working Conf. on Reverse Engineering, pp. 222-230.","DOI":"10.1109\/WCRE.1993.287762"},{"issue":"5","key":"153519_CR22","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-93.","journal-title":"Communications of the ACM"},{"key":"153519_CR23","unstructured":"Quilici, A. 1995. Toward practical automated program understanding. Working Notes of the Third Workshop on AI and Software Engineering: Breaking the Toy Mold (AISE-95), In conjunction with the Fourteenth Int'l Joint Conference on Artificial Intelligence."},{"key":"153519_CR24","doi-asserted-by":"crossref","unstructured":"Quilici, A. and Chin, D. 1994. A cooperative program understanding environment. Proc. of the Ninth Knowledge-Based Software Engineering Conf., Monterey, CA, pp. 125-132.","DOI":"10.1109\/KBSE.1994.342670"},{"key":"153519_CR25","doi-asserted-by":"crossref","unstructured":"Quilici, A. and Chin, D. 1995. DECODE: A cooperative environment for reverse-engineering legacy software. Proc. of the Second Working Conf. on Reverse-Engineering, pp. 156-165. IEEE Computer Society Press.","DOI":"10.1109\/WCRE.1995.514704"},{"issue":"4","key":"153519_CR26","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1023\/A:1008674909165","volume":"3","author":"A. Quilici","year":"1997","unstructured":"Quilici, A. and Woods, S. 1997. Toward a constraint-satisfaction framework for evaluating program-understanding algorithms. Journal of Automated Software Engineering, 3(4):271-289.","journal-title":"Journal of Automated Software Engineering"},{"key":"153519_CR27","unstructured":"Quilici, A., Woods, S., and Zhang, Y. 1997a. Some new experiements in program plan recognition. Proc. of the Fourth Working Conf. on Reverse-Engineering. IEEE Computer Society Press."},{"key":"153519_CR28","unstructured":"Quilici, A., Yang, Q., and Woods, S. 1997b. Applying plan recognition algorithms to program understanding. URL: http:\/\/spectra.eng.hawaii.edu\/~sgwoods\/Sub\/AuSE-prpu-paper.html, submitted for publication."},{"issue":"11","key":"153519_CR29","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.86782","volume":"21","author":"C. Rich","year":"1988","unstructured":"Rich, C. and Waters, R.C. 1988. The programmer's apprentice: A research overview. IEEE Comput., 21(11):10-25.","journal-title":"IEEE Comput."},{"key":"153519_CR30","volume-title":"The Programmer's Apprentice","author":"C. Rich","year":"1990","unstructured":"Rich, C. and Waters, R.C. 1990. The Programmer's Apprentice. Addison-Wesley: Reading, MA."},{"key":"153519_CR31","doi-asserted-by":"crossref","unstructured":"Rugaber, S., Stirewalt, K., and Wills, L. 1995. The interleaving problem in program understanding. Proc. of the Second Working Conf. on Reverse-Engineering, 10662 Los Vaqueros Circle, Los Alamitos CA 90720-1264, IEEE Computer Society Press, pp. 166-175.","DOI":"10.1109\/WCRE.1995.514705"},{"key":"153519_CR32","unstructured":"Tsang, E. 1993. Foundations of Constraint Satisfaction. 24-28 Oval Road, London England, NW17DX: Academic Press Limited."},{"key":"153519_CR33","doi-asserted-by":"crossref","unstructured":"van Beek, P., Cohen, R., and Schmidt, K. 1993. From plan critiquing to clarification dialogue for cooperative response generation. Computational Intelligence, 9(3).","DOI":"10.1111\/j.1467-8640.1993.tb00304.x"},{"key":"153519_CR34","unstructured":"van Deursen, A., Woods, S., and Quilici, A. 1997. Program plan recognition for year 2000 tools. Proc. of the Fourth Working Conf. on Reverse-Engineering. IEEE Computer Society Press."},{"key":"153519_CR35","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Van Hentenryck","year":"1992","unstructured":"Van Hentenryck, P., Deville, Y., and Teng, C.-M. 1992. A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57:291-321.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"153519_CR36","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(2):113-172.","journal-title":"Artificial Intelligence"},{"key":"153519_CR37","doi-asserted-by":"crossref","unstructured":"Wills, L.M. 1992. Automated Program Recognition by Graph Parsing. Ph.D. thesis, MIT.","DOI":"10.21236\/ADA259609"},{"key":"153519_CR38","unstructured":"Woods, S. 1993. A method of interactive recognition of spatially defined model deployment templates using abstraction. Proc. of the Knowledge Based Systems and Robotics Workshop, Government of Canada, pp. 665- 675."},{"key":"153519_CR39","unstructured":"Woods, S. 1996. A Method of Program Understanding, Using Constraint Satisfaction for Software Reverse Engineering. Ph.D. thesis, University of Waterloo."},{"key":"153519_CR40","unstructured":"Woods, S., Quilici, A., and Yang, Q. 1995. Program understanding: A constraint satisfaction modeling framework; understanding as plan recognition. Technical Report CS 95-52, University of Waterloo, Department of Computer Science."},{"key":"153519_CR41","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)."},{"key":"153519_CR42","doi-asserted-by":"crossref","unstructured":"Woods, S. and Yang, Q. 1995b. Program understanding as constraint satisfaction. Proc. of the IEEE Seventh Int. Workshop on Computer-Aided Software Engineering (CASE), IEEE Computer Society Press, pp. 318-327. Also appears in the Proc. of the 1995 Second Working Conf. on Reverse Engineering (WCRE).","DOI":"10.1109\/CASE.1995.465302"},{"key":"153519_CR43","unstructured":"Woods, S. and Quilici, A. 1996a. A constraint-satisfaction framework for evaluating program-understanding algorithms. Proc. of the 4th IEEE Workshop on Program Comprehension (WPC-96), Berlin, Germany."},{"key":"153519_CR44","unstructured":"Woods, S. and Quilici, A. 1996b. Some experiments toward understanding how program plan recognition algorithms scale. Proc. of the Third Working Conf. on Reverse-Engineering."},{"key":"153519_CR45","volume-title":"Proc. of the 18th Int. Conf. on Software Engineering","author":"S. Woods","year":"1996","unstructured":"Woods, S. and Yang, Q. 1996a. Approaching the program understanding problem: Analysis and a heuristic solution. Proc. of the 18th Int. Conf. on Software Engineering, IEEE Computer Society Press, Berlin, Germany."},{"key":"153519_CR46","volume-title":"Proc. of the 18th Int. Conf. on Software Engineering","author":"S. Woods","year":"1996","unstructured":"Woods, S. and Yang, Q. 1996b. Approaching the program understanding problem: Analysis and a heuristic solution. Proc. of the 18th Int. Conf. on Software Engineering, IEEE Computer Society Press, Berlin, Germany."},{"key":"153519_CR47","volume-title":"Constraint-based Design Recovery for Software Reengineering: Theory and Experiments","author":"S. Woods","year":"1997","unstructured":"Woods, S., Quilici, A., and Yang, Q. 1997. Constraint-based Design Recovery for Software Reengineering: Theory and Experiments. Kluwer Academic Publishers, University of Hawaii at Manoa (USA), Simon Fraser University (Canada). URL: http:\/\/www.wkap.com\/."},{"key":"153519_CR48","doi-asserted-by":"crossref","unstructured":"Yang, Q. 1990. Formalizing planning knowledge for hierarchical planning. Computational Intelligence, 6.","DOI":"10.1111\/j.1467-8640.1990.tb00126.x"},{"issue":"1-3","key":"153519_CR49","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0004-3702(92)90013-N","volume":"58","author":"Q. Yang","year":"1992","unstructured":"Yang, Q. 1992. A theory of conflict resolution in planning. Artificial Intelligence, 58(1-3):361-392. Special Issue on Constraint-directed Reasoning.","journal-title":"Artificial Intelligence"},{"key":"153519_CR50","unstructured":"Zhang, Y. 1997. Scalability Experiments in Applying Constraint-Based Program Understanding Algorithms to Real-World Programs. Masters thesis, Department of Electrical Engineering, University of Hawaii, Manoa."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008655230736.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008655230736\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008655230736.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:12:24Z","timestamp":1748070744000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008655230736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,4]]}},"alternative-id":["153519"],"URL":"https:\/\/doi.org\/10.1023\/a:1008655230736","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}