{"id":"https://openalex.org/W4367155907","doi":"https://doi.org/10.5220/0011822200003464","title":"SmartMuVerf: A Mutant Verifier for Smart Contracts","display_name":"SmartMuVerf: A Mutant Verifier for Smart Contracts","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4367155907","doi":"https://doi.org/10.5220/0011822200003464"},"language":"en","primary_location":{"id":"doi:10.5220/0011822200003464","is_oa":true,"landing_page_url":"http://dx.doi.org/10.5220/0011822200003464","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dx.doi.org/10.5220/0011822200003464","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033754131","display_name":"Sangharatna Godboley","orcid":"https://orcid.org/0000-0002-6169-6334"},"institutions":[{"id":"https://openalex.org/I121750182","display_name":"National Institute of Technology Warangal","ror":"https://ror.org/017ebfz38","country_code":"IN","type":"education","lineage":["https://openalex.org/I121750182"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Sangharatna Godboley","raw_affiliation_strings":["NITMINER Technologies Private Limited, Department of Computer Science and Engineering, National Institute of Technology Warangal, Telangana, India, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"NITMINER Technologies Private Limited, Department of Computer Science and Engineering, National Institute of Technology Warangal, Telangana, India, --- Select a Country ---","institution_ids":["https://openalex.org/I121750182"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109849678","display_name":"Prasad Krishna","orcid":null},"institutions":[{"id":"https://openalex.org/I121750182","display_name":"National Institute of Technology Warangal","ror":"https://ror.org/017ebfz38","country_code":"IN","type":"education","lineage":["https://openalex.org/I121750182"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"P. Krishna","raw_affiliation_strings":["NITMINER Technologies Private Limited, Department of Computer Science and Engineering, National Institute of Technology Warangal, Telangana, India, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"NITMINER Technologies Private Limited, Department of Computer Science and Engineering, National Institute of Technology Warangal, Telangana, India, --- Select a Country ---","institution_ids":["https://openalex.org/I121750182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033754131"],"corresponding_institution_ids":["https://openalex.org/I121750182"],"apc_list":null,"apc_paid":null,"fwci":2.2908,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.89872377,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"346","last_page":"353"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9904999732971191,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9904999732971191,"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/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":0.9606999754905701,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12374","display_name":"European and International Contract Law","score":0.9381999969482422,"subfield":{"id":"https://openalex.org/subfields/3308","display_name":"Law"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6806390285491943},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4965894818305969},{"id":"https://openalex.org/keywords/mutant","display_name":"Mutant","score":0.4109349548816681},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3599070906639099},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26867079734802246},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.061958909034729004},{"id":"https://openalex.org/keywords/genetics","display_name":"Genetics","score":0.05692872405052185}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6806390285491943},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4965894818305969},{"id":"https://openalex.org/C143065580","wikidata":"https://www.wikidata.org/wiki/Q3285695","display_name":"Mutant","level":3,"score":0.4109349548816681},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3599070906639099},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26867079734802246},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.061958909034729004},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.05692872405052185},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0011822200003464","is_oa":true,"landing_page_url":"http://dx.doi.org/10.5220/0011822200003464","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0011822200003464","is_oa":true,"landing_page_url":"http://dx.doi.org/10.5220/0011822200003464","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3007967230","https://openalex.org/W2030496847","https://openalex.org/W4313313264","https://openalex.org/W831794578","https://openalex.org/W2370652759","https://openalex.org/W2912135041","https://openalex.org/W2385157860","https://openalex.org/W2965732590","https://openalex.org/W1986566755","https://openalex.org/W2039070833"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":5}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}