{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:23Z","timestamp":1750307063434,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":0,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1145\/2377816.2377818","type":"proceedings-article","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T23:48:43Z","timestamp":1348616923000},"page":"9-16","source":"Crossref","is-referenced-by-count":9,"title":["Conditioned model slicing of feature-annotated state machines"],"prefix":"10.1145","author":[{"given":"Jochen","family":"Kamischke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hauke","family":"Baller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","event":{"number":"4","sponsor":["Metop GmbH"],"acronym":"FOSD '12","name":"the 4th International Workshop","start":{"date-parts":[[2012,9,24]]},"location":"Dresden, Germany","end":{"date-parts":[[2012,9,25]]}},"container-title":["Proceedings of the 4th International Workshop on Feature-Oriented Software Development - FOSD '12"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2377816.2377818","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=2377818&ftid=1292409&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:19Z","timestamp":1750238479000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2377816.2377818"}},"subtitle":[],"proceedings-subject":"Feature-Oriented Software Development","short-title":[],"issued":{"date-parts":[[2012]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1145\/2377816.2377818","relation":{},"subject":[],"published":{"date-parts":[[2012]]}}}