{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T21:10:42Z","timestamp":1648674642893},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1007\/bf02951883","type":"journal-article","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T15:49:03Z","timestamp":1221320943000},"page":"614-618","source":"Crossref","is-referenced-by-count":1,"title":["An approach to concurrent TTCN test generation"],"prefix":"10.1007","volume":"14","author":[{"given":"Jun","family":"Bi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianping","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02951883_CR1","doi-asserted-by":"crossref","unstructured":"Farooqui K, Logrippo L, de Meer Jan. The ISO model for open distributed processing.Computer Networks & ISDN Systems, 1995, 27: special issue.","DOI":"10.1016\/0169-7552(95)00087-N"},{"key":"BF02951883_CR2","doi-asserted-by":"crossref","unstructured":"Loureiro A A Fet al. Checking unstable properties in distributed testing of communication protocols. In9th International Workshop on Testing of Communicating Systems, IFIP, 1996.","DOI":"10.1007\/978-0-387-35062-2_12"},{"key":"BF02951883_CR3","doi-asserted-by":"crossref","unstructured":"Kim M,et al. An approach for testing asynchronous communicating systems. In9th International Workshop on Testing of Communicating Systems, IFIP, 1996.","DOI":"10.1007\/978-0-387-35062-2_11"},{"key":"BF02951883_CR4","doi-asserted-by":"crossref","unstructured":"Wong A C Yet al. A framework for distributed object-oriented testing. In10th International Conference on Formal Description Techniques for Distributed Systems, IFIP, 1997.","DOI":"10.1007\/978-0-387-35271-8_3"},{"key":"BF02951883_CR5","unstructured":"Wu J, Chanson S T. Testing sequence derivation based on external behavior expression. In2nd International Workshop on Protocol Test Systems, IFIP, 1989."},{"key":"BF02951883_CR6","unstructured":"Wu J, Chanson S T. Translation from LOTOS and Estelle specifications to extended transition system and its verification. In2nd International Conference on Formal Description Techniques for Distributed Systems, IFIP, 1989."},{"key":"BF02951883_CR7","doi-asserted-by":"crossref","unstructured":"Derrick Jet al. Supporting ODP\u2014Translating LOTOS to Z. In1st International Workshop on Formal Methods for Open Object-Based Distributed Systems, IFIP, 1996.","DOI":"10.1007\/978-0-387-35082-0_29"},{"key":"BF02951883_CR8","unstructured":"Bi J, Wu J, Chen X. Towards the formal model and testing of distributed systems. In10th International Conference on Parallel and Distributed Systems, IASTED, 1998."},{"key":"BF02951883_CR9","unstructured":"Wang J, Hao R, Wu J. TUGEN: An automatic test suite generator integrating data-flow and control-flow methods. InInternational Conference on Communications, IEEE, 1998."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02951883.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02951883\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02951883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:35:43Z","timestamp":1558456543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02951883"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":9,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["BF02951883"],"URL":"https:\/\/doi.org\/10.1007\/bf02951883","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}