{"id":"https://openalex.org/W1488787243","doi":"https://doi.org/10.1007/978-3-540-76637-7_8","title":"A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics","display_name":"A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics","publication_year":2007,"publication_date":"2007-11-20","ids":{"openalex":"https://openalex.org/W1488787243","doi":"https://doi.org/10.1007/978-3-540-76637-7_8","mag":"1488787243"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-76637-7_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-76637-7_8","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":"book-chapter","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/A5110465627","display_name":"Lingzhong Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lingzhong Zhao","raw_affiliation_strings":["Electronic Engineering School, Xidian University, Xi\u2019an, 710071, China","School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","School of Computer and Control, Guilin University of Electronic Technology, Guilin, China and Electronic Engineering School, Xidian University, Xi'an, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Electronic Engineering School, Xidian University, Xi\u2019an, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","institution_ids":["https://openalex.org/I5343935"]},{"raw_affiliation_string":"School of Computer and Control, Guilin University of Electronic Technology, Guilin, China and Electronic Engineering School, Xidian University, Xi'an, China#TAB#","institution_ids":["https://openalex.org/I5343935"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101645356","display_name":"Tianlong Gu","orcid":"https://orcid.org/0000-0002-1593-1292"},"institutions":[{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tianlong Gu","raw_affiliation_strings":["School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","School of computer and control , Guilin University of Electronic Technology, Guilin, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","institution_ids":["https://openalex.org/I5343935"]},{"raw_affiliation_string":"School of computer and control , Guilin University of Electronic Technology, Guilin, China","institution_ids":["https://openalex.org/I5343935"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039734214","display_name":"Junyan Qian","orcid":"https://orcid.org/0000-0002-1325-6975"},"institutions":[{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junyan Qian","raw_affiliation_strings":["School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","School of computer and control , Guilin University of Electronic Technology, Guilin, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","institution_ids":["https://openalex.org/I5343935"]},{"raw_affiliation_string":"School of computer and control , Guilin University of Electronic Technology, Guilin, China","institution_ids":["https://openalex.org/I5343935"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029118616","display_name":"Guoyong Cai","orcid":"https://orcid.org/0000-0002-5705-1189"},"institutions":[{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoyong Cai","raw_affiliation_strings":["School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","School of computer and control , Guilin University of Electronic Technology, Guilin, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Control, Guilin University of Electronic Technology, Guilin, 541004, China","institution_ids":["https://openalex.org/I5343935"]},{"raw_affiliation_string":"School of computer and control , Guilin University of Electronic Technology, Guilin, China","institution_ids":["https://openalex.org/I5343935"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110465627"],"corresponding_institution_ids":["https://openalex.org/I149594827","https://openalex.org/I5343935"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.8222,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71261378,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"105","last_page":"121"},"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.9998999834060669,"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.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983999729156494,"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.7333092093467712},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7244752645492554},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6490813493728638},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6160002946853638},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5525109171867371},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5419635772705078},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47253847122192383},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47133922576904297},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.43347224593162537},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.06316816806793213}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7333092093467712},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7244752645492554},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6490813493728638},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6160002946853638},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5525109171867371},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5419635772705078},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47253847122192383},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47133922576904297},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.43347224593162537},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06316816806793213},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-76637-7_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-76637-7_8","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"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W65937437","https://openalex.org/W74874319","https://openalex.org/W131505696","https://openalex.org/W1535051828","https://openalex.org/W1568478782","https://openalex.org/W1598242842","https://openalex.org/W1845547899","https://openalex.org/W1992639336","https://openalex.org/W2035855976","https://openalex.org/W2042386232","https://openalex.org/W2063727779","https://openalex.org/W2066556632","https://openalex.org/W2068981034","https://openalex.org/W2081810835","https://openalex.org/W2105111802","https://openalex.org/W2116325485","https://openalex.org/W2123203095","https://openalex.org/W2140604921","https://openalex.org/W2490169810","https://openalex.org/W2490938952","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2108333633","https://openalex.org/W1575115589","https://openalex.org/W4210725620","https://openalex.org/W2496036477","https://openalex.org/W2089952282","https://openalex.org/W1850723825","https://openalex.org/W2033552629","https://openalex.org/W2100626957","https://openalex.org/W1669708373","https://openalex.org/W1485791179"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}