{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T22:23:47Z","timestamp":1745447027947},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.5220\/0006340302410246","type":"proceedings-article","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T12:27:42Z","timestamp":1494505662000},"page":"241-246","source":"Crossref","is-referenced-by-count":3,"title":["From Temporal Models to Property-based Testing"],"prefix":"10.5220","author":[{"given":"Nasser","family":"Alzahrani","sequence":"first","affiliation":[{"name":"RMIT University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Spichkova","sequence":"first","affiliation":[{"name":"RMIT University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Olaf","family":"Blech","sequence":"first","affiliation":[{"name":"RMIT University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3171","event":{"name":"12th International Conference on Evaluation of Novel Approaches to Software Engineering","start":{"date-parts":[[2017,4,28]]},"location":"Porto, Portugal","end":{"date-parts":[[2017,4,29]]}},"container-title":["Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering"],"original-title":["From Temporal Models to Property-based Testing"],"deposited":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T12:27:51Z","timestamp":1494505671000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0006340302410246"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0006340302410246","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}