{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:49:59Z","timestamp":1791218999313,"version":"4.1.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107406","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T20:37:48Z","timestamp":1431635868000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Covering both stack and states while testing push-down systems"],"prefix":"10.1109","author":[{"given":"Pierre-Cyrille","family":"Heam","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hana","family":"M'Hemdi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/0212044"},{"key":"ref11","article-title":"Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems","volume":"6","author":"jard","year":"2004","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"ref12","article-title":"Generating string at random from a context-free grammar","author":"mckenzie","year":"1997"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932308"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.21"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1526"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.32"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21768-5_10"},{"key":"ref7","first-page":"27","article-title":"A direct symbolic approach to model checking pushdown systems (ext. abs.)","author":"finkel","year":"1997","journal-title":"Infinity 97"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_38"},{"key":"ref1","first-page":"135","article-title":"Reachability analysis of pushdown automata: Application to model-checking","author":"bouajjani","year":"1997","journal-title":"CONCUR"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.31"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107406.pdf?arnumber=7107406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T17:52:07Z","timestamp":1490377927000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107406\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107406","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}