{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T13:50:11Z","timestamp":1648648211797},"reference-count":10,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5936,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw. Test. Verif. Reliab."],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1002\/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","type":"journal-article","created":{"date-parts":[[2005,12,3]],"date-time":"2005-12-03T04:47:14Z","timestamp":1133585234000},"page":"83-84","source":"Crossref","is-referenced-by-count":0,"title":["Editorial"],"prefix":"10.1002","volume":"9","author":[{"given":"Martin","family":"Woodward","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB1","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"Apt","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(83)90066-X","volume":"28","author":"Apt","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"Boehm","year":"1984","journal-title":"IEEE Software"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB4","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"Demillo","year":"1979","journal-title":"Communications of the ACM"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB5","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/48529.48530","volume":"31","author":"Fetzer","year":"1988","journal-title":"Communications of the ACM"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB6","author":"Floyd","year":"1967","unstructured":"(1967) \u2018Assigning meanings to programs\u2019, Proceedings of the American Mathematical Society Symposia in Applied Mathematics, Vol. 19, pp. 19-31."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"Hoare","year":"1969","journal-title":"Communications of the ACM"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB8","author":"King","year":"1978","unstructured":"(1978) \u2018Prospects for program verification\u2019, Tutorial session chaired by James C. King, Proceedings of the Third International Conference on Software Engineering (ICSE-3), Atlanta, Georgia, U.S.A., IEEE Computer Society Press, Los Alamitos, California, U.S.A., p. 71."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB9","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/stvr.4370020303","volume":"2","author":"Roper","year":"1992","journal-title":"Software Testing, Verification and Reliability"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I-BIB10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.4370030103","volume":"3","author":"Xie","year":"1993","journal-title":"Software Testing, Verification and Reliability"}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1099-1689(199906)9:2%3C83::AID-STVR183%3E3.0.CO;2-I","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1099-1689(199906)9:2%3C83::AID-STVR183%3E3.0.CO;2-I","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T06:39:13Z","timestamp":1625121553000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1099-1689(199906)9:2<83::AID-STVR183>3.0.CO;2-I"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,6]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}