{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:16:10Z","timestamp":1759032970136,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100136","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T13:30:08Z","timestamp":1324042208000},"page":"604-607","source":"Crossref","is-referenced-by-count":6,"title":["SAUML: A tool for symbolic analysis of UML-RT models"],"prefix":"10.1109","author":[{"given":"Karolina","family":"Zurowska","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_20"},{"journal-title":"Symbolic Execution of UML-RT State Machines and Their Compositions","year":"2011","author":"zurowska","key":"16"},{"key":"13","article-title":"A survey of new trends in symbolic execution for software testing and analysis","volume":"11","author":"pa? sa? reanu","year":"2009","journal-title":"J on Software Tools for Technology Transfer"},{"journal-title":"Using SPIN to Analyse RoseRT Models","year":"1999","author":"saaltink","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526573"},{"journal-title":"Unified Modeling Language (UML 2 0) Superstructure","year":"0","key":"12"},{"journal-title":"SCADE Suite","year":"0","key":"3"},{"journal-title":"IBM Rational Software Architect RealTime Edition Version 7 5 5","year":"0","key":"2"},{"journal-title":"Choco Solver","year":"0","key":"1"},{"key":"10","article-title":"KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs","author":"li","year":"2011","journal-title":"CAV"},{"key":"7","article-title":"Automated whitebox fuzz testing","author":"godefroid","year":"2008","journal-title":"In NDSS 2008"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2009.21"},{"key":"5","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1049\/sej.1988.0029","article-title":"symbolic execution systems-a review","volume":"3","author":"coward","year":"1988","journal-title":"Software Engineering Journal"},{"key":"4","article-title":"Incremental design and formal verification with UML\/RT in the FUJABA real-time tool suite","author":"burmester","year":"2004","journal-title":"SVERTS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.05.051"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2011,11,6]]},"location":"Lawrence, KS, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100136.pdf?arnumber=6100136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:28:18Z","timestamp":1497943698000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100136\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100136","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}