{"id":"https://openalex.org/W2602675022","doi":"https://doi.org/10.1109/saner.2017.7884649","title":"Cloud-based parallel concolic execution","display_name":"Cloud-based parallel concolic execution","publication_year":2017,"publication_date":"2017-02-01","ids":{"openalex":"https://openalex.org/W2602675022","doi":"https://doi.org/10.1109/saner.2017.7884649","mag":"2602675022"},"language":"en","primary_location":{"id":"doi:10.1109/saner.2017.7884649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner.2017.7884649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100443178","display_name":"Ting Chen","orcid":"https://orcid.org/0000-0001-9165-8331"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]},{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Ting Chen","raw_affiliation_strings":["Center for Cybersecurity, University of Electronic Science and Technology of China, China","Department of Computing, The Hong Kong Polytechnic University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Cybersecurity, University of Electronic Science and Technology of China, China","institution_ids":["https://openalex.org/I150229711"]},{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, China","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041370186","display_name":"Youzheng Feng","orcid":null},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Youzheng Feng","raw_affiliation_strings":["Center for Cybersecurity, University of Electronic Science and Technology of China, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Cybersecurity, University of Electronic Science and Technology of China, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100400376","display_name":"Xiapu Luo","orcid":"https://orcid.org/0000-0002-9082-3208"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiapu Luo","raw_affiliation_strings":["Department of Computing, The Hong Kong Polytechnic University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, China","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083787204","display_name":"Xiaodong Lin","orcid":"https://orcid.org/0000-0001-8916-6645"},"institutions":[{"id":"https://openalex.org/I39470171","display_name":"Ontario Tech University","ror":"https://ror.org/016zre027","country_code":"CA","type":"education","lineage":["https://openalex.org/I39470171"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Xiaodong Lin","raw_affiliation_strings":["Faculty of Business and Information Technology, University of Ontario Institute of Technology, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Business and Information Technology, University of Ontario Institute of Technology, Canada","institution_ids":["https://openalex.org/I39470171"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100780268","display_name":"Xiaosong Zhang","orcid":"https://orcid.org/0000-0001-9886-1412"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaosong Zhang","raw_affiliation_strings":["Center for Cybersecurity, University of Electronic Science and Technology of China, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Cybersecurity, University of Electronic Science and Technology of China, China","institution_ids":["https://openalex.org/I150229711"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"437","last_page":"441"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9987000226974487,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.8827144503593445},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8441248536109924},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.7817990779876709},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7732868194580078},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.6376764178276062},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5380477905273438},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5234629511833191},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5015835762023926},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.48034989833831787},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40147215127944946},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2339257299900055},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.20638763904571533},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16456454992294312},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13080281019210815}],"concepts":[{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.8827144503593445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8441248536109924},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.7817990779876709},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7732868194580078},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.6376764178276062},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5380477905273438},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5234629511833191},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5015835762023926},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48034989833831787},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40147215127944946},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2339257299900055},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20638763904571533},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16456454992294312},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13080281019210815},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/saner.2017.7884649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner.2017.7884649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)","raw_type":"proceedings-article"},{"id":"pmh:oai:ira.lib.polyu.edu.hk:10397/71828","is_oa":false,"landing_page_url":"http://hdl.handle.net/10397/71828","pdf_url":null,"source":{"id":"https://openalex.org/S4306400205","display_name":"PolyU Institutional Research Archive (Hong Kong Polytechnic University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I14243506","host_organization_name":"Hong Kong Polytechnic University","host_organization_lineage":["https://openalex.org/I14243506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W174400340","https://openalex.org/W2021862793","https://openalex.org/W2062392785","https://openalex.org/W2095551048","https://openalex.org/W2131975293","https://openalex.org/W2167818871","https://openalex.org/W2169063148","https://openalex.org/W2296449549","https://openalex.org/W2334987888","https://openalex.org/W2486449171","https://openalex.org/W4285719527","https://openalex.org/W6679815717","https://openalex.org/W6697360540"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W1992057646","https://openalex.org/W3138386522","https://openalex.org/W3134905881","https://openalex.org/W2499279132"],"abstract_inverted_index":{"Path":[0],"explosion":[1],"is":[2,129],"one":[3],"of":[4,12,63,85,100,116],"the":[5,9,60,75,83,98,114],"biggest":[6],"challenges":[7],"hindering":[8],"wide":[10],"application":[11],"concolic":[13,24,55,72],"execution.":[14],"Although":[15],"several":[16,92],"parallel":[17],"approaches":[18],"have":[19],"been":[20],"proposed":[21],"to":[22,59,74,112],"accelerate":[23],"execution,":[25],"they":[26],"neither":[27],"scale":[28],"well":[29],"nor":[30],"properly":[31],"handle":[32],"resource":[33,149],"fluctuations":[34,150],"and":[35,57,79,105,139,146,151],"node":[36,152],"failures,":[37,153],"which":[38,53],"often":[39],"happen":[40],"in":[41],"practice.":[42],"In":[43,88],"this":[44],"paper,":[45],"we":[46,90],"propose":[47],"a":[48,120],"novel":[49],"approach,":[50],"named":[51],"PACCI,":[52],"parallelizes":[54],"execution":[56,73],"adapts":[58],"drastic":[61],"changes":[62],"computing":[64],"resources":[65],"by":[66],"leveraging":[67],"cloud":[68,86],"infrastructures.":[69,87],"PACCI":[70,128],"tailors":[71],"MapReduce":[76],"programming":[77],"model":[78],"takes":[80],"into":[81],"account":[82],"features":[84],"particular,":[89],"tackle":[91],"challenging":[93],"issues,":[94],"such":[95],"as":[96],"making":[97],"exploration":[99,110],"different":[101],"program":[102],"paths":[103],"independently":[104],"constructing":[106],"an":[107],"extensible":[108],"path":[109],"module":[111],"support":[113],"prioritization":[115],"test":[117],"inputs":[118],"from":[119],"global":[121],"perspective.":[122],"Preliminary":[123],"experimental":[124],"results":[125],"show":[126],"that":[127],"scalable":[130],"(e.g.,":[131],"gaining":[132],"about":[133,144],"20\u00d7":[134],"speedup":[135],"using":[136],"24":[137],"nodes)":[138],"its":[140],"efficiency":[141],"declines":[142],"slightly":[143],"5%":[145],"6.1%":[147],"under":[148],"respectively.":[154]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}