{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T05:53:13Z","timestamp":1791265993052,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T00:00:00Z","timestamp":1315526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,9]]},"DOI":"10.1145\/2025113.2025198","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"484-487","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting software architecture to support requirements satisfaction testing"],"prefix":"10.1145","author":[{"given":"Paul","family":"Clements","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria Jose","family":"Escalona","sequence":"additional","affiliation":[{"name":"University of Sevilla, Sevilla, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[{"name":"Univeristy of L'Aquila, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivano","family":"Malavolta","sequence":"additional","affiliation":[{"name":"Univeristy of L'Aquila, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eda","family":"Marchetti","sequence":"additional","affiliation":[{"name":"ISTI-CNR Pisa, Pisa, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243599"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806816"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"A. C.\n      Dias-Neto\n     and \n      G. H.\n      Travassos\n  . \n  A picture from the model-based testing area: Concepts techniques and challenges\n  . volume \n  80\n   of \n  Advances in Computers pages \n  45\n  --\n  120\n  . \n  Elsevier 2010\n  .  A. C. Dias-Neto and G. H. Travassos. A picture from the model-based testing area: Concepts techniques and challenges. volume 80 of Advances in Computers pages 45--120. Elsevier 2010.","DOI":"10.1016\/S0065-2458(10)80002-6"},{"key":"e_1_3_2_1_6_1","first-page":"137","volume-title":"Views on Evolvability of Embedded Systems","author":"Douglas A.","year":"2011","unstructured":"A. Douglas . Linking requirements and implementation . Views on Evolvability of Embedded Systems , pages 137 -- 151 , 2011 . A. Douglas. Linking requirements and implementation. Views on Evolvability of Embedded Systems, pages 137--151, 2011."},{"key":"e_1_3_2_1_7_1","first-page":"45","volume-title":"Protocol Testing Systems III (the Proceedings of IFIP TC6 Third International Workshop on Protocol Test Systems)","author":"Dssouli R.","year":"1991","unstructured":"R. Dssouli and R. Fournier . Communication Software Testability. In IFIP Transactions , Protocol Testing Systems III (the Proceedings of IFIP TC6 Third International Workshop on Protocol Test Systems) , pages 45 -- 55 , 1991 . R. Dssouli and R. Fournier. Communication Software Testability. In IFIP Transactions, Protocol Testing Systems III (the Proceedings of IFIP TC6 Third International Workshop on Protocol Test Systems), pages 45--55, 1991."},{"key":"e_1_3_2_1_8_1","volume-title":"Software defect removal","author":"Dunn R.","year":"1984","unstructured":"R. Dunn . Software defect removal . McGraw-Hill, Inc. , New York, NY, USA , 1984 . R. Dunn. Software defect removal. McGraw-Hill, Inc., New York, NY, USA, 1984."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.03.051"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.87281"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0142-3"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0004"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647648.731621"},{"key":"e_1_3_2_1_14_1","unstructured":"IBM. IBM Rational Unified Process (RUP).  IBM. IBM Rational Unified Process (RUP)."},{"key":"e_1_3_2_1_15_1","volume-title":"NASA","author":"V. Jeffrey","year":"1991","unstructured":"V. Jeffrey M. Factors that affect software testability. Technical report , NASA , 1991 . V. Jeffrey M. Factors that affect software testability. Technical report, NASA, 1991."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01680-6_20"},{"issue":"04","key":"e_1_3_2_1_17_1","first-page":"1079","volume":"2","author":"Pandey S.","year":"2010","unstructured":"S. Pandey and K. Mustafa . Recent advances in sre research. Recent Advances in SRE Research , 2 ( 04 ): 1079 -- 1085 , 2010 . S. Pandey and K. Mustafa. Recent advances in sre research. Recent Advances in SRE Research, 2(04):1079--1085, 2010.","journal-title":"Recent advances in sre research. Recent Advances in SRE Research"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243605"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1842752.1842767"}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Szeged Hungary","acronym":"ESEC\/FSE'11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025198","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2025113.2025198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:00Z","timestamp":1750244760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":17,"alternative-id":["10.1145\/2025113.2025198","10.1145\/2025113"],"URL":"https:\/\/doi.org\/10.1145\/2025113.2025198","relation":{},"subject":[],"published":{"date-parts":[[2011,9,9]]},"assertion":[{"value":"2011-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}