{"id":"https://openalex.org/W4286524174","doi":"https://doi.org/10.1145/3524482","title":"Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering","display_name":"Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering","publication_year":2022,"publication_date":"2022-05-18","ids":{"openalex":"https://openalex.org/W4286524174","doi":"https://doi.org/10.1145/3524482"},"language":"en","primary_location":{"id":"doi:10.1145/3524482","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3524482","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9424999952316284,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9424999952316284,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9387000203132629,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9315999746322632,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7147042751312256},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6859652400016785},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6026328802108765},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44842249155044556},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4405936002731323},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4312082529067993},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.40711793303489685},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1606368124485016},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12572473287582397}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7147042751312256},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6859652400016785},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6026328802108765},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44842249155044556},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4405936002731323},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4312082529067993},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.40711793303489685},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1606368124485016},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12572473287582397},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3524482","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3524482","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5099999904632568,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2072171199","https://openalex.org/W1559016951","https://openalex.org/W20687296","https://openalex.org/W2138281007","https://openalex.org/W1911633385","https://openalex.org/W1587246512","https://openalex.org/W1506981073","https://openalex.org/W3203682772","https://openalex.org/W2152304641","https://openalex.org/W2234356168"],"abstract_inverted_index":{"FormaliSE":[0],"is":[1,9],"a":[2],"well-established":[3],"annual":[4],"conference":[5],"whose":[6],"main":[7],"goal":[8],"to":[10,22,25,38],"promote":[11],"integration":[12],"between":[13],"the":[14,32,40],"formal":[15],"methods":[16],"and":[17,21,29],"software":[18,43],"engineering":[19],"communities":[20],"stimulate":[23],"researchers":[24],"share":[26],"ideas,":[27],"techniques,":[28],"results,":[30],"with":[31],"aim":[33],"of":[34,42],"proposing":[35],"new":[36],"solutions":[37],"improve":[39],"quality":[41],"systems.":[44]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}