{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:32:10Z","timestamp":1742398330896},"reference-count":33,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5722,"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":[[2000,9]]},"DOI":"10.1002\/1099-1689(200009)10:3<149::aid-stvr206>3.0.co;2-t","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T14:47:11Z","timestamp":1106837231000},"page":"149-170","source":"Crossref","is-referenced-by-count":17,"title":["State generation and automated class testing"],"prefix":"10.1002","volume":"10","author":[{"given":"Thomas","family":"Ball","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Hoffman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Ruskey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Webber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lee","family":"White","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2000]]},"reference":[{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB1","first-page":"147","volume-title":"Proceedings of IEEE International Conference on Automated Software Engineering","author":"McDonald","year":"1998","unstructured":"Programmatic testing of the Standard Template Library container classes. In Proceedings of IEEE International Conference on Automated Software Engineering 1998; 147-156."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB2","author":"JavaSoft","year":"1999","unstructured":"JavaSoft. The bug parade. http:\/\/java.sun.com\/jdc [1999]."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB3","volume-title":"Introduction to Algorithms","author":"Cormen","year":"1990","unstructured":"Introduction to Algorithms. MIT Press: Cambridge, MA, 1990"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB4","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"Clarke","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB5","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1109\/32.368137","volume":"20","author":"Bertolino","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB6","first-page":"53","volume-title":"Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Gotlieb","year":"1998","unstructured":"Automatic test data generation using constraint solving techniques. In Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis 1998; 53-62."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB7","author":"Parasoft","year":"1998","unstructured":"Parasoft. Automatic white-box testing for the Java developer. http:\/\/www.parasoft.com\/jtest\/jtestwp.htm [1998]."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/248233.248262","volume":"6","author":"Rothermel","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB9","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","volume":"6","author":"Boug\u00e9","year":"1986","journal-title":"Journal of Systems and Software"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB10","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","volume":"3","author":"Gannon","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB11","first-page":"53","volume-title":"Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Hughes","year":"1996","unstructured":"Daistish: systematic algebraic testing for OO programs in the presence of side-effects. In Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis 1996; 53-61."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB12","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/287000.287004","volume":"7","author":"Chen","year":"1998","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB13","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/239098.239116","volume-title":"Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"Dillon","year":"1996","unstructured":"Generating oracles from your favorite temporal logic specifications. In Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering 1996; 106-117."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB14","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"Stocks","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB15","first-page":"609","volume-title":"Proceedings of the AFIPS National Computer Conference","author":"Panzl","year":"1978","unstructured":"A language for specifying software tests. In Proceedings of the AFIPS National Computer Conference. AFIPS, 1978; 609-619."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB16","first-page":"100","volume-title":"Proceedings of the Conference on Software Maintenance","author":"Hoffman","year":"1989","unstructured":"A CASE study in module testing. In Proceedings of the Conference on Software Maintenance. IEEE Computer Society, 1989; 100-105."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB17","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/32.92913","volume":"17","author":"Hoffman","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB18","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/182987.182990","volume":"37","author":"Murphy","year":"1994","journal-title":"Communications of the ACM"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB19","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1002\/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.0.CO;2-3","volume":"27","author":"Hoffman","year":"1997","journal-title":"Software-Practice and Experience"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB20","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"Ostrand","year":"1988","journal-title":"Communications of the ACM"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB21","author":"Software Research Inc","year":"1998","unstructured":"Software Research Inc. The TDGEN test data generator. http:\/\/www.soft.com\/products\/index.html [1998]."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB22","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/52.60601","volume":"7","author":"Cobb","year":"1990","journal-title":"IEEE Software"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB23","volume-title":"Measurement, Prediction, and Application","author":"Musa","year":"1987","unstructured":"Software Reliability Measurement, Prediction, and Application. McGraw-Hill: New York, 1987."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB24","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1006\/jagm.1993.1045","volume":"15","author":"Lucas","year":"1993","journal-title":"Journal of Algorithms"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB25","first-page":"581","volume-title":"Proceedings of the Symposium on Theoretical Aspects of Computer Science, LNCS #1046","author":"Kelsen","year":"1996","unstructured":"Ranking and unranking trees using regular reductions. In Proceedings of the Symposium on Theoretical Aspects of Computer Science, LNCS #1046. 1996; 581-592."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB26","volume-title":"Combinatorial Algorithms (2nd edn)","author":"Nijenhuis","year":"1978","unstructured":"Combinatorial Algorithms (2nd edn). Academic Press: New York, 1978."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB27","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"Doong","year":"1994","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB28","volume-title":"The Art of Computer Programming, Vol. II","author":"Knuth","year":"1969","unstructured":"The Art of Computer Programming, Vol. II. Addison-Wesley: Reading, MA, 1969."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB29","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0020-0255(94)90052-3","volume":"77","author":"Cameron","year":"1994","journal-title":"Information Sciences"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB30","first-page":"46","volume-title":"Proceedings of MICRO 96","author":"Ball","year":"1996","unstructured":"Efficient path profiling. In Proceedings of MICRO 96. 1996; 46-57."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB31","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/258916.258924","volume":"32","author":"Ammons","year":"1997","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB32","first-page":"259","volume-title":"Proceedings of the International Conference on Software Engineering","author":"Hedley","year":"1985","unstructured":"The causes and effects of infeasible paths in computer programs. In Proceedings of the International Conference on Software Engineering. IEEE Computer Society, 1985; 259-266."},{"key":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T-BIB33","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1980.230473","volume":"6","author":"Woodward","year":"1980","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1099-1689(200009)10:3%3C149::AID-STVR206%3E3.0.CO;2-T","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1099-1689(200009)10:3%3C149::AID-STVR206%3E3.0.CO;2-T","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T04:59:17Z","timestamp":1625115557000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,9]]}},"URL":"https:\/\/doi.org\/10.1002\/1099-1689(200009)10:3<149::aid-stvr206>3.0.co;2-t","relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}