{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:44:39Z","timestamp":1729647879472,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107475","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T16:37:48Z","timestamp":1431621468000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Software quality research: From processes to model-based techniques"],"prefix":"10.1109","author":[{"given":"Bernhard","family":"Peischl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985882"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","article-title":"Tgv: Theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems","volume":"7","author":"jard","year":"2005","journal-title":"Int J Softw Tools Technol Transf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03602-1_3"},{"journal-title":"Metrics and Models in Software Quality Engineering","year":"2002","author":"kan","key":"ref13"},{"key":"ref14","first-page":"159","article-title":"Tool-driven technology transfer to support software architecture decisions","author":"koziolek","year":"0","journal-title":"Software Engineering 2014 Fachtagung des GI-Fachbereichs Softwaretechnik 25 Februar - 28 Februar 2014 Kiel Deutschland"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_31"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1504\/IJMASSC.2010.037651"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.75"},{"key":"ref18","first-page":"1","article-title":"The fine art of user-centered software development","author":"peischl","year":"2014","journal-title":"Software Quality Journal"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194012500209"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.86"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.51"},{"key":"ref3","article-title":"A model-based approach to fault localization in power transmission networks","author":"beschta","year":"1992","journal-title":"Intelligent Systems Engineering"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.37"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.31"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90112-W"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00034-X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-133-2_12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069051"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.31"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICEIS.2006.1703183"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4304\/jetwi.2.4.282-290"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2003.1200725"},{"key":"ref24","article-title":"Challenges for qualitative electrical reasoning in circuit simulation","author":"price","year":"1997","journal-title":"Proc 11th Int l Workshop Qualitative Reasoning"},{"key":"ref23","article-title":"Process-oriented techniques in an expert system for power system diagnosis","author":"pfau-wagenbauer","year":"1992","journal-title":"ECAI-Workshop on Advances in Real-Time Expert System Technologies"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2010.22"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-642-16145-2_11","article-title":"Static- and dynamic consistency analysis of uml state chart models","volume":"6394","author":"schwarzl","year":"2010","journal-title":"Model Driven Engineering Languages and Systems Ser Lecture Notes in Computer Science"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","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\/07107475.pdf?arnumber=7107475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T07:38:44Z","timestamp":1498203524000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107475\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107475","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}