{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T07:46:41Z","timestamp":1772264801327,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,6]]},"DOI":"10.1145\/1188895.1188902","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"14-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Test automation for hybrid systems"],"prefix":"10.1145","author":[{"given":"Bahareh","family":"Badban","sequence":"first","affiliation":[{"name":"C. v. Ossietzky Universit\u00e4t, Oldenburg, Germany"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[{"name":"C. v. Ossietzky Universit\u00e4t, Oldenburg, Germany"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[{"name":"University of Bremen, Germany"}]},{"given":"Tino","family":"Teige","sequence":"additional","affiliation":[{"name":"C. v. Ossietzky Universit\u00e4t, Oldenburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2006,11,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952378"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0211-z"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240334"},{"key":"e_1_3_2_1_6_1","volume-title":"Interval Constraint Solving Using Propositional SAT Solving Techniques. CP 2006 Workshop on the Integration of SAT and CP Techniques","author":"Fr\u00e4nzle M.","year":"2006","unstructured":"M. Fr\u00e4nzle , C. Herde , S. Ratschan , T. Schubert , and T. Teige . Interval Constraint Solving Using Propositional SAT Solving Techniques. CP 2006 Workshop on the Integration of SAT and CP Techniques , 2006 . M. Fr\u00e4nzle, C. Herde, S. Ratschan, T. Schubert, and T. Teige. Interval Constraint Solving Using Propositional SAT Solving Techniques. CP 2006 Workshop on the Integration of SAT and CP Techniques, 2006."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science 1256","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1007\/3-540-63165-8_213","volume-title":"ICALP 97","author":"Henzinger T.","year":"1997","unstructured":"T. Henzinger and P. Kopke . Discrete-time control for rectangular hybrid automata . In ICALP 97 , Lecture Notes in Computer Science 1256 , pages 582 -- 593 . Springer , 1997 . T. Henzinger and P. Kopke. Discrete-time control for rectangular hybrid automata. In ICALP 97, Lecture Notes in Computer Science 1256, pages 582--593. Springer, 1997."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"e_1_3_2_1_11_1","volume-title":"RTCA","year":"1992","unstructured":"SC-167. Software Considerations in Airborne Systems and Equipment Certification . RTCA , 1992 . SC-167. Software Considerations in Airborne Systems and Equipment Certification. RTCA, 1992."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"e_1_3_2_1_13_1","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design","author":"Zhang L.","year":"2001","unstructured":"L. Zhang , C. Madigan , M. Moskewicz , and S. Malik . Efficient Conflict Driven Learning in a Boolean Satisfiability Solver . In IEEE\/ACM International Conference on Computer-Aided Design , 2001 . L. Zhang, C. Madigan, M. Moskewicz, and S. Malik. Efficient Conflict Driven Learning in a Boolean Satisfiability Solver. In IEEE\/ACM International Conference on Computer-Aided Design, 2001."}],"event":{"name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","location":"Portland Oregon","acronym":"SIGSOFT06\/FSE-14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 3rd international workshop on Software quality assurance"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1188895.1188902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T00:28:23Z","timestamp":1673224103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1188895.1188902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,6]]},"references-count":13,"alternative-id":["10.1145\/1188895.1188902","10.1145\/1188895"],"URL":"https:\/\/doi.org\/10.1145\/1188895.1188902","relation":{},"subject":[],"published":{"date-parts":[[2006,11,6]]},"assertion":[{"value":"2006-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}