{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:35:05Z","timestamp":1731476105468,"version":"3.28.0"},"reference-count":48,"publisher":"Institution of Engineering and Technology (IET)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,10,20]]},"DOI":"10.1049\/iet-sen:20070094","type":"journal-article","created":{"date-parts":[[2008,10,21]],"date-time":"2008-10-21T22:32:10Z","timestamp":1224628330000},"page":"404-416","source":"Crossref","is-referenced-by-count":0,"title":["The \u03c0 measure"],"prefix":"10.1049","volume":"2","author":[{"given":"B.","family":"Nikolik","sequence":"first","affiliation":[{"name":"LLC, Vidak Quality, 9226 NW Bartholomew Dr., Portland, OR 97229, USA"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20070094_r1","doi-asserted-by":"crossref","unstructured":"Zuse, H.: \u2018Software complexity: measures and methods\u2019, 2nd(Walter de Gruyter 1990)","DOI":"10.1515\/9783110866087"},{"key":"10.1049\/iet-sen:20070094_r2","unstructured":"Lyu, M.R.: \u2018Handbook of software reliability engineering\u2019, (IEEE Computer Society Press 1995)"},{"key":"10.1049\/iet-sen:20070094_r3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/METRIC.1993.263793","author":"Khoshgoftaar","year":"1993","journal-title":"Proc. IEEE-CS Int. Software Metrics Symp."},{"key":"10.1049\/iet-sen:20070094_r4","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/METRIC.1993.263796","author":"Weyuker","year":"1993","journal-title":"Proc. IEEE-CS Int. Software Metrics Symp."},{"key":"10.1049\/iet-sen:20070094_r5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659219"},{"key":"10.1049\/iet-sen:20070094_r6","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1109\/12.2185","volume":"37","author":"Ammann","year":"1988","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r7","unstructured":"Leveson, N.G.: \u2018Safeware system safety and computers\u2019, (Addison-Wesley 1995)"},{"key":"10.1049\/iet-sen:20070094_r8","first-page":"249","author":"Littlewood","year":"2002","journal-title":"SAFECOMP"},{"key":"10.1049\/iet-sen:20070094_r9","unstructured":"Shooman, M.L.: \u2018Software engineering design, reliability, and management\u2019, (McGraw-Hill, New York, NY 1983)"},{"key":"10.1049\/iet-sen:20070094_r10","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.367"},{"key":"10.1049\/iet-sen:20070094_r11","unstructured":"Musa, J.D., Iannino, A., and Okumoto, K.: \u2018Software reliability: measurement, prediction, application\u2019, (McGraw-Hill, New York, NY 1987)"},{"key":"10.1049\/iet-sen:20070094_r12","unstructured":"Hamlet, D.: \u2018Random testing\u2019, Marciniak, J., Encyclopedia of software engineering, (Wiley, New York 1994), p. 970\u2013978"},{"key":"10.1049\/iet-sen:20070094_r13","doi-asserted-by":"publisher","DOI":"10.1145\/384192.384195"},{"key":"10.1049\/iet-sen:20070094_r14","unstructured":"Myers, G.J.: \u2018The art of software testing\u2019, (Wiley-Interscience, New York, NY 1979)"},{"key":"10.1049\/iet-sen:20070094_r15","unstructured":"Nikolik, B.: \u2018Ultrareliability of programs specified with equational specifications\u2019, 1998, PhD, University of Oregon"},{"key":"10.1049\/iet-sen:20070094_r16","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90088-3"},{"key":"10.1049\/iet-sen:20070094_r17","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/154183.154246","author":"Hamlet","year":"1993","journal-title":"Int. Symp. Software Testing and Analysis"},{"key":"10.1049\/iet-sen:20070094_r18","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00092-Q"},{"key":"10.1049\/iet-sen:20070094_r19","unstructured":"Halstead, M.H.: \u2018Elements of software science\u2019, (Elsevier, North-Holland, New York 1977)"},{"key":"10.1049\/iet-sen:20070094_r20","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"McCabe","year":"1976","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r21","first-page":"267","author":"Khoshgoftaar","year":"1992","journal-title":"Proc. 1992 Int. Simulation Technology Conf."},{"key":"10.1049\/iet-sen:20070094_r22","first-page":"105","volume":"32","author":"Munson","year":"1990"},{"key":"10.1049\/iet-sen:20070094_r23","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/32.24715","volume":"15","author":"Lind","year":"1989","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r24","unstructured":"Baase, S.: \u2018Computer algorithms\u2019, 2nd(Addison-Wesley 1988),16,"},{"key":"10.1049\/iet-sen:20070094_r25","unstructured":"Strang, G.: \u2018Linear algebra and its applications\u2019, (Harcourt Brace Jovanovich, Inc. 1988)"},{"key":"10.1049\/iet-sen:20070094_r26","first-page":"456","author":"Veinstain","year":"1991","journal-title":"Proc. 9th Int. Symp. Applied Algebra, Algebraic Algorithms and Error-detecting Codes"},{"key":"10.1049\/iet-sen:20070094_r27","first-page":"118","author":"Hamlet","year":"1993","journal-title":"Proc. 15th Int. Conf. Software Engineering"},{"key":"10.1049\/iet-sen:20070094_r28","doi-asserted-by":"crossref","unstructured":"Laprie, J.: \u2018Dependability, basic concepts and terminology\u2019, (Springer-Verlag, Vienna 1992)","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"10.1049\/iet-sen:20070094_r29","unstructured":"Hogg, R.V., and Craig, A.T.: \u2018Introduction to mathematical statistics\u2019, (Macmillan Publishing Co., Inc. 1978)"},{"journal-title":"ISSTA 96","first-page":"84","author":"Hamlet","key":"10.1049\/iet-sen:20070094_r30"},{"key":"10.1049\/iet-sen:20070094_r31","first-page":"16","author":"Brilliant","year":"1990","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r32","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TSE.1983.236871","volume":"9","author":"Laski","year":"1983","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r33","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"Chilenski","year":"1994","ISSN":"http:\/\/id.crossref.org\/issn\/0268-6961","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r34","unstructured":"Hennesey, J.L., and Patterson, D.A.: \u2018Computer architecture a quantitative approach\u2019, (Morgan Kaufmann Publishers, Inc. 1990), p. 251\u2013343"},{"key":"10.1049\/iet-sen:20070094_r35","first-page":"367","volume":"11","author":"Weiser","year":"1985","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r36","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","volume":"13","author":"Basili","year":"1987","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r37","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90051-M"},{"key":"10.1049\/iet-sen:20070094_r38","first-page":"60","author":"Harder","year":"2003","journal-title":"ICSE 2003"},{"key":"10.1049\/iet-sen:20070094_r39","first-page":"339","author":"Dickinson","year":"2001","journal-title":"ICSE 2001"},{"key":"10.1049\/iet-sen:20070094_r40","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/586094.586099","author":"Bowring","year":"2002","journal-title":"ACM SIGPLAN-SIGSOFT PASTE 2002"},{"key":"10.1049\/iet-sen:20070094_r41","first-page":"141","author":"Liblit","year":"2003","journal-title":"PLDI 2003"},{"key":"10.1049\/iet-sen:20070094_r42","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"2,3","author":"Howden","year":"1976","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r43","first-page":"1","author":"Weyuker","year":"1991","journal-title":"Symp. Testing, Analysis, and Verification (TAV4)"},{"key":"10.1049\/iet-sen:20070094_r44","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"Rapps","year":"1985","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20070094_r45","unstructured":"Wolfe, M.: \u2018Optimizing supercompilers for supercomputers\u2019, (MIT Press, Cambridge, MA 1989)"},{"key":"10.1049\/iet-sen:20070094_r46","first-page":"47","volume":"98","author":"Nikolik","year":"2005","journal-title":"IPL 2005"},{"key":"10.1049\/iet-sen:20070094_r47","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/1085130.1085142","author":"Nikolik","year":"2005","journal-title":"AADEBUG"},{"key":"10.1049\/iet-sen:20070094_r48","first-page":"16","volume":"42","author":"Walton","year":"2000"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20070094?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:27:25Z","timestamp":1731436045000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20070094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,20]]},"references-count":48,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,10,20]]}},"alternative-id":["10.1049\/iet-sen:20070094"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20070094","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2008,10,20]]}}}