{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T13:29:55Z","timestamp":1648646995530},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computational Intelligence Systems"],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1080\/18756891.2010.9727721","type":"journal-article","created":{"date-parts":[[2013,5,2]],"date-time":"2013-05-02T20:10:13Z","timestamp":1367525413000},"page":"542-552","source":"Crossref","is-referenced-by-count":5,"title":["Behavior-aware Trustworthiness Study of Networked Software"],"prefix":"10.1007","volume":"3","author":[{"given":"Xianwen","family":"Fang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changjun","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoqin","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"CIT0001","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1007\/s11430-006-1156-0","volume":"36","author":"Wang H.","year":"2006","journal-title":"Chinese Science (E series)"},{"key":"CIT0002","doi-asserted-by":"crossref","DOI":"10.21236\/AD0772806","volume-title":"Computer security technology planning study","author":"Anderson J. P.","year":"1972"},{"key":"CIT0003","volume-title":"High Confidence Software and Systems Research Needs","year":"2001"},{"key":"CIT0004","volume-title":"TCG TNC Architecture for Interoperability Version 1.3","year":"2008"},{"key":"CIT0005","volume-title":"Microsoft Corporation","author":"Bill G.","year":"2002"},{"issue":"5","key":"CIT0006","first-page":"751","volume":"28","author":"Lin C.","year":"2005","journal-title":"Chinese Journal of computer"},{"issue":"3","key":"CIT0007","first-page":"145","volume":"22","author":"Liu K.","year":"2008","journal-title":"Chinese Science Foundation"},{"issue":"5","key":"CIT0008","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.3724\/SP.J.1001.2008.01099","volume":"19","author":"Zhou L.","year":"2008","journal-title":"Journal of Software"},{"issue":"5","key":"CIT0009","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"Holzmann G. J.","year":"1997","journal-title":"IEEE Trans on Software Engineering"},{"issue":"10","key":"CIT0010","first-page":"1037","volume":"36","author":"Lv J.","year":"2006","journal-title":"Chinese Science (E series)"},{"key":"CIT0011","unstructured":"Yang, J., Evans, D. and Bhardwaj, D. Perracotta: Mining temporal API rules from imperfect traces. Proc. 28th Int'l Conf. Software Eng. pp.282\u2013291."},{"key":"CIT0012","doi-asserted-by":"crossref","volume-title":"Synthesis of interface specifications for Java classes","author":"Alur R.","DOI":"10.1145\/1040305.1040314"},{"issue":"1","key":"CIT0013","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1080\/18756891.2010.9727682","volume":"3","author":"Doreswamy H.","year":"2010","journal-title":"International Journal of Computational Intelligence Systems"},{"issue":"5","key":"CIT0014","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TSE.2008.63","volume":"34","author":"Sharon S.","year":"2008","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"CIT0015","first-page":"9:1","volume":"17","author":"Stephen J. F.","year":"2008","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"4","key":"CIT0016","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1080\/18756891.2009.9727665","volume":"2","author":"Georg P.","year":"2009","journal-title":"International Journal of Computational Intelligence Systems"},{"issue":"6","key":"CIT0017","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/TSMCA.2008.2003535","volume":"38","author":"Piroddi L.","year":"2008","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans"},{"issue":"2","key":"CIT0018","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/JSYST.2008.923193","volume":"2","author":"Aybar A.","year":"2008","journal-title":"IEEE Systems Journal"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"CIT0020","volume-title":"Behavior theory and its application of Petri net","author":"Jiang C.","year":"2003"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"issue":"3","key":"CIT0022","first-page":"13:1","volume":"8","author":"Wil M. P.","year":"2008","journal-title":"ACM Transactions on Internet Technology"},{"key":"CIT0023","unstructured":"Davide, L. Automatic generation of software behavioural models. proc.30th International Conference on Software Engineering. pp.501\u2013510. IEEE Press."},{"issue":"2","key":"CIT0024","first-page":"175","volume":"32","author":"Corina S. P.","year":"2008","journal-title":"Form Methods System Design"}],"container-title":["International Journal of Computational Intelligence Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/18756891.2010.9727721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T11:12:54Z","timestamp":1639134774000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/18756891.2010.9727721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["10.1080\/18756891.2010.9727721"],"URL":"https:\/\/doi.org\/10.1080\/18756891.2010.9727721","relation":{},"ISSN":["1875-6891","1875-6883"],"issn-type":[{"value":"1875-6891","type":"print"},{"value":"1875-6883","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10]]}}}