{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:16:47Z","timestamp":1725495407374},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_22","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:56:57Z","timestamp":1194973017000},"page":"315-329","source":"Crossref","is-referenced-by-count":4,"title":["Hardware Testing Using a Communication Protocol Conformance Testing Tool"],"prefix":"10.1007","author":[{"given":"Hakim","family":"Kahlouche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Viho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Zendri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"22_CR1","unstructured":"IEEE (Institute of Electrical and Electronic Engineers). Standard VHDL Language Reference Manual. IEEE Standard 1076-1993, 1993."},{"key":"22_CR2","unstructured":"IEEE (Institute of Electrical and Electronic Engineers). Standard Verilog HDL Language Reference Manual. IEEE Draft Standard 1364, October 1995."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"M. Faci and L. Logrippo. Specifying Hardware in LOTOS. In D. Agnew, L. Claesen, and R. Camposano, editors, In the 11th International Conference on Computer Hardware Description Languages and their Applications, pages 305\u2013312, Ottawa, Ontario, Canada, April 1993.","DOI":"10.1016\/B978-0-444-81641-2.50028-9"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi, and F. Zulian. Specification and Verification of the PowerScale\u2122 Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In R. Gotzhein and J. Bredereke, editors, Proceedings of FORTE\/PSTV\u201996, Kaiserslautern, Germany, October 1996.","DOI":"10.1007\/978-0-387-35079-0_28"},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Conference on Computer-Aided Verification (CAV\u2019 96), New Brunswick, New Jersey, USA","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In A. Alur and T. Henzinger, editors, Conference on Computer-Aided Verification (CAV\u2019 96), New Brunswick, New Jersey, USA, LNCS 1102. Springer, July 1996."},{"key":"22_CR6","first-page":"123","volume":"29","author":"J.-C. Fernandez","year":"1997","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Journal of Science of Computer Programming-Special Issue on Industrial Relevant Applications of Formal Analysis Techniques, 29, p. 123\u2013146, 1997.","journal-title":"Journal of Science of Computer Programming-Special Issue on Industrial Relevant Applications of Formal Analysis Techniques"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. J\u00e9ron, A. Kerbrat, L. Mounier, and P. Morel. Verification and test generation for the SSCOP protocol. Journal of Science of Computer Programming-Special Issue on The Application of Formal Methods in Industrial Critical Systems, To appear, 1999.","DOI":"10.1016\/S0167-6423(99)00017-9"},{"key":"22_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054165","volume-title":"Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201998)","author":"H. Garavel","year":"1998","unstructured":"H. Garavel. OPEN\/C\u00c6SAR: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen, editor, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201998), LNCS vol. 1384, p. 68\u201384, March 1998."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"H. Kahlouche, C. Viho, and M. Zendri. An industrial experiment in automatic generation of executable test suites for a cache coherency protocol. In A. Petrenko, and N. Yevtushenko, editors, IFIP TC6 11 th International Workshop on Testing of Communicating Systems. Chapman &Hall, p. 211\u2013226, September 1998.","DOI":"10.1007\/978-0-387-35381-4_13"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:00:34Z","timestamp":1556953234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}