{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:19:47Z","timestamp":1725891587059},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346903"},{"type":"electronic","value":"9783642346910"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34691-0_14","type":"book-chapter","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T04:10:35Z","timestamp":1352866235000},"page":"184-199","source":"Crossref","is-referenced-by-count":11,"title":["Using Behaviour Inference to Optimise Regression Test Sets"],"prefix":"10.1007","author":[{"given":"Ramsay","family":"Taylor","sequence":"first","affiliation":[]},{"given":"Mathew","family":"Hall","sequence":"additional","affiliation":[]},{"given":"Kirill","family":"Bogdanov","sequence":"additional","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"StateChum, \n                    \n                      http:\/\/statechum.sourceforge.net\/\n                    \n                    \n                   (accessed March 14, 2012)"},{"key":"14_CR2","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in ERLANG. Prentice Hall (1996)"},{"issue":"3","key":"14_CR3","first-page":"289","volume":"35","author":"S. Biswas","year":"2011","unstructured":"Biswas, S., Mall, R., Satpathy, M., Sukumaran, S.: Regression Test Selection Techniques: A Survey. Informatica\u00a035(3), 289\u2013321 (2011)","journal-title":"Informatica"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Design Modeled by Finite-State Machines. IEEE Trans. Softw. Eng.\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K. Deb","year":"2002","unstructured":"Deb, K., Agrawal, S., Pratap, A., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation\u00a06(2), 182\u2013197 (2002)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Fraser, G., Walkinshaw, N.: Behaviourally Adequate Software Testing. In: Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST) (2012)","DOI":"10.1109\/ICST.2012.110"},{"key":"14_CR7","unstructured":"Guo, Q., Derrick, J., Taylor, R.: Mutation Testing of Erlang Distributed and Concurrent Applications. In: Automated Software Engineering (submitted, 2012)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"R.G. Hamlet","year":"1977","unstructured":"Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering\u00a03, 279\u2013290 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"14","key":"14_CR9","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M. Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Information & Software Technology\u00a043(14), 833\u2013839 (2001)","journal-title":"Information & Software Technology"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Clark, J.A., Dan, H., Hierons, R.M.: Semantic Mutation Testing. Science of Computer Programming (2011) (page under print)","DOI":"10.1109\/ICSTW.2010.8"},{"key":"14_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0054059","volume-title":"Grammatical Inference","author":"K.J. Lang","year":"1998","unstructured":"Lang, K.J., Pearlmutter, B.A., Price, R.A.: Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm. In: Honavar, V.G., Slutzki, G. (eds.) ICGI 1998. LNCS (LNAI), vol.\u00a01433, pp. 1\u201312. Springer, Heidelberg (1998)"},{"issue":"4","key":"14_CR12","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1016\/j.infsof.2008.11.004","volume":"51","author":"J.-W. Lin","year":"2009","unstructured":"Lin, J.-W., Huang, C.-Y.: Analysis of test suite reduction with enhanced tie-breaking techniques. Information & Software Technology\u00a051(4), 679\u2013690 (2009)","journal-title":"Information & Software Technology"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/(SICI)1096-908X(199901\/02)11:1<19::AID-SMR182>3.0.CO;2-M","volume":"11","author":"N. Mansour","year":"1999","unstructured":"Mansour, N., El-Fakih, K.: Simulated Annealing and Genetic Algorithms for Optimal Regression Testing. Journal of Software Maintenance\u00a011(1), 19\u201334 (1999)","journal-title":"Journal of Software Maintenance"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Pradel, M., Bichsel, P., Gross, T.R.: A framework for the evaluation of specification miners based on finite state machines. In: ICSM, pp. 1\u201310. IEEE Computer Society (2010)","DOI":"10.1109\/ICSM.2010.5609576"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Bogdanov, K.: Automated Comparison of State-Based Software Models in terms of their Language and Structure. ACM Transactions on Software Engineering and Methodology\u00a022(2) (2012)","DOI":"10.1145\/2430545.2430549"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Bogdanov, K., Holcombe, M., Salahuddin, S.: Reverse engineering state machines by interactive grammar inference. In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE). IEEE (2007)","DOI":"10.1109\/WCRE.2007.45"},{"issue":"4","key":"14_CR17","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1145\/69575.357231","volume":"5","author":"E.J. Weyuker","year":"1983","unstructured":"Weyuker, E.J.: Assessing Test Data Adequacy through Program Inference. ACM Transactions on Programming Languages and Systems\u00a05(4), 641\u2013655 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR18","unstructured":"Xu, W., Huang, L., Fox, A., Patterson, D., Jordan, M.: Experience mining google\u2019s production console logs. In: Proceedings of the 2010 Workshop on Managing Systems via Log Analysis and Machine Learning Techniques, p. 5. USENIX Association (2010)"},{"issue":"4","key":"14_CR19","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.jss.2009.11.706","volume":"83","author":"S. Yoo","year":"2010","unstructured":"Yoo, S., Harman, M.: Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation. Journal of Systems and Software\u00a083(4), 689\u2013701 (2010)","journal-title":"Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34691-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:16:55Z","timestamp":1558300615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34691-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346903","9783642346910"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34691-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}