Proceedings FUZZING 2022 - 1st International Fuzzing Workshop最新文献

筛选

英文中文

First, Fuzz the Mutants 首先是变种人

Proceedings FUZZING 2022 - 1st International Fuzzing Workshop Pub Date : 1900-01-01 DOI: 10.14722/fuzzing.2022.23002

Alex Groce, G. Kalburgi, Claire Le Goues, Kush Jain, Rahul Gopinath

引用次数: 0

Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking 通过变异和等价检验生成GPU指令集测试套件

Proceedings FUZZING 2022 - 1st International Fuzzing Workshop Pub Date : 1900-01-01 DOI: 10.14722/fuzzing.2022.23009

Shoham Shitrit, Sreepathi Pai

{"title":"Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking","authors":"Shoham Shitrit, Sreepathi Pai","doi":"10.14722/fuzzing.2022.23009","DOIUrl":"https://doi.org/10.14722/fuzzing.2022.23009","url":null,"abstract":"—Formal semantics for instruction sets can be used to validate implementations through formal veriﬁcation. However, testing is often the only feasible method when checking an artifact such as a hardware processor, a simulator, or a compiler. In this work, we construct a pipeline that can be used to automatically generate a test suite for an instruction set from its executable semantics. Our method mutates the formal semantics, expressed as a C program, to introduce bugs in the semantics. Using a bounded model checker, we then check the mutated semantics to the original for equivalence. Since the mutated and original semantics are usually not equivalent, this yields counterexamples which can be used to construct a test suite. By combining a mutation testing engine with a bounded model checker, we obtain a fully automatic method for constructing test suites for a given formal semantics. We intend to instantiate this on a formal semantics of a portion of NVIDIA’s PTX instruction set for GPUs that we have developed. We will compare to our existing method of testing that uses stratiﬁed random sampling and evaluate effectiveness, cost, and feasibility.","PeriodicalId":314954,"journal":{"name":"Proceedings FUZZING 2022 - 1st International Fuzzing Workshop","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131953573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0