{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:50:13Z","timestamp":1725666613121},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/iccomm.2016.7528332","type":"proceedings-article","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T18:27:58Z","timestamp":1470421678000},"page":"177-180","source":"Crossref","is-referenced-by-count":1,"title":["Using gamma formalism for model-based testing for the routing protocols for mobile ad hoc networks"],"prefix":"10.1109","author":[{"given":"Diana-Getuta","family":"Oancea","sequence":"first","affiliation":[]},{"given":"Mihai Lica","family":"Pura","sequence":"additional","affiliation":[]},{"given":"Luciana","family":"Morogan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INMIC.2001.995315"},{"journal-title":"A new computational model and its discipline of programming Technical Report RR0566 INRIA","year":"1986","author":"ban\u00e2tre","key":"ref3"},{"key":"ref6","article-title":"Sigma Decision Diagrams, TERMGRAPH 2009","author":"buchs","year":"2009","journal-title":"Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs"},{"journal-title":"Simulator based on gamma calculus for mobile ad hoc networks using OLSR protocol","year":"0","key":"ref5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07734-5_20"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.07.019"},{"journal-title":"A taxonomy of model-based testing approaches Software Testing Verification and Reliability Wiley InterScience","year":"2010","author":"utting","key":"ref1"}],"event":{"name":"2016 International Conference on Communications (COMM)","start":{"date-parts":[[2016,6,9]]},"location":"Bucharest, Romania","end":{"date-parts":[[2016,6,10]]}},"container-title":["2016 International Conference on Communications (COMM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7522608\/7528195\/07528332.pdf?arnumber=7528332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,26]],"date-time":"2016-09-26T01:51:13Z","timestamp":1474854673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7528332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/iccomm.2016.7528332","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}