{"id":"https://openalex.org/W2005471635","doi":"https://doi.org/10.1007/s10009-004-0150-0","title":"Guest editors\u2019 introduction: Advancements and extensions of verification techniques","display_name":"Guest editors\u2019 introduction: Advancements and extensions of verification techniques","publication_year":2004,"publication_date":"2004-07-28","ids":{"openalex":"https://openalex.org/W2005471635","doi":"https://doi.org/10.1007/s10009-004-0150-0","mag":"2005471635"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-004-0150-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-004-0150-0","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","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/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools Group, University of Twente, 217, 7500 AE, Enschede, The Netherlands","University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools Group, 217, 7500 AE, Enschede, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools Group, University of Twente, 217, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools Group, 217, 7500 AE, Enschede, The Netherlands#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054423333","display_name":"Perdita Stevens","orcid":"https://orcid.org/0000-0002-3975-7612"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Perdita Stevens","raw_affiliation_strings":["School of Informatics, JCMB, University of Edinburgh, King\u2019s Buildings, Mayfield Road, Edinburgh, EH9 3JZ, UK","University of Edinburgh, School of Informatics, JCMB, 217, King\u2019s Buildings, Mayfield Road, EH9 3JZ, Edinburgh, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Informatics, JCMB, University of Edinburgh, King\u2019s Buildings, Mayfield Road, Edinburgh, EH9 3JZ, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh, School of Informatics, JCMB, 217, King\u2019s Buildings, Mayfield Road, EH9 3JZ, Edinburgh, UK#TAB#","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090819329"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11667121,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"2","first_page":"99","last_page":"101"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9991000294685364,"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.9987999796867371,"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.8328660726547241},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5901862978935242},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5877702832221985},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5653936266899109},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5229402780532837},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.49936699867248535},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.43967920541763306},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.41337400674819946},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39879417419433594},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.32844698429107666},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1631116271018982}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8328660726547241},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5901862978935242},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5877702832221985},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5653936266899109},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5229402780532837},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.49936699867248535},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.43967920541763306},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.41337400674819946},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39879417419433594},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.32844698429107666},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1631116271018982},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-004-0150-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-004-0150-0","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1588201901","https://openalex.org/W1590315663","https://openalex.org/W1822320350","https://openalex.org/W2001985931","https://openalex.org/W2023808162","https://openalex.org/W2034797990","https://openalex.org/W2065675749","https://openalex.org/W2118962824","https://openalex.org/W2162943184","https://openalex.org/W4254354208","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2560853036","https://openalex.org/W2566696415","https://openalex.org/W1563787543","https://openalex.org/W4249026152","https://openalex.org/W4244585678","https://openalex.org/W2909241626","https://openalex.org/W2890304493","https://openalex.org/W590015412","https://openalex.org/W4211021113","https://openalex.org/W2966241533"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}