{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:20:35Z","timestamp":1759962035213,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245794"},{"type":"electronic","value":"9783642245800"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24580-0_11","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:21:42Z","timestamp":1320214902000},"page":"146-161","source":"Crossref","is-referenced-by-count":24,"title":["A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain"],"prefix":"10.1007","author":[{"given":"Jan","family":"Peleska","sequence":"first","affiliation":[]},{"given":"Artur","family":"Honisch","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Lapschies","sequence":"additional","affiliation":[]},{"given":"Helge","family":"L\u00f6ding","sequence":"additional","affiliation":[]},{"given":"Hermann","family":"Schmid","sequence":"additional","affiliation":[]},{"given":"Peer","family":"Smuda","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Vorobev","sequence":"additional","affiliation":[]},{"given":"Cornelia","family":"Zahlten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-16573-3_8","volume-title":"Testing Software and Systems","author":"A. Arcuri","year":"2010","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-box system testing of real-time embedded systems using random and search-based testing. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol.\u00a06435, pp. 95\u2013110. Springer, Heidelberg (2010)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Brummayer, R.: Efficient SMT Solving for Bit-Vectors and the Extensional Theory of Arrays. Ph.D. thesis, Johannes Kepler University Linz, Austria (November 2009)","DOI":"10.1007\/978-3-642-00768-2_16"},{"key":"11_CR3","unstructured":"Brummayer, R., Biere, A.: Local two-level and-inverter graph minimization without blowup. In: Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2006 (2006)"},{"key":"11_CR4","volume-title":"Proc. 6th Intl. Workshop on Satisfiability Modulo Theories (SMT 2008)","author":"R. Brummayer","year":"2008","unstructured":"Brummayer, R., Biere, A.: Lemmas on Demand for the Extensional Theory of Arrays. In: Proc. 6th Intl. Workshop on Satisfiability Modulo Theories (SMT 2008). ACM, New York (2008)"},{"key":"11_CR5","unstructured":"Conformiq Tool Suite (2010), \n                  \n                    http:\/\/www.conformiq.com"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/ICST.2009.38","volume-title":"Proc. 2nd International Conference on Software Testing, Verification and Validation (ICST 2009)","author":"A. David","year":"2009","unstructured":"David, A., Larsen, K.G., Li, S., Nielsen, B.: Timed testing under partial observability. In: Proc. 2nd International Conference on Software Testing, Verification and Validation (ICST 2009), pp. 61\u201370. IEEE Computer Society, Los Alamitos (2009)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-540-72788-0_26","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2007","author":"N. E\u00e9n","year":"2007","unstructured":"E\u00e9n, N., Mishchenko, A., S\u00f6rensson, N.: Applying logic synthesis for speeding up SAT. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol.\u00a04501, pp. 272\u2013286. Springer, Heidelberg (2007)"},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"11_CR9","unstructured":"Harrold, M.J., Rothermel, G.: Siemens programs, hr variants, \n                  \n                    http:\/\/ww.cc.gatech.edu\/aristotle\/Tools\/subjects"},{"key":"11_CR10","unstructured":"Jeppu: A benchmark problem for model based control systems tests - 001, \n                  \n                    http:\/\/www.mathworks.com\/matlabcentral\/fileexchange\/28952-a-benchmark-problem-for-model-based-control-system-tests-001"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-642-02658-4_53","volume-title":"Computer Aided Verification","author":"S. Jha","year":"2009","unstructured":"Jha, S., Limaye, R., Seshia, S.: Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 668\u2013674. Springer, Heidelberg (2009), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-642-02658-4_53"},{"key":"11_CR12","unstructured":"Jung, J., S\u00fclflow, A., Wille, R., Drechsler, R.: SWORD v1.0. Tech. rep. (2009); SMTCOMP 2009: System Description"},{"key":"11_CR13","volume-title":"Proc. 3rd International Conference on Software Testing, Verification and Validation (ICST 2010)","author":"H. L\u00f6ding","year":"2010","unstructured":"L\u00f6ding, H., Peleska, J.: Timed moore automata: test data generation and model checking. In: Proc. 3rd International Conference on Software Testing, Verification and Validation (ICST 2010). IEEE Computer Society, Los Alamitos (2010)"},{"key":"11_CR14","unstructured":"Lu, S., Li, Z., Quin, F., Tan, L., Zhou, P., Zhou, Y.: Bugbench: Benchmarks for evaluating bug detection tools. In: Workshop on the Evaluation of Software Defect Detection Tools (2005)"},{"key":"11_CR15","unstructured":"Memon, A.M.: \n                  \n                    http:\/\/www.cs.umd.edu\/~atif\/newsite\/benchmarks.htm"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10009-002-0094-1","volume":"5","author":"B. Nielsen","year":"2003","unstructured":"Nielsen, B., Skou, A.: Automated test generation from timed automata. International Journal on Software Tools for Technology Transfer (STTT)\u00a05, 59\u201377 (2003)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"11_CR17","unstructured":"Peleska, J., Honisch, A., Lapschies, F., L\u00f6ding, H., Schmid, H., Smuda, P., Vorobev, E., Zahlten, C.: Embedded systems testing benchmark (2011), \n                  \n                    http:\/\/www.mbt-benchmarks.org"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-20398-5_22","volume-title":"NASA Formal Methods","author":"J. Peleska","year":"2011","unstructured":"Peleska, J., Vorobev, E., Lapschies, F.: Automated test case generation with SMT-solving and abstract interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 298\u2013312. Springer, Heidelberg (2011)"},{"key":"11_CR19","unstructured":"Peleska, J., Vorobev, E., Lapschies, F., Zahlten, C.: Automated model-based testing with RT-Tester. Tech. rep. (2011), \n                  \n                    http:\/\/www.informatik.uni-bremen.de\/agbs\/testingbenchmarks\/turn_indicator\/tool\/rtt-mbt.pdf"},{"key":"11_CR20","unstructured":"RTCA, SC-167: Software Considerations in Airborne Systems and Equipment Certification, RTCA\/DO-178B. RTCA (1992)"},{"issue":"1-2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J.G. Springintveld","year":"2001","unstructured":"Springintveld, J.G., Vaandrager, F.W., D\u2019Argenio, P.R.: Testing timed automata. Theoretical Computer Science\u00a0254(1-2), 225\u2013257 (2001)","journal-title":"Theoretical Computer Science"},{"key":"11_CR22","unstructured":"European Committee for\u00a0Electrotechnical Standardization: EN 50128 \u2013 Railway applications \u2013 Communications, signalling and processing systems \u2013 Software for railway control and protection systems. CENELEC, Brussels (2001)"},{"key":"11_CR23","unstructured":"Systems, S.: Enterprise architect 8.0 (2011), \n                  \n                    http:\/\/www.sparxsystems.de"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines. Doctoral thesis, Humboldt-University Berlin, Germany (2010)","DOI":"10.1201\/b11321-5"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24580-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:23:49Z","timestamp":1558297429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}