{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:12:06Z","timestamp":1759032726236},"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\/0006474004590466","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T12:17:02Z","timestamp":1501676222000},"page":"459-466","source":"Crossref","is-referenced-by-count":4,"title":["Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams"],"prefix":"10.5220","author":[{"given":"Bruno","family":"Lima","sequence":"first","affiliation":[{"name":"FEUP and INESC TEC, Portugal"}]},{"given":"Jo\u00e3o","family":"Faria","sequence":"first","affiliation":[{"name":"FEUP and INESC TEC, Portugal"}]}],"member":"3171","event":{"name":"12th International Conference on Software Technologies","start":{"date-parts":[[2017,7,24]]},"location":"Madrid, Spain","end":{"date-parts":[[2017,7,26]]}},"container-title":["Proceedings of the 12th International Conference on Software Technologies"],"original-title":["Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams"],"deposited":{"date-parts":[[2017,8,4]],"date-time":"2017-08-04T13:25:27Z","timestamp":1501853127000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0006474004590466"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0006474004590466","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}