{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:53:00Z","timestamp":1725889980497},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021374"},{"type":"electronic","value":"9783642021381"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02138-1_19","type":"book-chapter","created":{"date-parts":[[2009,6,13]],"date-time":"2009-06-13T05:43:14Z","timestamp":1244871794000},"page":"243-248","source":"Crossref","is-referenced-by-count":15,"title":["Conformance Testing of Network Simulators Based on Metamorphic Testing Technique"],"prefix":"10.1007","author":[{"given":"Tsong Yueh","family":"Chen","sequence":"first","affiliation":[]},{"given":"Fei-Ching","family":"Kuo","sequence":"additional","affiliation":[]},{"given":"Huai","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Shengqiong","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proc. of ICSE 2005, pp. 402\u2013411 (2005)","DOI":"10.1145\/1062455.1062530"},{"issue":"2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/122419.122425","volume":"21","author":"T.P. Blumer","year":"1991","unstructured":"Blumer, T.P., Sidhu, D., Chung, A.: Experience with formal methods in protocol development. ACM Comput. Commun. Rev.\u00a021(2), 81\u2013101 (1991)","journal-title":"ACM Comput. Commun. Rev."},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1186\/1471-2105-10-24","volume":"10","author":"T.Y. Chen","year":"2009","unstructured":"Chen, T.Y., Ho, J.W.H., Liu, H., Xie, X.: An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinform.\u00a010, 24 (2009)","journal-title":"BMC Bioinform."},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0950-5849(02)00129-5","volume":"45","author":"T.Y. Chen","year":"2003","unstructured":"Chen, T.Y., Tse, T.H., Zhou, Z.Q.: Fault-based testing without the need of oracles. Inform. Softw. Tech.\u00a045(1), 1\u20139 (2003)","journal-title":"Inform. Softw. Tech."},{"key":"19_CR5","unstructured":"Concer, N.: Ad-hoc network simulator (2005), http:\/\/www.omnetpp.org\/filemgmt\/singlefile.php?lid=87"},{"key":"19_CR6","unstructured":"ISO. Information technology - open systems interconnection - conformance testing methodology and framework. ISO\/IEC 9646"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0164-1212(01)00132-7","volume":"62","author":"R. Lai","year":"2002","unstructured":"Lai, R.: A survey of communication protocol testing. Journ. Syst. Softw.\u00a062(1), 21\u201346 (2002)","journal-title":"Journ. Syst. Softw."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Machado, P.D.L., Andrade, W.L.: The oracle problem for testing against quantified properties. In: Proc. of QSIC 2007, pp. 415\u2013418 (2007)","DOI":"10.1109\/QSIC.2007.4385529"},{"key":"19_CR9","unstructured":"Murphy, C., Kaiser, G., Hu, L., Wu, L.: Properties of machine learning applications for use in metamorphic testing. In: Proc. of SEKE 2008, pp. 867\u2013872 (2008)"},{"key":"19_CR10","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J.: The Art of Software Testing. John Wiley and Sons, Chichester (2004)"},{"key":"19_CR11","unstructured":"OMNeT Community. OMNeT++ system, http:\/\/www.omnetpp.org"},{"issue":"5","key":"19_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/274946.274960","volume":"41","author":"A.K. Onoma","year":"1998","unstructured":"Onoma, A.K., Tsai, W.-T., Poonawala, M.H., Suganuma, H.: Regression testing in an industrial environment. Commun. ACM\u00a041(5), 81\u201386 (1998)","journal-title":"Commun. ACM"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","first-page":"1110","volume-title":"Selected Areas in Cryptography","author":"A.M. Paradkar","year":"2004","unstructured":"Paradkar, A.M.: Towards model-based generation of self-priming and self-checking conformance tests for interactive systems. In: Matsui, M., Zuccherato, R.J. (eds.) SAC 2003. LNCS, vol.\u00a03006, pp. 1110\u20131117. Springer, Heidelberg (2004)"},{"key":"19_CR14","unstructured":"Perkins, C., Belding-Royer, E., Das, S.: Ad hoc on-demand distance vector routing. RFC3561 (2008)"},{"issue":"10","key":"19_CR15","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"G. Rothermel","year":"2001","unstructured":"Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing test cases for regression testing. IEEE Trans. Softw. Eng.\u00a027(10), 929\u2013948 (2001)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02138-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:06:02Z","timestamp":1558375562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02138-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021374","9783642021381"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02138-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}