{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:13:26Z","timestamp":1729653206448,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsm.1995.526538","type":"proceedings-article","created":{"date-parts":[[2002,11,19]],"date-time":"2002-11-19T17:32:37Z","timestamp":1037727157000},"page":"157-166","source":"Crossref","is-referenced-by-count":2,"title":["Algorithms for program dependence graph production"],"prefix":"10.1109","author":[{"given":"G.","family":"Canfora","sequence":"first","affiliation":[]},{"given":"A.","family":"Cimitile","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/32.7624"},{"key":"ref32","article-title":"Research in Program Comprehension' position paper","author":"wilde","year":"1992","journal-title":"Workshop on Program Comprehension joined with the Conference on Software Maintenance"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1049\/sej.1992.0027","article-title":"software development: two approaches to animation of z specifications using prolog","volume":"7","author":"west","year":"1992","journal-title":"Software Engineering Journal"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/ICSE.1994.296779"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/TSE.1980.234503"},{"year":"1988","author":"cantone","journal-title":"Programs Graphs and Metrics","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1002\/spe.4380210507"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1093\/comjnl\/29.4.330"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/0950-5849(87)90029-2"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/24039.24041"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ICSM.1992.242534"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/32.232023"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/52.43047"},{"year":"1977","author":"hecht","journal-title":"Flow Analysis of Computer Programs","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/77606.77608"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/ICSM.1994.336771"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ICSM.1988.10187"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/32.58784"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/ICSM.1993.366933"},{"year":"1994","author":"canfora","journal-title":"Deriving Testability Estimates from Program Algebraic Representations","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/ICSM.1993.366926"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/0164-1212(92)90053-M"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/988209.988211"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ICSM.1994.336752"},{"year":"1986","author":"aho","journal-title":"Compilers Principles Techniques and Tools","key":"ref2"},{"key":"ref9","first-page":"371","article-title":"Testability and Path Testing Strategies' Microprocessing and Microprogramming","volume":"21","author":"cantone","year":"1987","journal-title":"Euromicro Journal"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/ICSM.1993.366927"},{"year":"1988","author":"ince","journal-title":"An Introduction to Discrete Mathematics Formal System Specification and Z","key":"ref20"},{"key":"ref22","first-page":"60","article-title":"Insights into Regression Testing","author":"leung","year":"1990","journal-title":"Proc of Conference on Software Maintenance"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/ICSM.1994.336777"},{"year":"1980","author":"lientz","journal-title":"Software Maintenance Management","key":"ref24"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/ICSM.1990.131377"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/390011.808263"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1002\/smr.4360020303"}],"event":{"acronym":"ICSM-95","name":"International Conference on Software Maintenance","location":"Opio, France"},"container-title":["Proceedings of International Conference on Software Maintenance"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/4043\/11593\/00526538.pdf?arnumber=526538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T11:07:40Z","timestamp":1497524860000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/526538\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icsm.1995.526538","relation":{},"subject":[]}}