{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:37Z","timestamp":1725512257511},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708889"},{"type":"electronic","value":"9783540708896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70889-6_2","type":"book-chapter","created":{"date-parts":[[2007,5,10]],"date-time":"2007-05-10T14:04:16Z","timestamp":1178805856000},"page":"16-33","source":"Crossref","is-referenced-by-count":1,"title":["Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation"],"prefix":"10.1007","author":[{"given":"Amir","family":"Nahir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yossi","family":"Shiloach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avi","family":"Ziv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Writing Testbenches: Functional Verification of HDL Models","author":"J. Bergeron","year":"2000","unstructured":"Bergeron, J.: Writing Testbenches: Functional Verification of HDL Models. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"2_CR2","volume-title":"Comprehensive Functional Verification \u2013 The Complete Industry Cycle","author":"B. Wile","year":"2005","unstructured":"Wile, B., Goss, J.C., Roesner, W.: Comprehensive Functional Verification \u2013 The Complete Industry Cycle. Elsevier, Amsterdam (2005)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1147\/sj.413.0386","volume":"41","author":"E. Bin","year":"2002","unstructured":"Bin, E., et al.: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Systems Journal\u00a041(3), 386\u2013402 (2002)","journal-title":"IBM Systems Journal"},{"key":"2_CR4","volume-title":"Design verification with e","author":"S. Planitkar","year":"2003","unstructured":"Planitkar, S.: Design verification with e. Prentice-Hall, Englewood Cliffs (2003)"},{"key":"2_CR5","unstructured":"Haque, F., Michelson, J., Khan, K.: The Art of Verification with Vera. Verification Central (2001)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Nahir, A., et al.: Scheduling-based test-case generation for verification of multimedia SoCs. In: Proceedings of the 43rd Design Automation Conference (2006)","DOI":"10.1145\/1146909.1146999"},{"key":"2_CR7","volume-title":"Introduction to Operations Research","author":"F. Hillier","year":"2005","unstructured":"Hillier, F., Lieberman, G.: Introduction to Operations Research. McGraw-Hill Higher Education, New York (2005)"},{"key":"2_CR8","unstructured":"ISO\/IEC 13818-1: Generic coding of moving pictures and associated audio information (2000)"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-1-4684-2001-2_9","volume-title":"Complexity of Computer Computation","author":"R.M. Karp","year":"1972","unstructured":"Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W. (eds.) Complexity of Computer Computation, pp. 85\u2013103. Plenum, New York (1972)"},{"key":"2_CR10","volume-title":"Linear Programming and Extensions","author":"G. Dantzig","year":"1963","unstructured":"Dantzig, G.: Linear Programming and Extensions. Princeton University Press, Princeton (1963)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/1910129","volume":"28","author":"A.H. Land","year":"1960","unstructured":"Land, A.H., Doig, A.G.: An automatic method for solving discrete programming problems. Econometrica\u00a028, 497\u2013520 (1960)","journal-title":"Econometrica"},{"issue":"5","key":"2_CR12","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1287\/mnsc.26.5.495","volume":"26","author":"H. Crowder","year":"1980","unstructured":"Crowder, H., Padberg, M.W.: Solving large-scale symmetric travelling salesman problems to optimality. Management Science\u00a026(5), 495\u2013509 (1980)","journal-title":"Management Science"},{"issue":"26","key":"2_CR13","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"11","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a011(26), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/176584.176585","volume":"41","author":"P.B. Ladkin","year":"1994","unstructured":"Ladkin, P.B., Maddux, R.D.: On binary constraint problems. Journal of the ACM\u00a041, 435\u2013469 (1994)","journal-title":"Journal of the ACM"},{"key":"2_CR15","unstructured":"Vilain, M., Kautz, H.: Constraint propagation algorithms for temporal reasoning. In: Proceedings of the Fourth National Conference on Artificial Intelligence, pp. 377\u2013382 (1986)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/HLDVT.2002.1224444","volume-title":"IEEE International High Level Design Validation and Test Workshop","author":"R. Emek","year":"2002","unstructured":"Emek, R., et al.: X-Gen: A random test-case generator for systems and SoCs. In: IEEE International High Level Design Validation and Test Workshop, pp. 145\u2013150. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MDT.2004.1277900","volume":"26","author":"A. Adir","year":"2004","unstructured":"Adir, A., et al.: Genesys-Pro: Recent advances in test-program generation for functional processor verification. IEEE Design & Test of Computers\u00a026(2), 84\u201393 (2004)","journal-title":"IEEE Design & Test of Computers"},{"key":"2_CR18","unstructured":"ILOG: Ilog cplex - high performance software for mathematical programming and optimization, \n                    \n                      http:\/\/www.ilog.fr\/products\/cplex\/index.cfm"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70889-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:11Z","timestamp":1605762671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70889-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708889","9783540708896"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70889-6_2","relation":{},"subject":[]}}