{"id":"https://openalex.org/W161987229","doi":"https://doi.org/10.1007/978-3-540-39800-4_7","title":"Formal Methods in Testing Software Architectures","display_name":"Formal Methods in Testing Software Architectures","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W161987229","doi":"https://doi.org/10.1007/978-3-540-39800-4_7","mag":"161987229"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-39800-4_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-39800-4_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061991704","display_name":"Antonia Bertolino","orcid":"https://orcid.org/0000-0001-8749-1356"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonia Bertolino","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cA. Faedo\u201d (ISTI-CNR), Area della Ricerca CNR di Pisa, 56100, Pisa, Italy","Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\" (ISTI-CNR), Area della Ricerca CNR di Pisa, 56100, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cA. Faedo\u201d (ISTI-CNR), Area della Ricerca CNR di Pisa, 56100, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\" (ISTI-CNR), Area della Ricerca CNR di Pisa, 56100, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039484805","display_name":"Paola Inverardi","orcid":"https://orcid.org/0000-0001-6734-1318"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paola Inverardi","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, 67100, L\u2019Aquila, Italy","Dipartimento di Informatica, Universit\u00e1 dell\u2019Aquila, Via Vetoio 1, 67100, L\u2019Aquila, Italy","Dipartimento di Informatica, Universit\u00e1 dell'Aquila, Via Vetoio 1, 67100, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell\u2019Aquila, Via Vetoio 1, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell'Aquila, Via Vetoio 1, 67100, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030457541","display_name":"Henry Muccini","orcid":"https://orcid.org/0000-0001-6365-6515"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Henry Muccini","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e1 dell\u2019Aquila, Via Vetoio 1, 67100, L\u2019Aquila, Italy","Dipartimento di Informatica, Universit\u00e1 dell'Aquila, Via Vetoio 1, 67100, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell\u2019Aquila, Via Vetoio 1, 67100, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell'Aquila, Via Vetoio 1, 67100, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"122","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8727086782455444},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6649396419525146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6393347978591919},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5659974217414856},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.527144193649292},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5251961946487427},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4507281482219696},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.42984116077423096},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3551923930644989},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.15331146121025085},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08119478821754456}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8727086782455444},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6649396419525146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6393347978591919},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5659974217414856},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.527144193649292},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5251961946487427},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4507281482219696},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.42984116077423096},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3551923930644989},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.15331146121025085},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08119478821754456},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-39800-4_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-39800-4_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:dnet:people______::e90377751b3275114ee34b9fd8676e80","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::e90377751b3275114ee34b9fd8676e80","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SFM 2003 - Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, pp. 122\u2013147, Bertinoro, Italy, September 22-27, 2003","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W32914167","https://openalex.org/W1485658078","https://openalex.org/W1488690968","https://openalex.org/W1516626990","https://openalex.org/W1522465028","https://openalex.org/W1524147119","https://openalex.org/W1573509574","https://openalex.org/W1600979142","https://openalex.org/W1787500456","https://openalex.org/W1800478330","https://openalex.org/W1998167229","https://openalex.org/W2013658284","https://openalex.org/W2024851598","https://openalex.org/W2025618033","https://openalex.org/W2038772109","https://openalex.org/W2056186404","https://openalex.org/W2060910670","https://openalex.org/W2092431575","https://openalex.org/W2096973649","https://openalex.org/W2099135652","https://openalex.org/W2102296762","https://openalex.org/W2109180425","https://openalex.org/W2112640524","https://openalex.org/W2116514916","https://openalex.org/W2122824813","https://openalex.org/W2123023940","https://openalex.org/W2123431646","https://openalex.org/W2124736688","https://openalex.org/W2131538046","https://openalex.org/W2131743534","https://openalex.org/W2152417223","https://openalex.org/W2157144873","https://openalex.org/W2288977256","https://openalex.org/W2488443646","https://openalex.org/W2494919981","https://openalex.org/W2505871501","https://openalex.org/W4236544248","https://openalex.org/W4250990810"],"related_works":["https://openalex.org/W2504004674","https://openalex.org/W4234874385","https://openalex.org/W2963177394","https://openalex.org/W1595229445","https://openalex.org/W2498744856","https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W149041114","https://openalex.org/W1965815883","https://openalex.org/W763418848"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}