{"id":"https://openalex.org/W2081671653","doi":"https://doi.org/10.1109/ats.2003.1250790","title":"Domain testing based on character string predicate [software testing","display_name":"Domain testing based on character string predicate [software testing","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W2081671653","doi":"https://doi.org/10.1109/ats.2003.1250790","mag":"2081671653"},"language":"en","primary_location":{"id":"doi:10.1109/ats.2003.1250790","doi":"https://doi.org/10.1109/ats.2003.1250790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats.2003.1250790","pdf_url":null,"source":{"id":"https://openalex.org/S7407089292","display_name":"International Conference on Properties and Applications of Dielectric Materials (ICPADM)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5113530346","display_name":"Zhao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I75390827","display_name":"Beijing University of Chemical Technology","ror":"https://ror.org/00df5yc52","country_code":"CN","type":"education","lineage":["https://openalex.org/I75390827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhao","raw_affiliation_strings":["Computer Science Department, Beijing University of Chemical and Technology, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Beijing University of Chemical and Technology, China","institution_ids":["https://openalex.org/I75390827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020923859","display_name":"Lyu Lyu","orcid":"https://orcid.org/0009-0008-2269-9875","observed_orcids":["https://orcid.org/0009-0008-2269-9875"]},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Lyu","raw_affiliation_strings":["Computer Science Department, Chinese University of Hong Kong, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Chinese University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100821475","display_name":"Yinghua Min","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinghua Min","raw_affiliation_strings":["Institute of Computing Tech., Chinese Academy and Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Tech., Chinese Academy and Sciences, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2029,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.38237756,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"3","issue":null,"first_page":"96","last_page":"101"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.0,"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.0,"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/automatic-test-data-generation","display_name":"automatic test data generation","score":0.9269999861717224},{"id":"https://openalex.org/keywords/program-slicing","display_name":"program slicing","score":0.8090000152587891},{"id":"https://openalex.org/keywords/control-flow-testing","display_name":"control flow testing","score":0.593999981880188},{"id":"https://openalex.org/keywords/function-minimization","display_name":"function minimization","score":0.8040000200271606},{"id":"https://openalex.org/keywords/program-paths","display_name":"program paths","score":0.5040000081062317}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7512553930282593},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.744839072227478},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.7129777073860168},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.43967312574386597},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4238261878490448},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42161670327186584},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41077497601509094},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3662605285644531},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3622872233390808},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.08528193831443787},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ats.2003.1250790","doi":"https://doi.org/10.1109/ats.2003.1250790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats.2003.1250790","pdf_url":null,"source":{"id":"https://openalex.org/S7407089292","display_name":"International Conference on Properties and Applications of Dielectric Materials (ICPADM)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W303139982","https://openalex.org/W1480593728","https://openalex.org/W1535300117","https://openalex.org/W1575308494","https://openalex.org/W1987187562","https://openalex.org/W2006159725","https://openalex.org/W2029254184","https://openalex.org/W2046546418","https://openalex.org/W2074724531","https://openalex.org/W2101542165","https://openalex.org/W2101629181","https://openalex.org/W2115626531","https://openalex.org/W2128705399","https://openalex.org/W2130274814","https://openalex.org/W2162675750","https://openalex.org/W4252775433","https://openalex.org/W6683546158"],"related_works":["https://openalex.org/W2102142774","https://openalex.org/W7099945598","https://openalex.org/W4233195399","https://openalex.org/W2382339514","https://openalex.org/W2111742136","https://openalex.org/W2032656534","https://openalex.org/W3087822564","https://openalex.org/W2516300775","https://openalex.org/W3004249941","https://openalex.org/W7095164101"],"abstract_inverted_index":{"Domain":[0],"testing":[1,6,62],"is":[2,96,126],"a":[3,34,54,92],"well-known":[4],"software":[5],"technique.":[7],"Although":[8],"research":[9],"tasks":[10],"have":[11],"been":[12,29],"initiated":[13],"in":[14,79,91,99],"domain":[15],"testing,":[16],"automatic":[17],"test":[18,41,56,108],"data":[19,57],"generation":[20],"based":[21,61],"on":[22,68],"character":[23,44,87,93],"string":[24,45,94],"predicates":[25,67,81],"has":[26],"not":[27],"yet":[28],"reported.":[30],"This":[31],"paper":[32],"presents":[33],"novel":[35],"approach":[36,125],"to":[37,66,72],"automatically":[38,116],"generate":[39],"ON-OFF":[40,107],"points":[42,109],"for":[43,110],"predicate":[46,95,112],"borders":[47],"associated":[48],"with":[49,64],"program":[50,83],"paths,":[51],"and":[52,128],"describes":[53],"corresponding":[55],"generator":[58],"control":[59],"flow":[60],"Slices":[63],"respect":[65],"paths":[69],"are":[70],"constructed":[71],"calculate":[73],"the":[74,80,106,111],"current":[75],"values":[76],"of":[77,89],"variables":[78,90],"via":[82],"slicing":[84],"techniques.":[85],"Each":[86],"element":[88],"dynamically":[97],"determined":[98],"turn":[100],"by":[101],"function":[102],"minimization":[103],"so":[104],"that":[105,123],"border":[113],"can":[114],"be":[115],"generated.":[117],"The":[118],"preliminary":[119],"experimental":[120],"results":[121],"show":[122],"this":[124],"promising":[127],"effective.":[129]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}