{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:21:18Z","timestamp":1772554878488,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,11]],"date-time":"2016-11-11T00:00:00Z","timestamp":1478822400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s10586-016-0681-7","type":"journal-article","created":{"date-parts":[[2016,11,11]],"date-time":"2016-11-11T14:32:56Z","timestamp":1478874776000},"page":"277-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Generating test case for algebraic specification based on Tabu search and genetic algorithm"],"prefix":"10.1007","volume":"20","author":[{"given":"Bo","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yemei","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,11]]},"reference":[{"issue":"6","key":"681_CR1","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387\u2013405 (1991)","journal-title":"Softw. Eng. J."},{"key":"681_CR2","doi-asserted-by":"crossref","unstructured":"Le Gall, P., Arnould, A.: Formal specification and test: correctness and oracle. In: 11th WADT\/9th COMPASS Workshop. LNCS 1130. Springer, Berlin, pp. 342\u2013358 (1996)","DOI":"10.1007\/3-540-61629-2_52"},{"issue":"3","key":"681_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","volume":"3","author":"J Gonnon","year":"1981","unstructured":"Gonnon, J., McMullin, P., Hamlet, R.: Data-abstraction implementation, specification and testing. ACM TOPLAS 3(3), 211\u2013223 (1981)","journal-title":"ACM TOPLAS"},{"key":"681_CR4","doi-asserted-by":"crossref","unstructured":"Hong, Z.: A note on test oracles and semantics of algebraic specifications. In: Proceedings of QSIC\u201903, November 2003, pp. 91\u201399","DOI":"10.1109\/QSIC.2003.1319090"},{"issue":"2","key":"681_CR5","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"K Doong","year":"1994","unstructured":"Doong, K., Frankl, P.: The ASTOOT approach to testing object-oriented programs. ACM TSEM 3(2), 101\u2013130 (1994)","journal-title":"ACM TSEM"},{"key":"681_CR6","doi-asserted-by":"crossref","unstructured":"Machado, P., Sannella, D.: Unit Testing for CASL Architectural Specifications, Mathematical Foundations of Computer Science. LNCS 2420. Springer, Berlin, pp. 506\u2013518 (2002)","DOI":"10.1007\/3-540-45687-2_42"},{"issue":"3","key":"681_CR7","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/287000.287004","volume":"7","author":"HY Chen","year":"1998","unstructured":"Chen, H.Y., Tse, T.H., Chan, F.T., Chen, T.Y.: In black and white: an integrated approach to class-level testing of object-oriented programs. ACM TSEM 7(3), 250\u2013295 (1998)","journal-title":"ACM TSEM"},{"issue":"1","key":"681_CR8","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/366378.366380","volume":"10","author":"C HuoYan","year":"2001","unstructured":"HuoYan, C., Tse, T.H., Chen, T.Y.: TACCLE: a methodology for object-oriented software testing at the class and cluster levels. ACM TSEM 10(1), 56\u2013109 (2001)","journal-title":"ACM TSEM"},{"key":"681_CR9","doi-asserted-by":"crossref","unstructured":"Hughes, M., Stotts, D.: Daistish: systematic algebraic testing for OO programs in the presence of side-effects. In: Proceedings of ISSTA\u201996, January 1996, pp. 53\u201361","DOI":"10.1145\/229000.226301"},{"key":"681_CR10","doi-asserted-by":"crossref","unstructured":"Liang, K., Hong, Z., Bin, Z.: Automated testing EJB components based on algebraic specifications. In: Proceedings of COMPSAC\u201907 (2), pp. 717\u2013722 (2007)","DOI":"10.1109\/COMPSAC.2007.82"},{"key":"681_CR11","doi-asserted-by":"crossref","unstructured":"Bo, Y., Liang, K., Yufeng, Z., Hong, Z.: Testing Java components based on algebraic specifications. In: Proceedings of ICST\u201908, pp. 190\u2013199 (2008)","DOI":"10.1109\/ICST.2008.39"},{"key":"681_CR12","doi-asserted-by":"crossref","unstructured":"Hong, Z., Xudong, H.: An observational theory of integration testing for component-based software development. In: COMPSAC\u201901 (2001)","DOI":"10.1109\/CMPSAC.2001.960640"},{"key":"681_CR13","first-page":"239","volume-title":"Testing Commercial-Off-The-Shelf Components and Systems","author":"Z Hong","year":"2005","unstructured":"Hong, Z., Xudong, H.: A methodology of component integration testing. In: Beydeda, S., Gruhn, V. (eds.) Testing Commercial-Off-The-Shelf Components and Systems, pp. 239\u2013269. Springer, Berlin (2005)"},{"key":"681_CR14","doi-asserted-by":"crossref","unstructured":"Hong, Z., Bo, Y.: An experiment with algebraic specifications of software components. In: Proceedings of the 10th International Conference on Quality Software (QSIC 2010), pp. 190\u2013199","DOI":"10.1109\/QSIC.2010.54"},{"key":"681_CR15","doi-asserted-by":"crossref","unstructured":"Hong, Z., Bo, Y.: Algebraic specification of web services. In: Proceedings of the 10th International Conference on Quality Software (QSIC 2010), IEEE Computer Society Press, Los Alamitos, pp. 457\u2013464 (2010)","DOI":"10.1109\/QSIC.2010.47"},{"key":"681_CR16","unstructured":"Dongmei, L., Xian, W., Xin Z., Hong, Z., Ian. B.: Monic testing of web services based on algebraic specifications. In: Proceedings of the 10th IEEE International Conference on Service Oriented System Engineering (SOSE 2016), Oxford, 29 March\u20131 April 2016"},{"key":"681_CR17","unstructured":"Liu, Dongmei, Zhu, Hong, Bayley, Ian: Transformation of algebraic specifications into ontological semantic descriptions of web services. Int. J. Serv. Comput. (IJSC) 2(1), 58\u201371 (2014)"},{"key":"681_CR18","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.jnca.2014.04.002","volume":"43","author":"Z Xu","year":"2014","unstructured":"Xu, Z., et al.: Generating temporal semantic context of concepts using web search engines. J. Netw. Comput. Appl. 43, 42\u201355 (2014)","journal-title":"J. Netw. Comput. Appl."},{"key":"681_CR19","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1016\/j.future.2013.09.027","volume":"37","author":"Z Xu","year":"2014","unstructured":"Xu, Z., et al.: Mining temporal explicit and implicit semantic relations between entities using web search engines. Future Gener. Comput. Syst. 37, 468\u2013477 (2014)","journal-title":"Future Gener. Comput. Syst."},{"issue":"2","key":"681_CR20","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1007\/s10586-016-0571-z","volume":"19","author":"J Ye","year":"2016","unstructured":"Ye, J., Xu, Z., Ding, Y.: Secure outsourcing of modular exponentiations in cloud and cluster computing. Cluster Comput. 19(2), 811\u2013820 (2016)","journal-title":"Cluster Comput."},{"issue":"2","key":"681_CR21","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1002\/cpe.2999","volume":"26","author":"Z Xu","year":"2014","unstructured":"Xu, Z., Luo, X., Mei, L., Hu, C.: Measuring the semantic discrimination capability of association relations. Concurr. Comput. Pract. Exp. 26(2), 380\u2013395 (2014)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"681_CR22","doi-asserted-by":"crossref","unstructured":"Jamoussi, A.: An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. IEEE, Washington, DC (1997)","DOI":"10.1109\/HASE.1997.648046"},{"issue":"4","key":"681_CR23","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"RP Pargas","year":"1999","unstructured":"Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-data generation using genetic algorithms. Softw. Test. Verif. Reliab. 9(4), 263\u2013282 (1999)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"12","key":"681_CR24","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"CC Michael","year":"2001","unstructured":"Michael, C.C., McGraw, G., Schatz, M.A.: Generating software test data by evolution. IEEE Trans. Softw. Eng. 27(12), 1085\u20131110 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1\u20133","key":"681_CR25","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0166-218X(94)90211-9","volume":"49","author":"F Glover","year":"1994","unstructured":"Glover, F.: Tabu search for nonlinear and parametric optimization (with links to genetic algorithms). Discret. Appl. Math. 49(1\u20133), 231\u2013231 (1994)","journal-title":"Discret. Appl. Math."},{"key":"681_CR26","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1007\/s10586-015-0491-3","volume":"18","author":"M Janosek","year":"2015","unstructured":"Janosek, M., Volna, E., Kotyrba, M.: Knowledge discovery in dynamic data using neural networks. Cluster Comput. 18, 1411\u20131421 (2015)","journal-title":"Cluster Comput."},{"key":"681_CR27","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1007\/s10586-016-0575-8","volume":"19","author":"S Kianpisheh","year":"2016","unstructured":"Kianpisheh, S., Charkari, N.M., Kargahi, M.: Ant colony based constrained workflow scheduling for heterogeneous computing systems. Cluster Comput. 19, 1053\u20131070 (2016)","journal-title":"Cluster Comput."},{"key":"681_CR28","unstructured":"Bo, Y., Yemei, Q.: Tabu search and genetic algorithm for generating test data of class testing. In: International Conference on Information Engineering and Computer Science, 11\u201313 December 2009"},{"key":"681_CR29","unstructured":"Bo, Y., Yemei, Q., Feng-ye, L.: Tabu search and genetic algorithm for generating test data of class testing. In: International Conference on Information Engineering and Computer Science, 11\u201313 December 2009"},{"issue":"1","key":"681_CR30","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J Goguen","year":"2000","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. Theor. Comput. Sci. 245(1), 55\u2013101 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"681_CR31","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D Sannellla","year":"1987","unstructured":"Sannellla, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci. 34, 150\u2013178 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"681_CR32","doi-asserted-by":"crossref","unstructured":"Machado, P.: On oracles for interpreting test results against algebraic specifications. In: AMAST\u201998. LNCS 1548. Springer, Berlin, pp. 502\u2013518 (1998)","DOI":"10.1007\/3-540-49253-4_35"},{"issue":"2","key":"681_CR33","first-page":"97","volume":"15","author":"Y-S Ma","year":"2005","unstructured":"Ma, Y.-S., Offutt, J., Kwon, Y.R.: MuJava: an automated class mutation system. STVR 15(2), 97\u2013133 (2005)","journal-title":"STVR"},{"key":"681_CR34","volume-title":"Beginning Java EE 5 From Novice to Professional","author":"K Mukhar","year":"2005","unstructured":"Mukhar, K., Zelenak, C., Weaver, J.L., Crume, J.: Beginning Java EE 5 From Novice to Professional. Apress, Berkely (2005)"},{"key":"681_CR35","volume-title":"Mastering Enterprise Java Beans 3.0","author":"S Rima Patel","year":"2006","unstructured":"Rima Patel, S., Gerald, B., Micah, S.: Mastering Enterprise Java Beans 3.0. Wiley, New York (2006)"},{"key":"681_CR36","volume-title":"JBoss 4.0\u2014The Official Guide","author":"M Fleury","year":"2005","unstructured":"Fleury, M., Stark, S., Richards, N.: JBoss 4.0\u2014The Official Guide. Pearson Education, London (2005)"},{"key":"681_CR37","volume-title":"The J2EE Tutorial","author":"S Bodoff","year":"2004","unstructured":"Bodoff, S., Green, D., Haase, K., Stearns, B.: The J2EE Tutorial, 2nd edn. Pearson Education, Upper Saddle River (2004)","edition":"2"},{"key":"681_CR38","unstructured":"Kumar, B.V., Sangeetha, S., Subrahmanya, S.V.: J2EE Architecture. Apress, Berkeley (2003)"},{"key":"681_CR39","doi-asserted-by":"crossref","unstructured":"Henkel, J.: Discovering and debugging algebraic specifications for Java classes. PhD Thesis, University of Colorado at Boulder (2004)","DOI":"10.1007\/978-3-540-45070-2_19"},{"key":"681_CR40","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D Sannellla","year":"1987","unstructured":"Sannellla, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci. 34, 150\u2013178 (1987)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-016-0681-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-016-0681-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-016-0681-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T11:23:16Z","timestamp":1749727396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-016-0681-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,11]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["681"],"URL":"https:\/\/doi.org\/10.1007\/s10586-016-0681-7","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"value":"1386-7857","type":"print"},{"value":"1573-7543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,11]]}}}