乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T05:23:49Z","timestamp":1736832229985,"version":"3.33.0"},"reference-count":31,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T00:00:00Z","timestamp":1185926400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100002338","name":"Ministry of Education of the People's Republic of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002338","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007421","name":"Li Ka Shing Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007421","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["60473067","60474006","60633010"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1016\/j.jss.2006.11.008","type":"journal-article","created":{"date-parts":[[2007,2,5]],"date-time":"2007-02-05T16:02:37Z","timestamp":1170691357000},"page":"1328-1348","source":"Crossref","is-referenced-by-count":43,"title":["Adaptive software testing with fixed-memory feedback"],"prefix":"10.1016","volume":"80","author":[{"given":"Kai-Yuan","family":"Cai","sequence":"first","affiliation":[]},{"given":"Bo","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Hai","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Yong-Chao","family":"Li","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1998","series-title":"Software Defect and Operational Profile Modeling","author":"Cai","key":"10.1016\/j.jss.2006.11.008_bib1"},{"key":"10.1016\/j.jss.2006.11.008_bib2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0020-0255(00)00018-9","article-title":"Towards a conceptual framework of software run reliability modeling","volume":"126","author":"Cai","year":"2000","journal-title":"Information Sciences"},{"key":"10.1016\/j.jss.2006.11.008_bib3","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(02)00108-8","article-title":"Optimal software testing and adaptive software testing in the context of software cybernetics","volume":"44","author":"Cai","year":"2002","journal-title":"Information and Software Technology"},{"key":"10.1016\/j.jss.2006.11.008_bib4","series-title":"Proc. the 11th International Workshop on Software Technology and Engineering Practice","first-page":"77","article-title":"An overview of software cybernetics","author":"Cai","year":"2003"},{"issue":"2","key":"10.1016\/j.jss.2006.11.008_bib5","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1016\/j.ejor.2002.11.002","article-title":"Optimal software testing in the setting of controlled Markov chains","volume":"162","author":"Cai","year":"2005","journal-title":"European Journal of Operational Research"},{"key":"10.1016\/j.jss.2006.11.008_bib6","doi-asserted-by":"crossref","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M., 2005. Model-Based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, May .","DOI":"10.1007\/11526841_38"},{"key":"10.1016\/j.jss.2006.11.008_bib7","unstructured":"Cangussu, J.W., DeCarlo, R.A., Mathur, A.P., 2001. Feedback Control of the software test process through measurements of software reliability. In: Proc. 12th International Symposium on Software Reliability Engineering."},{"issue":"8","key":"10.1016\/j.jss.2006.11.008_bib8","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TSE.2002.1027800","article-title":"A formal model of the software test process","volume":"28","author":"Cangussu","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/j.jss.2006.11.008_bib9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/32.485221","article-title":"On the expected number of failures detected by subdomain testing and random testing","volume":"22","author":"Chen","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.jss.2006.11.008_bib10","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0164-1212(01)00028-0","article-title":"Proportional sampling strategy: a compendium and some insights","volume":"58","author":"Chen","year":"2001","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/j.jss.2006.11.008_bib11","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","article-title":"Hints on test data selection: help for the practicing programmer","volume":"11","author":"DeMillo","year":"1978","journal-title":"IEEE Computer"},{"issue":"4","key":"10.1016\/j.jss.2006.11.008_bib12","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","article-title":"An evaluation of random testing","volume":"SE-10","author":"Duran","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/j.jss.2006.11.008_bib13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/32.988497","article-title":"Test case prioritization: a family of empirical studies","volume":"28","author":"Elbaum","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"10.1016\/j.jss.2006.11.008_bib14","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/32.815325","article-title":"Partition testing vs. random testing: the influence of uncertainty","volume":"25","author":"Gutjahr","year":"1999","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"10.1016\/j.jss.2006.11.008_bib15","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","article-title":"Partition testing does not inspire confidence","volume":"16","author":"Hamlet","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"year":"1989","series-title":"Adaptive Markov Control Processes","author":"Hernandez-Lerma","key":"10.1016\/j.jss.2006.11.008_bib16"},{"issue":"1","key":"10.1016\/j.jss.2006.11.008_bib17","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1360\/jos160017e","article-title":"An approach for detecting correlated software defects","volume":"16","author":"Jin","year":"2005","journal-title":"Journal of Software"},{"year":"1996","series-title":"Handbook of Software Reliability Engineering","key":"10.1016\/j.jss.2006.11.008_bib18"},{"key":"10.1016\/j.jss.2006.11.008_bib19","unstructured":"Malaiya, Y.K., 1995. Antirandom testing: getting the most out of black-box testing. In: Proc. 6th International Symposium on Software Reliability Engineering, pp. 86\u201395."},{"year":"1979","series-title":"The Art of Software Testing","author":"Myers","key":"10.1016\/j.jss.2006.11.008_bib20"},{"key":"10.1016\/j.jss.2006.11.008_bib21","doi-asserted-by":"crossref","unstructured":"Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W., 2004. Optimal Strategies for Testing Nondeterministic Systems. In: Proc. the International Symposium on Software Testing and Analysis.","DOI":"10.1145\/1007512.1007520"},{"key":"10.1016\/j.jss.2006.11.008_bib22","doi-asserted-by":"crossref","unstructured":"Ntafos, S., 1998. On Random and Partition Testing. In: Proc. International Symposium on Software Testing and Assessment, pp. 42\u201348.","DOI":"10.1145\/271775.271785"},{"key":"10.1016\/j.jss.2006.11.008_bib23","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Ernst, M.D., 2005. Eclat: automatic generation and classification of test inputs. In: Proc. the 19th European Conference on Object-Oriented Programming.","DOI":"10.1007\/11531142_22"},{"issue":"10","key":"10.1016\/j.jss.2006.11.008_bib24","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1109\/32.962562","article-title":"Prioritizing test cases for regression testing","volume":"27","author":"Rothermel","year":"2001","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.jss.2006.11.008_bib25","unstructured":"Veanes, M., Campbell, C., Schulte, W., Kohli, P., 2005. On-the-fly testing of reactive systems. Technical Report MSR-TR-2005-05, Microsoft Research, January."},{"key":"10.1016\/j.jss.2006.11.008_bib26","doi-asserted-by":"crossref","unstructured":"Vokolos, F.I., Frankl, P.G., 1998. Empirical evaluation of the textual differencing regression testing technique. In: Proc. the International Conference on Software Maintenance, November, pp. 44\u201353.","DOI":"10.1109\/ICSM.1998.738488"},{"issue":"7","key":"10.1016\/j.jss.2006.11.008_bib27","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","article-title":"Analyzing partition testing strategies","volume":"17","author":"Weyuker","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/j.jss.2006.11.008_bib28","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/151299.151326","article-title":"Markov analysis of software specifications","volume":"2","author":"Whittaker","year":"1993","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"year":"1991","series-title":"Software Reliability Modeling","author":"Xie","key":"10.1016\/j.jss.2006.11.008_bib29"},{"key":"10.1016\/j.jss.2006.11.008_bib30","unstructured":"Xie, T., Notkin, D., 2003. Tool-assisted unit-test generation and selection based on operational abstractions. In: Proc. the 18th Annual International Conference on Automated Software Engineering, pp. 40\u201348."},{"key":"10.1016\/j.jss.2006.11.008_bib31","doi-asserted-by":"crossref","unstructured":"Yin, H., Lebne-Dengel, Z., Malaiya, Y.K., 1997. Automatic test generation using checkpoint encoding and antirandom testing. In: Proc. 8th International Symposium on Software Reliability Engineering, pp. 84\u201394.","DOI":"10.1109\/ISSRE.1997.630850"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121206003402?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121206003402?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T14:47:31Z","timestamp":1736779651000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121206003402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":31,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2007,8]]}},"alternative-id":["S0164121206003402"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2006.11.008","relation":{},"ISSN":["0164-1212"],"issn-type":[{"type":"print","value":"0164-1212"}],"subject":[],"published":{"date-parts":[[2007,8]]}}}