{"id":"https://openalex.org/W2019228990","doi":"https://doi.org/10.1109/snpd.2014.6888718","title":"Test image generation using segmental symbolic evaluation for unit testing","display_name":"Test image generation using segmental symbolic evaluation for unit testing","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2019228990","doi":"https://doi.org/10.1109/snpd.2014.6888718","mag":"2019228990"},"language":"en","primary_location":{"id":"doi:10.1109/snpd.2014.6888718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2014.6888718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","raw_type":"proceedings-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/A5111669213","display_name":"Tahir Jameel","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Tahir Jameel","raw_affiliation_strings":["State key Lab of Software Development Environment, Beihang University, Beijing, China","State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#"],"affiliations":[{"raw_affiliation_string":"State key Lab of Software Development Environment, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100565134","display_name":"Mengxiang Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mengxiang Lin","raw_affiliation_strings":["State key Lab of Software Development Environment, Beihang University, Beijing, China","State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#"],"affiliations":[{"raw_affiliation_string":"State key Lab of Software Development Environment, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317904","display_name":"He Li","orcid":"https://orcid.org/0000-0003-1152-5817"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Li","raw_affiliation_strings":["State key Lab of Software Development Environment, Beihang University, Beijing, China","State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#"],"affiliations":[{"raw_affiliation_string":"State key Lab of Software Development Environment, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019279748","display_name":"Xiaomei Hou","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaomei Hou","raw_affiliation_strings":["State key Lab of Software Development Environment, Beihang University, Beijing, China","State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#"],"affiliations":[{"raw_affiliation_string":"State key Lab of Software Development Environment, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China#TAB#","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5111669213"],"corresponding_institution_ids":["https://openalex.org/I82880672"],"apc_list":null,"apc_paid":null,"fwci":0.4368,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67189133,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2","issue":null,"first_page":"1","last_page":"6"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"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.9943000078201294,"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/pixel","display_name":"Pixel","score":0.8159319162368774},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7433525323867798},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6975326538085938},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5734931826591492},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.5719583034515381},{"id":"https://openalex.org/keywords/convolution","display_name":"Convolution (computer science)","score":0.5719130039215088},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.4946913421154022},{"id":"https://openalex.org/keywords/window","display_name":"Window (computing)","score":0.49447035789489746},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48634248971939087},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.47021201252937317},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.45116427540779114},{"id":"https://openalex.org/keywords/image-processing","display_name":"Image processing","score":0.44244521856307983},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4397760033607483},{"id":"https://openalex.org/keywords/test-data","display_name":"Test data","score":0.43524783849716187},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4347420334815979},{"id":"https://openalex.org/keywords/standard-test-image","display_name":"Standard test image","score":0.42057961225509644},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11184167861938477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08536648750305176},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.08306929469108582}],"concepts":[{"id":"https://openalex.org/C160633673","wikidata":"https://www.wikidata.org/wiki/Q355198","display_name":"Pixel","level":2,"score":0.8159319162368774},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7433525323867798},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6975326538085938},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5734931826591492},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.5719583034515381},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.5719130039215088},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.4946913421154022},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.49447035789489746},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48634248971939087},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.47021201252937317},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.45116427540779114},{"id":"https://openalex.org/C9417928","wikidata":"https://www.wikidata.org/wiki/Q1070689","display_name":"Image processing","level":3,"score":0.44244521856307983},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4397760033607483},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.43524783849716187},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4347420334815979},{"id":"https://openalex.org/C180462255","wikidata":"https://www.wikidata.org/wiki/Q3559736","display_name":"Standard test image","level":4,"score":0.42057961225509644},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11184167861938477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08536648750305176},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.08306929469108582},{"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.1109/snpd.2014.6888718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2014.6888718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","raw_type":"proceedings-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/W81349459","https://openalex.org/W127224647","https://openalex.org/W1710734607","https://openalex.org/W1777881387","https://openalex.org/W2101512909","https://openalex.org/W2101629181","https://openalex.org/W2107147876","https://openalex.org/W2119115474","https://openalex.org/W2130950525","https://openalex.org/W3152004197","https://openalex.org/W6637688222"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W2963243795","https://openalex.org/W3134905881","https://openalex.org/W3164065471","https://openalex.org/W1976560018","https://openalex.org/W4285258846"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,86,95,196],"novel":[4],"technique":[5,37,55],"to":[6,29,40,108,121,152,156,167,216],"generate":[7,41,122,168,217],"test":[8,42,66,170,218,243,252],"images":[9,43,171,244],"using":[10,114,142],"segmental":[11],"symbolic":[12,59,115],"evaluation":[13],"for":[14,32,65,94,100,134,139,172,184,211,245],"testing":[15,34],"of":[16,45,88,162,221,228,248,255],"image":[17,51,73,90,201],"processing":[18,74,202],"applications.":[19],"Images":[20],"are":[21,83,137,150,165,181,188],"multidimensional":[22],"and":[23,98,147,176,206,234,253],"diverse":[24],"in":[25,69,125],"nature,":[26],"which":[27,61,180],"leads":[28],"different":[30,135,226],"challenges":[31],"the":[33,101,126,148,157,177,208,212,235,249],"process.":[35],"A":[36],"is":[38,56,62,107,223],"required":[39],"capable":[44,151,254],"finding":[46],"program":[47,127,154,209,250],"paths":[48,136,178],"derived":[49],"by":[50],"pixels.":[52],"The":[53,130,160],"proposed":[54],"based":[57],"on":[58,85,111,225],"execution":[60,155],"extensively":[63],"used":[64,166],"data":[67],"generation":[68],"recent":[70],"years.":[71],"In":[72],"applications,":[75],"pixel":[76,112,186],"operations":[77,110],"such":[78],"as":[79,190,204],"averaging,":[80],"convolution":[81],"etc.":[82],"applied":[84],"segment":[87],"input":[89,205],"pixels":[91,214],"called":[92],"window":[93,113,215],"single":[96],"iteration":[97],"repeated":[99],"entire":[102],"image.":[103],"Our":[104],"key":[105],"idea":[106],"imitate":[109],"values":[116,141,187],"rather":[117],"than":[118],"concrete":[119,140,185],"ones":[120],"path":[123,131,163,175,247],"constraints":[124,132,164,179],"under":[128,251],"test.":[129],"generated":[133],"solved":[138],"our":[143],"simple":[144],"SAT":[145],"solver":[146],"solutions":[149,161],"guide":[153],"specific":[158],"paths.":[159,192,258],"synthetic":[169],"each":[173,246],"identified":[174],"not":[182],"solvable":[183],"reported":[189],"infeasible":[191,257],"We":[193],"have":[194],"developed":[195],"tool":[197],"IMSUITthat":[198],"takes":[199],"an":[200,229],"function":[203],"executes":[207],"symbolically":[210],"given":[213],"images.":[219],"Effectiveness":[220],"IMSUIT":[222],"tested":[224],"modules":[227],"optical":[230],"character":[231],"recognition":[232],"system":[233],"result":[236],"shows":[237],"that":[238],"it":[239],"can":[240],"successfully":[241],"create":[242],"identifying":[256]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}