{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:13:35Z","timestamp":1725614015688},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642238802"},{"type":"electronic","value":"9783642238819"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23881-9_18","type":"book-chapter","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T00:51:47Z","timestamp":1316825507000},"page":"137-145","source":"Crossref","is-referenced-by-count":1,"title":["Test Case Automatic Generation Research Based on AADL Behavior Annex"],"prefix":"10.1007","author":[{"given":"Yu-Lan","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong-Bing","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang-Zhao","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Liu, Y.-J., Kang, J.-C., Lu, W.-F.: Overview of Model-Driven Architecture. Computer Science\u00a033(3) (2006) (in Chinese)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K.: Automated flaw finding using simulated annealing. In: International Symposium on Software Testing and Analysis, vol.\u00a030(1), pp. 73\u201381 (1998)","DOI":"10.1145\/271771.271792"},{"issue":"5","key":"18_CR3","doi-asserted-by":"publisher","first-page":"899","DOI":"10.3724\/SP.J.1001.2010.03700","volume":"21","author":"Z.-B. Yang","year":"2010","unstructured":"Yang, Z.-B., Pi, L., Hu, K., Gu, Z.-H., Ma, D.-F.: AADL: An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems. Journal of Software\u00a021(5), 899\u2013915 (2010)","journal-title":"Journal of Software"},{"key":"18_CR4","unstructured":"Eric Wong, W., Restrepo, A., Qi, Y., Choi, B.: An EFSM-based Test Generation for Validation of SDL Specifications. In: AST 2008 (May 11, 2008)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1016\/j.infsof.2008.11.001","volume":"51","author":"R. Blanco","year":"2009","unstructured":"Blanco, R., Tuya, J., Adenso-D\u00edaz, B.: Automated test data generation using a scatter search approach. Information and Software Technology\u00a051, 708\u2013720 (2009)","journal-title":"Information and Software Technology"},{"key":"18_CR6","unstructured":"Zhang, Y., Qian, L.-Q., Wang, Y.-F.: Automatic Testing Data Generation in the Testing Based on EFSM. Chinese Journal of Computers (2004) (in Chinese)"},{"issue":"8","key":"18_CR7","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Transactions on Software Engineering\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR8","first-page":"137","volume":"III","author":"M. Alshraideh","year":"2005","unstructured":"Alshraideh, M., Bottaci, L.: Automatic Software Test Data Generation For String Data Using Heuristic Search with Domain Specific Search Operators. UK Software Testing Research\u00a0III, 137\u2013148 (2005)","journal-title":"UK Software Testing Research"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1016\/S0140-3664(98)00172-8","volume":"21","author":"C.-M. Huang","year":"1998","unstructured":"Huang, C.-M., Chiang, M.-S., Jang, M.-Y.: UIOE: a protocol test sequence generation method using the transition executability analysis (TEA). Computer Communications\u00a021, 1462\u20131475 (1998)","journal-title":"Computer Communications"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Duale, A.Y., Umit Uyar, M.: A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. IEEE Transactions On Computers\u00a053(5) (May 2004)","DOI":"10.1109\/TC.2004.1275300"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23881-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T15:49:58Z","timestamp":1554652198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23881-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642238802","9783642238819"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23881-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}