{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:28:52Z","timestamp":1725892132079},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341168"},{"type":"electronic","value":"9783642341175"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34117-5_1","type":"book-chapter","created":{"date-parts":[[2012,11,2]],"date-time":"2012-11-02T01:30:45Z","timestamp":1351819845000},"page":"1-18","source":"Crossref","is-referenced-by-count":7,"title":["Model-Based Conformance Testing for Android"],"prefix":"10.1007","author":[{"given":"Yiming","family":"Jing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gail-Joon","family":"Ahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongxin","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Android compatibility, \n                    \n                      http:\/\/source.android.com\/compatibility\/"},{"key":"1_CR2","unstructured":"Android sdk cocument, \n                    \n                      http:\/\/developer.android.com\/reference\/android\/package-summary.html\/"},{"key":"1_CR3","unstructured":"Android testing fundamentals, \n                    \n                      http:\/\/developer.android.com\/guide\/topics\/testing\/testing_android.html#Instrumentation"},{"key":"1_CR4","unstructured":"The elementtree xml api, \n                    \n                      http:\/\/docs.python.org\/library\/xml.etree.elementtree.html"},{"key":"1_CR5","unstructured":"Apple rises to the top as worldwide smartphone market grows 65.4% in the second quarter of 2011, idc finds (August 2011), \n                    \n                      http:\/\/www.idc.com\/getdoc.jsp?containerId=prUS22974611"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P.: A gui crawling-based technique for android mobile application testing. In: IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 252\u2013261. IEEE (2011)","DOI":"10.1109\/ICSTW.2011.77"},{"key":"1_CR7","unstructured":"Beizer, B.: Software testing techniques. Dreamtech Press (2002)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on java predicates. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 123\u2013133. ACM (2002)","DOI":"10.1145\/566171.566191"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Chaudhuri, A.: Language-based security on android. In: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, pp. 1\u20137. ACM (2009)","DOI":"10.1145\/1554339.1554341"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Chin, E., Felt, A.P., Greenwood, K., Wagner, D.: Analyzing inter-application communication in android. In: MobiSys, pp. 239\u2013252 (2011)","DOI":"10.1145\/1999995.2000018"},{"key":"1_CR11","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking (2000)"},{"issue":"8","key":"1_CR12","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1109\/TSE.2007.70707","volume":"33","author":"C. Constant","year":"2007","unstructured":"Constant, C., J\u00e9ron, T., Marchand, H., Rusu, V.: Integrating formal verification and conformance testing for reactive systems. IEEE Transactions on Software Engineering\u00a033(8), 558\u2013574 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 1999 International Conference on Software Engineering, pp. 285\u2013294. IEEE (1999)","DOI":"10.1145\/302405.302640"},{"key":"1_CR14","unstructured":"Enck, W., Gilbert, P., Chun, B.G., Cox, L.P., Jung, J., McDaniel, P., Sheth, A.N.: Taintdroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In: Proceedings of OSDI (2010)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Enck, W., Ongtang, M., McDaniel, P.: On lightweight mobile phone application certification. In: Proceedings of the 16th ACM Conference on Computer and Communications Security, pp. 235\u2013245. ACM (2009)","DOI":"10.1145\/1653662.1653691"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Felt, A., Chin, E., Hanna, S., Song, D., Wagner, D.: Android permissions demystified. Technical report (2011)","DOI":"10.1145\/2046707.2046779"},{"key":"1_CR17","unstructured":"Fewster, M., Graham, D.: Software test automation: effective use of test execution tools. ACM Press\/Addison-Wesley Publishing Co. (1999)"},{"issue":"5","key":"1_CR18","first-page":"27","volume":"4","author":"E. Gamma","year":"1999","unstructured":"Gamma, E., Beck, K.: Junit: A cook\u2019s tour. Java Report\u00a04(5), 27\u201338 (1999)","journal-title":"Java Report"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Hu, H., Ahn, G.: Enabling verification and conformance testing for access control model. In: Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, pp. 195\u2013204. ACM (2008)","DOI":"10.1145\/1377836.1377867"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"issue":"4","key":"1_CR21","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1023\/B:AUSE.0000038938.10589.b9","volume":"11","author":"S. Khurshid","year":"2004","unstructured":"Khurshid, S., Marinov, D.: Testera: Specification-based testing of java programs using sat. Automated Software Engineering\u00a011(4), 403\u2013434 (2004)","journal-title":"Automated Software Engineering"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/234173.234210","volume":"39","author":"D.D. Lewis","year":"1996","unstructured":"Lewis, D.D., Jones, K.S.: Natural language processing for information retrieval. Communications of the ACM\u00a039(1), 92\u2013101 (1996)","journal-title":"Communications of the ACM"},{"issue":"112-133","key":"1_CR23","first-page":"12","volume":"85","author":"D.G. Mitchell","year":"2005","unstructured":"Mitchell, D.G.: A sat solver primer. Bulletin of the European Association for Theoretical Computer Science\u00a085(112-133), 12 (2005)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"1_CR24","unstructured":"Robinson, J.A., Voronkov, A.: Handbook of automated reasoning, vol.\u00a01. North-Holland (2001)"}],"container-title":["Lecture Notes in Computer Science","Advances in Information and Computer Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34117-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:45:25Z","timestamp":1620132325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34117-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341168","9783642341175"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34117-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}