{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:34Z","timestamp":1772532934222,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018979130614","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"133-157","source":"Crossref","is-referenced-by-count":17,"title":["Specification\u2010based testing using cause\u2010effect graphs"],"prefix":"10.1007","volume":"4","author":[{"given":"Amit","family":"Paradkar","sequence":"first","affiliation":[]},{"given":"K.C.","family":"Tai","sequence":"additional","affiliation":[]},{"given":"M.A.","family":"Vouk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"326156_CR1","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","volume":"SE-13","author":"V.R. Basili","year":"1987","unstructured":"Basili, V.R. and R.W. Selby (1987), \u201cComparing the Effectiveness of Software Testing Strategies,\u201d IEEE Transactions on Software Engineering SE-13,12, 1278\u20131296.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326156_CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B. (1990), Software Testing Techniques, Second Edition, Van Nostrand Reinhold, New York, NY.","edition":"Second Edition"},{"key":"326156_CR3","volume-title":"Requirements Based Testing CASE Tool","author":"R.A. Bender","year":"1991","unstructured":"Bender, R.A. (1991), Requirements Based Testing CASE Tool, SoftTest, Bender and Associates, Larkspur, CA."},{"key":"326156_CR4","volume-title":"Tutorial: Software Risk Management","author":"B. Boehm","year":"1989","unstructured":"Boehm, B. (1989), Tutorial: Software Risk Management, IEEE Computer Society Press, Washington, DC."},{"key":"326156_CR5","volume-title":"Cause-Effect Graphs in Functional Testing","author":"W.R. Elmendorf","year":"1973","unstructured":"Elmendorf, W.R. (1973), \u201cCause-Effect Graphs in Functional Testing,\u201d TR-00.2487, IBM Systems Development Division, Poughkeepsie, NY."},{"issue":"3","key":"326156_CR6","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0164-1212(93)90024-R","volume":"21","author":"L. Foreman","year":"1993","unstructured":"Foreman, L. and S.H. Zweben (1993), \u201cA Study of the Effectiveness of Control and Data Flow Testing Strategies,\u201d Journal of Systems and Software 21,3, 215\u2013228.","journal-title":"Journal of Systems and Software"},{"issue":"10","key":"326156_CR7","doi-asserted-by":"publisher","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"P. Frankl","year":"1988","unstructured":"Frankl, P. and E.J. Weyuker (1988), \u201cAn Applicable Family of Data Flow Testing Criteria,\u201d IEEE Transactions on Software Engineering 14,10, 1483\u20131498.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326156_CR8","first-page":"1402","volume-title":"Advances in Computers","author":"R. Hamlet","year":"1995","unstructured":"Hamlet, R. (1995), \u201cSoftware Testing,\u201d In Advances in Computers, M.V. Zelkovitz, Ed., Academic Press, San Diego, CA, pp. 1402\u20131411."},{"key":"326156_CR9","volume-title":"Functional Program Testing and Analysis","author":"W.E. Howden","year":"1987","unstructured":"Howden, W.E. (1987), Functional Program Testing and Analysis, McGraw-Hill, New York, NY."},{"key":"326156_CR10","volume-title":"IEEE Guide for the User of IEEE Standard Dictionary of Measures to Produce Reliable Software","author":"IEEE-ANSI","year":"1989","unstructured":"IEEE-ANSI (1989), IEEE Guide for the User of IEEE Standard Dictionary of Measures to Produce Reliable Software, IEEE Std 982.2-1988, IEEE Standards Board and ANSI, New York, NY."},{"key":"326156_CR11","volume-title":"Generic Problem Competition: A Component of the International Symposium on Design and Review of Software Controlled Safety-Related Systems","author":"Institute for Risk Research","year":"1993","unstructured":"Institute for Risk Research (1993), Generic Problem Competition: A Component of the International Symposium on Design and Review of Software Controlled Safety-Related Systems, Software Specification for the Generic Problem Competition, Ottawa, Ontario, Canada."},{"key":"326156_CR12","volume-title":"Work Design \u2014 Industrial Ergonomics","author":"S. Konz","year":"1995","unstructured":"Konz, S. (1995), Work Design \u2014 Industrial Ergonomics, Fourth Edition, Publishing Horizons, Inc., Scotsdale, AZ.","edition":"Fourth Edition"},{"issue":"2","key":"326156_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1049\/sej.1989.0012","volume":"4","author":"J. Laski","year":"1989","unstructured":"Laski, J. (1989), \u201cTesting in the Program Development Cycle,\u201d Software Engineering Journal 4,2, 95\u2013106.","journal-title":"Software Engineering Journal"},{"key":"326156_CR14","volume-title":"Handbook of Software Reliability Engineering","author":"M. Lyu","year":"1994","unstructured":"Lyu, M. (1994), Handbook of Software Reliability Engineering, IEEE Computer Society Press and McGraw-Hill, New York, NY."},{"key":"326156_CR15","volume-title":"Software Reliability: Measurement, Prediction, Application","author":"J.D. Musa","year":"1987","unstructured":"Musa, J.D., A. Iannino and K. Okumoto (1987), Software Reliability: Measurement, Prediction, Application, McGraw-Hill, New York, NY."},{"key":"326156_CR16","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J. (1979), The Art of Software Testing, Wiley, New York, NY."},{"key":"326156_CR17","volume-title":"Software Reliability: Repetitive Run Experimentation and Modeling","author":"P.M. Nagle","year":"1982","unstructured":"Nagle, P.M. and J.A. Skrivan (1982), \u201cSoftware Reliability: Repetitive Run Experimentation and Modeling,\u201d Bsc-40336, Boeing Inc., Seattle, WA."},{"key":"326156_CR18","first-page":"293","volume-title":"Proceedings of CASCON'95","author":"K. Nursimulu","year":"1995","unstructured":"Nursimulu, K. and R.L. Probert (1995), \u201cCause-Effect Graphing Analysis and Validation of Requirements,\u201d In Proceedings of CASCON'95, IBM Canada Ltd. and National Research Council, Toronto, Ontario, Canada, p. 293."},{"key":"326156_CR19","volume-title":"Specification Based Testing Using Cause-Effect Graphs","author":"A.M. Paradkar","year":"1996","unstructured":"Paradkar, A.M. (1996), \u201cSpecification Based Testing Using Cause-Effect Graphs,\u201d PhD Dissertation, Department of Computer Science, North Carolina State University, Raleigh, NC."},{"key":"326156_CR20","series-title":"Software Documentation for NCSU Solution to the Generic Problem Exercise","volume-title":"The NCSU Solution to the Generic Problem Exercise: Boiler Control and Monitoring System","author":"A.M. Paradkar","year":"1993","unstructured":"Paradkar, A.M., I. Shields and J. Waters (1993), \u201cThe NCSU Solution to the Generic Problem Exercise: Boiler Control and Monitoring System,\u201d Software Documentation for NCSU Solution to the Generic Problem Exercise, Department of Computer Science, North Carolina State University, Raleigh, NC."},{"key":"326156_CR21","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/ISSRE.1995.497649","volume-title":"Proceedings of International Symposium on Software Reliability Engineering'95","author":"A.M. Paradkar","year":"1995","unstructured":"Paradkar, A.M. and K.C. Tai (1995), \u201cTest Generation for Boolean Expressions,\u201d In Proceedings of International Symposium on Software Reliability Engineering'95, IEEE Computer Society Press, Los Alamitos, CA, pp. 106\u2013115."},{"issue":"4","key":"326156_CR22","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1109\/24.556575","volume":"45","author":"A.M. Paradkar","year":"1996","unstructured":"Paradkar, A.M., K.C. Tai and M.A. Vouk (1996), \u201cAutomatic Test Generation for Predicates,\u201d IEEE Transactions on Reliability 45,4, 515\u2013530.","journal-title":"IEEE Transactions on Reliability"},{"issue":"8","key":"326156_CR23","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1109\/32.536956","volume":"22","author":"K.C. Tai","year":"1996","unstructured":"Tai, K.C. (1996), \u201cTheory of Fault-Based Predicate Testing for Computer Programs,\u201d IEEE Transactions on Software Engineering 22,8, 552\u2013562.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"326156_CR24","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1147\/sj.333.0445","volume":"33","author":"K.C. Tai","year":"1994","unstructured":"Tai, K.C., M.A. Vouk, A. Paradkar and P. Lu (1994), \u201cEvaluation of a Predicate-Based Software Testing Strategy,\u201d IBM Systems Journal 33,3, 445\u2013457.","journal-title":"IBM Systems Journal"},{"key":"326156_CR25","first-page":"212","volume-title":"Proceedings of 7th Annual Pacific Northwest Software Quality Conference","author":"M.A. Vouk","year":"1989","unstructured":"Vouk, M.A. and R.E. Coyle (1989), \u201cBGG: A Testing Coverage Tool,\u201d In Proceedings of 7th Annual Pacific Northwest Software Quality Conference, Lawrence and Craig, Inc., Portland, OR, pp. 212\u2013233."},{"key":"326156_CR26","first-page":"414","volume-title":"Proceedings of Computer Software and Applications Conference (COMPSAC'86)","author":"M.A. Vouk","year":"1986","unstructured":"Vouk, M.A., M.L. Helsabeck, D.F. McAllister and K.C. Tai (1986a), \u201cOn Testing of Functionally Equivalent Components of Fault-Tolerant Software,\u201d In Proceedings of Computer Software and Applications Conference (COMPSAC'86), IEEE Computer Society Press, Los Alamitos, CA, pp. 414\u2013419."},{"key":"326156_CR27","first-page":"74","volume-title":"Proceedings of Workshop on Software Testing","author":"M.A. Vouk","year":"1986","unstructured":"Vouk, M.A., D.F. McAllister and K.C. Tai (1986b), \u201cAn Experimental Evaluation of the Effectiveness of Random Testing of Fault-Tolerant Software,\u201d In Proceedings of Workshop on Software Testing, IEEE Computer Society Press, Los Alamitos, CA, pp. 74\u201381."},{"key":"326156_CR28","first-page":"209","volume-title":"Proceedings of the 1993 International Invitational Workshop on Design and Review of Software Controlled Safety-Related Systems","author":"M.A. Vouk","year":"1993","unstructured":"Vouk, M.A. and A.M. Paradkar (1993), \u201cDesign and Review of Software Controlled Safety-Related Systems: The NCSU Experience with the Generic Problem Exercise,\u201d In Proceedings of the 1993 International Invitational Workshop on Design and Review of Software Controlled Safety-Related Systems, Institute for Risk Research, Ottawa, Ontario, Canada, pp. 209\u2013222."},{"key":"326156_CR29","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/WST.1988.5374","volume-title":"Proceedings of the Second Workshop on Software Testing, Verification, and Analysis","author":"E.J. Weyuker","year":"1988","unstructured":"Weyuker, E.J. (1988), \u201cAn Empirical Study of the Complexity of Data Flow Testing,\u201d In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, IEEE Computer Society Press, Los Alamitos, CA, pp. 188\u2013195."},{"issue":"5","key":"326156_CR30","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E.J. Weyuker","year":"1994","unstructured":"Weyuker, E.J., T. Goradia and A. Singh (1994), \u201cAutomatically Generating Test Data from a Boolean Specification,\u201d IEEE Transactions on Software Engineering 20,5, 353\u2013363.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326156_CR31","first-page":"185","volume-title":"Encyclopedia of Microcomputers","author":"L. White","year":"1995","unstructured":"White, L. (1995), \u201cSoftware Testing and Verification,\u201d In Encyclopedia of Microcomputers, Volume 16, A. Kent and J. Williams, Eds., Marcel Dekker Inc., New York, NY, pp. 185\u2013241."},{"key":"326156_CR32","first-page":"41","volume-title":"Proceedings of the 13th Software Reliability Symposium","author":"S. Yokoi","year":"1992","unstructured":"Yokoi, S. and M. Ohba (1992), \u201cTCG: CEG-Based Tool and Its Experiments,\u201d In Proceedings of the 13th Software Reliability Symposium, IEEE Computer Society Press, Los Alamitos, CA, pp. 41\u201349."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018979130614.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018979130614\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018979130614.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:16Z","timestamp":1747578316000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018979130614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326156"],"URL":"https:\/\/doi.org\/10.1023\/a:1018979130614","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"value":"1022-7091","type":"print"},{"value":"1573-7489","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}