{"id":"https://openalex.org/W1970377300","doi":"https://doi.org/10.1007/s13198-011-0068-3","title":"KeYGenU: combining verification-based and capture and replay techniques for regression unit testing","display_name":"KeYGenU: combining verification-based and capture and replay techniques for regression unit testing","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W1970377300","doi":"https://doi.org/10.1007/s13198-011-0068-3","mag":"1970377300"},"language":"en","primary_location":{"id":"doi:10.1007/s13198-011-0068-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s13198-011-0068-3","pdf_url":null,"source":{"id":"https://openalex.org/S40280859","display_name":"International Journal of Systems Assurance Engineering and Management","issn_l":"0975-6809","issn":["0975-6809","0976-4348"],"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 of System Assurance Engineering and Management","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/A5003024686","display_name":"Bernhard Beckert","orcid":"https://orcid.org/0000-0002-9672-3291"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Bernhard Beckert","raw_affiliation_strings":["Department of Informatics, Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131, Karlsruhe, Germany","Department of Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany","Karlsruhe Institute of technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Karlsruhe Institute of technology","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019488707","display_name":"Christoph Gladisch","orcid":null},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Christoph Gladisch","raw_affiliation_strings":["Department of Informatics, Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131, Karlsruhe, Germany","Department of Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany","Karlsruhe Institute of technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Karlsruhe Institute of technology","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087858001","display_name":"Shmuel Tyszberowicz","orcid":"https://orcid.org/0000-0003-4937-8138"},"institutions":[{"id":"https://openalex.org/I4210141777","display_name":"Academic College of Tel Aviv-Yafo","ror":"https://ror.org/04cg6c004","country_code":"IL","type":"education","lineage":["https://openalex.org/I4210141777"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shmuel Tyszberowicz","raw_affiliation_strings":["School of Computer Science, The Academic College of Tel Aviv Yaffo, 61083, Tel Aviv Yaffo, Israel","School of Computer Science, The Academic College of Tel Aviv Yaffo, Tel Aviv Yaffo, Israel","The Academic College of Tel Aviv Yaffo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, The Academic College of Tel Aviv Yaffo, 61083, Tel Aviv Yaffo, Israel","institution_ids":["https://openalex.org/I4210141777"]},{"raw_affiliation_string":"School of Computer Science, The Academic College of Tel Aviv Yaffo, Tel Aviv Yaffo, Israel","institution_ids":["https://openalex.org/I4210141777"]},{"raw_affiliation_string":"The Academic College of Tel Aviv Yaffo","institution_ids":["https://openalex.org/I4210141777"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109051398","display_name":"Amiram Yehudai","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Amiram Yehudai","raw_affiliation_strings":["School of Computer Science, Tel Aviv University, 69978, Tel Aviv, Israel","School of Computer Science, Tel Aviv University, Tel Aviv, Israel","Tel-Aviv  University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Tel Aviv University, 69978, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"School of Computer Science, Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel-Aviv  University","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5003024686","https://openalex.org/A5019488707","https://openalex.org/A5087858001","https://openalex.org/A5109051398"],"corresponding_institution_ids":["https://openalex.org/I102335020","https://openalex.org/I16391192","https://openalex.org/I4210141777"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.8116,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74660718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2","issue":"2","first_page":"97","last_page":"113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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.9998000264167786,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9970999956130981,"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/regression-testing","display_name":"Regression testing","score":0.7140772938728333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5175803899765015},{"id":"https://openalex.org/keywords/unit","display_name":"Unit (ring theory)","score":0.4958592355251312},{"id":"https://openalex.org/keywords/regression","display_name":"Regression","score":0.42642727494239807},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.36528685688972473},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.3056706190109253},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18712761998176575},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18649247288703918},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13159671425819397}],"concepts":[{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.7140772938728333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5175803899765015},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.4958592355251312},{"id":"https://openalex.org/C83546350","wikidata":"https://www.wikidata.org/wiki/Q1139051","display_name":"Regression","level":2,"score":0.42642727494239807},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.36528685688972473},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.3056706190109253},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18712761998176575},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18649247288703918},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13159671425819397},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s13198-011-0068-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s13198-011-0068-3","pdf_url":null,"source":{"id":"https://openalex.org/S40280859","display_name":"International Journal of Systems Assurance Engineering and Management","issn_l":"0975-6809","issn":["0975-6809","0976-4348"],"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 of System Assurance Engineering and Management","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","id":"https://metadata.un.org/sdg/13","score":0.5799999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W48995315","https://openalex.org/W161810860","https://openalex.org/W175329226","https://openalex.org/W1486696980","https://openalex.org/W1499546067","https://openalex.org/W1510379383","https://openalex.org/W1518498967","https://openalex.org/W1523035663","https://openalex.org/W1530091865","https://openalex.org/W1532926224","https://openalex.org/W1537084112","https://openalex.org/W1551963888","https://openalex.org/W1556995871","https://openalex.org/W1564483192","https://openalex.org/W1571434026","https://openalex.org/W1578304575","https://openalex.org/W1580328473","https://openalex.org/W1719056370","https://openalex.org/W1978546859","https://openalex.org/W1985680121","https://openalex.org/W1990169779","https://openalex.org/W2053109026","https://openalex.org/W2097347654","https://openalex.org/W2097417323","https://openalex.org/W2097816970","https://openalex.org/W2110311336","https://openalex.org/W2111706174","https://openalex.org/W2118542736","https://openalex.org/W2122475137","https://openalex.org/W2122987706","https://openalex.org/W2123596219","https://openalex.org/W2126293135","https://openalex.org/W2127973326","https://openalex.org/W2129809495","https://openalex.org/W2134825350","https://openalex.org/W2135387608","https://openalex.org/W2135963601","https://openalex.org/W2153887189","https://openalex.org/W2160329567","https://openalex.org/W2171683519","https://openalex.org/W2272090139","https://openalex.org/W2336123333","https://openalex.org/W2338034193","https://openalex.org/W2397503885","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4234018049","https://openalex.org/W4238213105","https://openalex.org/W4239007999","https://openalex.org/W4253793017","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W611386996","https://openalex.org/W4232229155","https://openalex.org/W643015529","https://openalex.org/W2045239961","https://openalex.org/W2162694379","https://openalex.org/W2186442870","https://openalex.org/W2119861793","https://openalex.org/W2181414218","https://openalex.org/W3183614852","https://openalex.org/W4384302763"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}