{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,15]],"date-time":"2023-10-15T14:52:21Z","timestamp":1697381541071},"reference-count":48,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1016\/s0950-5849(98)00029-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"105-118","source":"Crossref","is-referenced-by-count":4,"title":["Slicing algebraic specifications"],"prefix":"10.1016","volume":"40","author":[{"given":"Martin R.","family":"Woodward","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen P.","family":"Allen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(98)00029-9_BIB1","series-title":"Proceedings of the 5th International Conference on Software Engineering (ICSE-5)","first-page":"439","article-title":"Program slicing","author":"Weiser","year":"1981"},{"issue":"7","key":"10.1016\/S0950-5849(98)00029-9_BIB2","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","article-title":"Programmers use slices when debugging","volume":"25","author":"Weiser","year":"1982","journal-title":"Communications of the ACM"},{"issue":"4","key":"10.1016\/S0950-5849(98)00029-9_BIB3","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","article-title":"Program slicing","volume":"10","author":"Weiser","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0065-2458(08)60641-5","article-title":"Program slicing","volume":"43","author":"Binkley","year":"1996","journal-title":"Advances in Computers"},{"issue":"3","key":"10.1016\/S0950-5849(98)00029-9_BIB5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0164-1212(94)00099-9","article-title":"An overview and comparative classification of program slicing techniques","volume":"31","author":"Kamkar","year":"1995","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"10.1016\/S0950-5849(98)00029-9_BIB6","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip","year":"1995","journal-title":"Journal of Programming Languages"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB7","series-title":"Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA 1996)","first-page":"180","article-title":"Beyond traditional slicing","author":"Sloane","year":"1996"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB8","series-title":"Proceedings of the 17th Annual International Computer Software and Applications Conference (COMPSAC '93)","first-page":"313","article-title":"Specification slicing in formal methods of software development","author":"Oda","year":"1993"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB9","series-title":"Proceedings of the 11th International Conference on Software Engineering (ICSE-11)","first-page":"198","article-title":"The relationship between slices and module cohesion","author":"Ott","year":"1989"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB10","series-title":"Proceedings of the 1st International Software Metrics Symposium","first-page":"71","article-title":"Slice based metrics for estimating cohesion","author":"Ott","year":"1993"},{"issue":"8","key":"10.1016\/S0950-5849(98)00029-9_BIB11","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/32.310673","article-title":"Measuring functional cohesion","volume":"20","author":"Bieman","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB12","series-title":"Proceedings of the 22nd ACM Symposium on Principles of Programming Languages","first-page":"379","article-title":"Parametric program slicing","author":"Field","year":"1995"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB13","series-title":"Proceedings of Specifications of Reliable Software","first-page":"170","article-title":"An introduction to OBJ: a language for writing and testing formal algebraic program specifications","author":"Goguen","year":"1979"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB14","article-title":"ACT ONE: an algebraic specification language with two levels of semantics","author":"Ehrig","year":"1983"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB15","series-title":"Proceedings of the 11th International Conference on Software Engineering (ICSE-11)","first-page":"74","article-title":"An algebraic data type specification language and its rapid prototyping environment","author":"Jadoul","year":"1989"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB16","series-title":"Software Engineering: Practice and Experience\u2014Proceedings of the Second Software Engineering Conference","first-page":"182","article-title":"ASSPEGIQUE: an algebraic specification environment","author":"Bidoit","year":"1984"},{"issue":"9","key":"10.1016\/S0950-5849(98)00029-9_BIB17","doi-asserted-by":"crossref","first-page":"1044","DOI":"10.1109\/32.58789","article-title":"Debugging Larch shared language specifications","volume":"16","author":"Garland","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/S0950-5849(98)00029-9_BIB18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(89)90026-9","article-title":"How to make algebraic specifications more understandable: an experiment with the PLUSS specification language","volume":"12","author":"Bidoit","year":"1989","journal-title":"Science of Computer Programming"},{"issue":"7","key":"10.1016\/S0950-5849(98)00029-9_BIB19","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/0950-5849(89)90157-2","article-title":"Notes on algebraic specifications","volume":"31","author":"Bradley","year":"1989","journal-title":"Information and Software Technology"},{"issue":"5","key":"10.1016\/S0950-5849(98)00029-9_BIB20","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1093\/comjnl\/35.5.460","article-title":"Introduction to algebraic specification. Part 1 : formal methods for software development","volume":"35","author":"Ehrig","year":"1992","journal-title":"The Computer Journal"},{"issue":"5","key":"10.1016\/S0950-5849(98)00029-9_BIB21","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1093\/comjnl\/35.5.468","article-title":"Introduction to algebraic specification. Part 2: from classical view to foundations of system specifications","volume":"35","author":"Ehrig","year":"1992","journal-title":"The Computer Journal"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB22","series-title":"Algebraic Specification","year":"1989"},{"issue":"4","key":"10.1016\/S0950-5849(98)00029-9_BIB23","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1049\/sej.1987.0013","article-title":"The design of a rewrite rule interpreter from algebraic specifications","volume":"2","author":"Coleman","year":"1987","journal-title":"Software Engineering Journal"},{"issue":"5","key":"10.1016\/S0950-5849(98)00029-9_BIB24","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1093\/comjnl\/32.5.413","article-title":"UMIST OBJ: a language for executable program specifications","volume":"32","author":"Gallimore","year":"1989","journal-title":"The Computer Journal"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB25","series-title":"ObjEx: an Introduction","author":"Gerrard","year":"1987"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB26","author":"Gerrard","year":"1987"},{"issue":"3","key":"10.1016\/S0950-5849(98)00029-9_BIB27","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","article-title":"Data-abstraction implementation, specification and testing","volume":"3","author":"Gannon","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB28","series-title":"Proceedings of the 7th International Computer Software and Applications Conference (COMPSAC '83)","first-page":"508","article-title":"Specification and testing of abstract data types","author":"Jalote","year":"1983"},{"issue":"4","key":"10.1016\/S0950-5849(98)00029-9_BIB29","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","article-title":"Test sets generation from algebraic specifications using logic programming","volume":"6","author":"Boug\u00e9","year":"1986","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB30","series-title":"Proceedings of the 12th International Computer Software and Applications Conference (COMPSAC '88)","first-page":"205","article-title":"Automated testcase generation for data abstraction","author":"Jalote","year":"1988"},{"issue":"1","key":"10.1016\/S0950-5849(98)00029-9_BIB31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/32.44359","article-title":"Formal specification and design time testing","volume":"16","author":"Gerrard","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"10.1016\/S0950-5849(98)00029-9_BIB32","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","article-title":"Software testing based on formal specifications: a theory and a tool","volume":"6","author":"Bernot","year":"1991","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB33","series-title":"Achieving Quality in Software (Proceedings of AQuIS '96, the Third International Conference on Achieving Quality in Software)","first-page":"341","article-title":"Assessing the quality of specification-based testing","author":"Allen","year":"1996"},{"issue":"5","key":"10.1016\/S0950-5849(98)00029-9_BIB34","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1016\/0950-5849(87)90344-2","article-title":"Predictive software metrics based on a formal specification","volume":"29","author":"Samson","year":"1987","journal-title":"Information and Software Technology"},{"issue":"4","key":"10.1016\/S0950-5849(98)00029-9_BIB35","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1049\/sej.1993.0027","article-title":"Errors in algebraic specifications and an experimental mutation testing tool","volume":"8","author":"Woodward","year":"1993","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB36","series-title":"Proceedings of the 5th Software Quality Conference","first-page":"116","article-title":"Assessing the quality of algebraically specified ADTs","author":"Allen","year":"1996"},{"issue":"1","key":"10.1016\/S0950-5849(98)00029-9_BIB37","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","article-title":"The algebraic specification of abstract data types","volume":"10","author":"Guttag","year":"1978","journal-title":"Acta Informatica"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB38","series-title":"Data Abstraction and Program Design","author":"Ellis","year":"1991"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB39","series-title":"The Construction of Formal Specifications: an Introduction to the Model-based and Algebraic Approaches","author":"Turner","year":"1994"},{"issue":"8","key":"10.1016\/S0950-5849(98)00029-9_BIB40","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1109\/TSE.1985.232517","article-title":"Formal specifications of user interfaces: a comparison and evaluation of four axiomatic approaches","volume":"11","author":"Chi","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB41","series-title":"Programming with VDM","author":"Rolland","year":"1992"},{"issue":"4","key":"10.1016\/S0950-5849(98)00029-9_BIB42","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1093\/comjnl\/30.4.316","article-title":"Formal specifications\u2014 comparison of two techniques","volume":"30","author":"Duce","year":"1987","journal-title":"The Computer Journal"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB43","article-title":"Algebraic specifications: investigations concerning their effectiveness for testing software, their quality and maintenance","author":"Allen","year":"1998"},{"issue":"2","key":"10.1016\/S0950-5849(98)00029-9_BIB44","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00590439","article-title":"Difficulties using cohesion and coupling as quality indicators","volume":"2","author":"Woodward","year":"1993","journal-title":"Software Quality Journal"},{"issue":"8","key":"10.1016\/S0950-5849(98)00029-9_BIB45","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","article-title":"Using program slicing in software maintenance","volume":"17","author":"Gallagher","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB46","series-title":"Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming","first-page":"415","article-title":"Dynamic dependence in term rewriting systems and its application to program slicing","volume":"vol. 844","author":"Field","year":"1994"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB47","series-title":"Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development","first-page":"516","article-title":"Generic techniques for source-level debugging and dynamic program slicing","volume":"vol. 915","author":"Tip","year":"1995"},{"key":"10.1016\/S0950-5849(98)00029-9_BIB48","series-title":"Proceedings of the 5th International Workshop on Program Comprehension","first-page":"70","article-title":"Amorphous program slicing","author":"Harman","year":"1997"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000299?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000299?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:20:58Z","timestamp":1556058058000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584998000299"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["S0950584998000299"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(98)00029-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}