{"id":"https://openalex.org/W3094865699","doi":"https://doi.org/10.1109/icsme46990.2020.00105","title":"Verifying and Testing Concurrent Programs using Constraint Solver based Approaches","display_name":"Verifying and Testing Concurrent Programs using Constraint Solver based Approaches","publication_year":2020,"publication_date":"2020-09-01","ids":{"openalex":"https://openalex.org/W3094865699","doi":"https://doi.org/10.1109/icsme46990.2020.00105","mag":"3094865699"},"language":"en","primary_location":{"id":"doi:10.1109/icsme46990.2020.00105","doi":"https://doi.org/10.1109/icsme46990.2020.00105","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsme46990.2020.00105","pdf_url":null,"source":{"id":"https://openalex.org/S4210174939","display_name":"IEEE International Conference on Software Maintenance (ICSM)","issn_l":"1063-6773","issn":["1063-6773","2576-3148"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)","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/A5045199869","display_name":"Dhriti Khanna","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I119939252","display_name":"Indraprastha Institute of Information Technology Delhi","ror":"https://ror.org/03vfp4g33","country_code":"IN","type":"education","lineage":["https://openalex.org/I119939252"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Dhriti Khanna","raw_affiliation_strings":["IIIT-Delhi, Delhi, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT-Delhi, Delhi, India","institution_ids":["https://openalex.org/I119939252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039037722","display_name":"Rahul Purandare","orcid":"https://orcid.org/0000-0001-8677-0601","observed_orcids":["https://orcid.org/0000-0001-8677-0601"]},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rahul Purandare","raw_affiliation_strings":["IIT Delhi, Delhi, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIT Delhi, Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014202235","display_name":"Subodh Sharma","orcid":"https://orcid.org/0000-0003-3069-3744","observed_orcids":["https://orcid.org/0000-0003-3069-3744"]},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Subodh Sharma","raw_affiliation_strings":["IIT Delhi, Delhi, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIT Delhi, Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3257,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.40986431,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"834","last_page":"838"},"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.9940999746322632,"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.9940999746322632,"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/T10142","display_name":"Formal Methods in Verification","score":0.004000000189989805,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.0017000000225380063,"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/concurrent-programs","display_name":"concurrent programs","score":0.8650000095367432},{"id":"https://openalex.org/keywords/dynamic-verification","display_name":"dynamic verification","score":0.9629999995231628},{"id":"https://openalex.org/keywords/constraint-solvers","display_name":"constraint solvers","score":0.8669999837875366},{"id":"https://openalex.org/keywords/nondeterminism","display_name":"non-determinism","score":0.7570000290870667},{"id":"https://openalex.org/keywords/interleaving","display_name":"interleaving","score":0.6489999890327454},{"id":"https://openalex.org/keywords/scalability","display_name":"scalability","score":0.8569999933242798},{"id":"https://openalex.org/keywords/reachable-state-space","display_name":"reachable state space","score":0.8069999814033508},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.6899999976158142}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8349052667617798},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6313743591308594},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5906768441200256},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.48822978138923645},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.47775760293006897},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.4476644992828369},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.43948209285736084},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.43156546354293823},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4202331304550171},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40058839321136475},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3744417130947113},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37278681993484497},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35694387555122375},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13024696707725525},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0888042151927948},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","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/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsme46990.2020.00105","doi":"https://doi.org/10.1109/icsme46990.2020.00105","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsme46990.2020.00105","pdf_url":null,"source":{"id":"https://openalex.org/S4210174939","display_name":"IEEE International Conference on Software Maintenance (ICSM)","issn_l":"1063-6773","issn":["1063-6773","2576-3148"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W22759171","https://openalex.org/W818779475","https://openalex.org/W1498080871","https://openalex.org/W1510543252","https://openalex.org/W1522334395","https://openalex.org/W1581214603","https://openalex.org/W1710734607","https://openalex.org/W1965194038","https://openalex.org/W1978898818","https://openalex.org/W1980044088","https://openalex.org/W2005335403","https://openalex.org/W2009489720","https://openalex.org/W2051393771","https://openalex.org/W2067406339","https://openalex.org/W2101512909","https://openalex.org/W2104856134","https://openalex.org/W2112274482","https://openalex.org/W2123468567","https://openalex.org/W2146412016","https://openalex.org/W2149871224","https://openalex.org/W2153675200","https://openalex.org/W2170998491","https://openalex.org/W2171683519","https://openalex.org/W2245012982","https://openalex.org/W2246524736","https://openalex.org/W2357666213","https://openalex.org/W2556273741","https://openalex.org/W2619153025","https://openalex.org/W2743702233","https://openalex.org/W2747858519","https://openalex.org/W2749582297","https://openalex.org/W2808769940","https://openalex.org/W2888080919","https://openalex.org/W2898930465","https://openalex.org/W2972147224","https://openalex.org/W4242852064"],"related_works":["https://openalex.org/W2398358240","https://openalex.org/W2010175831","https://openalex.org/W170096106","https://openalex.org/W7099754517","https://openalex.org/W4220848444","https://openalex.org/W2087686900","https://openalex.org/W2890090020","https://openalex.org/W2403719849","https://openalex.org/W2511753517","https://openalex.org/W2583255010"],"abstract_inverted_index":{"The":[0,60],"success":[1],"of":[2,10,27,39,45,56,88,100,104,117,132,142],"dynamic":[3,32,66,118],"verification":[4,33,67,94,119],"techniques":[5],"for":[6],"confirming":[7],"the":[8,22,28,37,43,46,54,65,71,74,79,86,89,98,115,121,128,140],"absence":[9],"bugs":[11,105],"in":[12,139],"concurrent":[13,143],"programs":[14],"rests":[15],"on":[16,63,73],"their":[17],"ability":[18],"to":[19,42,77,106,113],"systematically":[20],"address":[21],"interleaving":[23],"space":[24,49],"arising":[25],"because":[26],"nondeterminism.":[29],"However,":[30],"existing":[31],"engines":[34],"suffer":[35],"from":[36,97],"problem":[38],"scalability":[40],"due":[41],"size":[44],"reachable":[47],"state":[48],"that":[50],"grows":[51],"exponentially":[52],"as":[53,83,85,123],"number":[55],"parallel":[57],"entities":[58],"increases.":[59],"second":[61],"front":[62],"which":[64],"technique":[68,95],"struggles":[69],"is":[70],"dependence":[72],"test":[75,90],"cases":[76],"drive":[78],"program,":[80],"thus":[81],"being":[82],"efficient":[84],"quality":[87],"cases.":[91],"Lastly,":[92],"any":[93],"suffers":[96],"lack":[99],"a":[101],"significant":[102],"benchmark":[103],"prove":[107],"its":[108],"worth.":[109],"This":[110],"work":[111,138],"tries":[112],"improve":[114],"area":[116],"concerning":[120],"limitations":[122],"mentioned":[124],"above.":[125],"We":[126],"utilize":[127],"worthiness":[129],"and":[130,135],"popularity":[131],"constraint":[133],"solvers":[134],"establish":[136],"our":[137],"realm":[141],"programs.":[144]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-10-29T09:56:32.521200","created_date":"2020-11-09T00:00:00"}