{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:27:52Z","timestamp":1742390872012},"reference-count":11,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2002,12]]},"abstract":"<jats:p> The deployment of executable specifications has increased significantly in the last few years. Just as with any other specification documents, these specifications must be examined to ensure the necessary degree of quality. A common and successful technique used for examining traditional specifications is inspection. Now the question has arisen whether inspections on executable specification are the best choice, or if other techniques which use the execution capabilities of the models perform better. <\/jats:p><jats:p> In this paper, we empirically compare several defect detection techniques for executable specifications. In particular, we examine inspections, testing, and ad-hoc simulation. Here, we use the specification languages Statemate and Matlab\/Simulink. Also, we take a closer look at the inspection process itself and try to quantify the benefits of an inspection meeting for executable specifications. <\/jats:p>","DOI":"10.1142\/s0218194002001128","type":"journal-article","created":{"date-parts":[[2003,2,18]],"date-time":"2003-02-18T09:55:36Z","timestamp":1045562136000},"page":"637-655","source":"Crossref","is-referenced-by-count":7,"title":["DEFECT DETECTION FOR EXECUTABLE SPECIFICATIONS \u2014 AN EXPERIMENT"],"prefix":"10.1142","volume":"12","author":[{"given":"FRANK","family":"HOUDEK","sequence":"first","affiliation":[{"name":"DaimlerChrysler AG, Research and Technology,  P.O. Box 23 60, 89013 Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"THILO","family":"SCHWINN","sequence":"additional","affiliation":[{"name":"DaimlerChrysler AG, Research and Technology,  P.O. Box 23 60, 89013 Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DIETMAR","family":"ERNST","sequence":"additional","affiliation":[{"name":"Department of Compiler Construction and Software  Engineering, University of Ulm, 89069 Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00368702"},{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.232881"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143090"},{"key":"p_9","first-page":"75","author":"Houdek F.","year":"1999","journal-title":"Proc. ICSE Workshop on Empirical Studies of Software Development and Evolution, Los Angeles, CA"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1007\/s002870050102"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(96)01139-1"},{"key":"p_16","first-page":"0","year":"1994","journal-title":"Technical report, The Motor Industry Software Reliability Association (MISRA)"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1109\/32.391380"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009844119158"},{"key":"p_23","doi-asserted-by":"publisher","DOI":"10.1109\/32.256852"},{"key":"p_24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671393"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194002001128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:37:18Z","timestamp":1565141838000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194002001128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":11,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2002,12]]}},"alternative-id":["10.1142\/S0218194002001128"],"URL":"https:\/\/doi.org\/10.1142\/s0218194002001128","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}