{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:29:16Z","timestamp":1725701356392},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333071"},{"type":"electronic","value":"9783642333088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33308-8_21","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T21:33:52Z","timestamp":1346535232000},"page":"255-266","source":"Crossref","is-referenced-by-count":0,"title":["Distributed System Automated Testing Design"],"prefix":"10.1007","author":[{"given":"Robertas","family":"Jasaitis","sequence":"first","affiliation":[]},{"given":"Eduardas","family":"Bareisa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Jasaitis, R., Barei\u0161a, E.: Distributed system model checking design. In: Information Technologies 2011: Proceedings of the 17th International Conference on Information and Software Technologies, IT 2011, Kaunas, Lithuania, April 27-29 (2011)"},{"key":"21_CR2","unstructured":"Le, A.T.: Current Problems and Tools Support for Testing Distributed Systems. A dissertation submitted for the degree of Bachelor of Applied Science with Honours in the Department of Information Science at the University of Otago, Dunedin, New Zealand (2006)"},{"key":"21_CR3","unstructured":"Oracle. Java 2 Platform, Enterprise Edition (J2EE) Overview, http:\/\/java.sun.com\/j2ee\/overview.html"},{"key":"21_CR4","unstructured":"Oracle. Object-Oriented Programming Concepts, http:\/\/docs.oracle.com\/javase\/tutorial\/java\/concepts\/object.html"},{"key":"21_CR5","unstructured":"Object Management Group (OMG). UML Specification, Version 2.0 (2010)"},{"key":"21_CR6","unstructured":"Object Management Group (OMG). MOF 2.0\/XML Metadata Interchange Mapping Specification, Version 2.1.1 (2007)"},{"issue":"5","key":"21_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MITP.2004.67","volume":"6","author":"A.M. Brian","year":"2004","unstructured":"Brian, A.M., Jeffrey, M.V.: Programming with Assertions: A Prospectus. IT Professional\u00a06(5), 53\u201359 (2004)","journal-title":"IT Professional"},{"key":"21_CR8","unstructured":"Nasa. Java PathFinder Wiki, http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/wiki"},{"key":"21_CR9","unstructured":"Oracle. J2SE 5.0, http:\/\/www.oracle.com\/technetwork\/java\/javase\/index-jsp-135232.html"},{"key":"21_CR10","unstructured":"Oracle. JavaBeans Spec, http:\/\/www.oracle.com\/technetwork\/java\/javase\/documentation\/spec-136004.html"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Visser, W., Pasareanu, C.S., Khurshid, S.: Test Input Generation with Java PathFinder. In: ISSTA 2004, Boston, Massachusetts, USA, July 11-14 (2004)","DOI":"10.1145\/1007512.1007526"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Sun, J., Jiang, S.: An Approach to Automatic Generating Test Data for Multi-path Coverage by Genetic Algorithm. In: 2010 Sixth International Conference on Natural Computation (ICNC 2010), China (2010)","DOI":"10.1109\/ICNC.2010.5583778"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Tan, L., Yang, Z., Xie, J.: OCL Constraints Automatic Generation for UML Class Diagram. 978-1-4244-6055-7\/10\/$26.00, 2010 IEEE (2010)","DOI":"10.1109\/ICSESS.2010.5552361"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chlipala, A., Henzinger, T., Jhala, R., Majumdar, R.: Generating Tests from Counterexamples. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), Scotland, UK, pp. 326\u2013335 (May 2004)","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Artho, C., Leungwattanakit, W., Hagiya, M.: Cache-based Model Checking of Networked Applications: From Linear to Branching Time. In: ASE 2009, Auckland, New Zealand (November 2009)","DOI":"10.1109\/ASE.2009.43"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Chen, Y., Paul, R.: Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. In: 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), Sedona (February 2005)","DOI":"10.1109\/WORDS.2005.51"},{"key":"21_CR17","unstructured":"Xiong, P., Probert, R.L., Stepien, B.: An Efficient Formal Testing Approach for Web Service with TTCN-3, www.site.uottawa.ca\/~bernard"},{"key":"21_CR18","unstructured":"Brucker, A.D., Wolff, B.: Testing Distributed Component Based Systems Using UML\/OCL, citeseer.ist.psu.edu\/brucker01testing.html"},{"key":"21_CR19","unstructured":"Endo, A.T., da Sima, A., Souza, S.: Web Services Composition Testing: a Strategy Based on Structural Testing of Parallel Programs. IEEE (2008), doi:10.1109\/TAIC-.PART.2008.9"},{"key":"21_CR20","unstructured":"Object Management Group (OMG). Object Constraint Language Specification, Version 2.2 (2010)"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33308-8_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:11:58Z","timestamp":1606187518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33308-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333071","9783642333088"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33308-8_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}