{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:11Z","timestamp":1725511991853},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_7","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T12:40:01Z","timestamp":1182861601000},"page":"100-115","source":"Crossref","is-referenced-by-count":2,"title":["Test Coverage for Loose Timing Annotations"],"prefix":"10.1007","author":[{"given":"C.","family":"Helmstetter","sequence":"first","affiliation":[]},{"given":"F.","family":"Maraninchi","sequence":"additional","affiliation":[]},{"given":"L.","family":"Maillet-Contoz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"FMCAD","author":"C. Helmstetter","year":"2006","unstructured":"Helmstetter, C., Maraninchi, F., Maillet-Contoz, L., Moy, M.: Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. In: FMCAD, Nov. 2006, Springer, Heidelberg (2006)"},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/b137175","volume-title":"Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems","author":"F. Ghenassia","year":"2005","unstructured":"Ghenassia, F.: Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems. Springer, Heidelberg (2005)"},{"key":"7_CR3","unstructured":"Rose, J., Swan, S.: SCV Randomization (2003), http:\/\/www.testbuilder.net\/reports\/scv_randomization.pdf"},{"key":"7_CR4","first-page":"413","volume-title":"DAC \u201901: Proceedings of the 38th conference on Design automation","author":"T. Kuhn","year":"2001","unstructured":"Kuhn, T., Oppold, T., Winterholer, M., Rosenstiel, W., Edwards, M., Kashai, Y.: A framework for object oriented hardware specification, verification, and synthesis. In: DAC \u201901: Proceedings of the 38th conference on Design automation, Las Vegas, Nevada, United States, pp. 413\u2013418. ACM Press, New York (2001), doi:10.1145\/378239.378537"},{"key":"7_CR5","first-page":"110","volume-title":"Symposium on Principles of programming languages (POPL)","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Symposium on Principles of programming languages (POPL), Long Beach, California, USA, pp. 110\u2013121. ACM Press, New York (2005), doi:10.1145\/1040305.1040315"},{"key":"7_CR6","unstructured":"Open SystemC Initiative: SystemC v2.0.1 Language Reference Manual (2003), http:\/\/www.systemc.org\/"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","first-page":"279","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"A. Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. LNCS, vol.\u00a0255, pp. 279\u2013324. Springer, Heidelberg (1987)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/978-3-540-27864-1_23","volume-title":"Static Analysis","author":"R. Claris\u00f3","year":"2004","unstructured":"Claris\u00f3, R., Cortadella, J.: The octahedron abstract domain. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 312\u2013327. Springer, Heidelberg (2004)"},{"key":"7_CR9","unstructured":"Min\u00e9, A.: The octagon abstract domain. In: WCRE, p. 310 (2001), http:\/\/computer.org\/proceedings\/wcre\/1303\/13030310abs.htm"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Moy, M., Maraninchi, F., Maillet-Contoz, L.: Pinapa (2005), http:\/\/greensocs.sourceforge.net\/pinapa\/","DOI":"10.1145\/1086228.1086286"},{"key":"7_CR11","unstructured":"Berkelaar, M., et al.: Lp_solve (1996), http:\/\/www.cs.sunysb.edu\/~algorith\/implement\/lpsolve\/implement.shtml"},{"key":"7_CR12","unstructured":"K\u00fcnzle, L.A., Valette, R., Pradin-Ch\u00e9zalviel, B.: Temporal reasoning in fuzzy time petri nets. Technical Report 98073, LAAS Toulouse (1998)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/3-540-45657-0_15","volume-title":"Computer Aided Verification","author":"T. Yoneda","year":"2002","unstructured":"Yoneda, T., Kitai, T., Myers, C.J.: Automatic derivation of timing constraints by failure analysis. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 195\u2013208. Springer, Heidelberg (2002)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Moy, M., Maraninchi, F., Maillet-Contoz, L.: LusSy: A toolbox for the analysis of systems-on-a-chip at the transactional level. In: International Conference on Application of Concurrency to System Design, June (2005)","DOI":"10.1109\/ACSD.2005.23"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, Springer, Heidelberg (1998)"},{"key":"7_CR16","unstructured":"Uppsala and Aalborg Universities: Uppaal (1994-2006), http:\/\/www.uppaal.com\/"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T20:34:45Z","timestamp":1556570085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}