{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:59:06Z","timestamp":1729645146202,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/aiccsa.2010.5587040","type":"proceedings-article","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T19:54:29Z","timestamp":1285790069000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["A component based testing technique for a MANET routing protocol"],"prefix":"10.1109","author":[{"given":"Fatiha","family":"Zaidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounir","family":"Lallali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2007.8"},{"key":"ref11","first-page":"495","article-title":"Nusmv: a new symbolic model verifier","author":"cimatti","year":"1999","journal-title":"Proc CAV'99"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270730"},{"journal-title":"Optimized Link State Routing Protocol (OLSR) - RFC3626 ietf ed INRIA","year":"2003","author":"clausen","key":"ref13"},{"article-title":"Concise Promela Reference","year":"1997","author":"gerth","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref16","article-title":"Hit-or-Jump: An algorithm for embedded testing with applications to IN services","author":"cavalli","year":"1999","journal-title":"Proceedings of FORTE\/PSTV'99"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/26.494307"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2007.10.031"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1163653.1163663"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2001.935445"},{"key":"ref6","article-title":"Generating regression tests via model checking","author":"xu","year":"2004","journal-title":"Proceedings of COMPSAC'04"},{"key":"ref5","article-title":"One step forward: Linking wireless self-organising networks validation techniques with formal testing approaches","volume":"41","author":"viana","year":"2009","journal-title":"ACM Survey"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"ref7","first-page":"608","author":"holzmann","year":"2004","journal-title":"The SPIN Model Checker Primer and Reference Manual"},{"journal-title":"IWTCS'98","year":"1998","author":"bourhfir","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988495"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/s10009-007-0044-z","article-title":"The software model checker blast: Applications to software engineering","author":"beyer","year":"2007","journal-title":"Int Journal on Software Tools for Technology Transfer"}],"event":{"name":"2010 IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2010,5,16]]},"location":"Hammamet, Tunisia","end":{"date-parts":[[2010,5,19]]}},"container-title":["ACS\/IEEE International Conference on Computer Systems and Applications - AICCSA 2010"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5570122\/5586930\/05587040.pdf?arnumber=5587040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T14:37:06Z","timestamp":1497883026000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5587040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2010.5587040","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}