Sunbeom So
YOU?
Author Swipe
View article: Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations Open
Diver is a black-box fuzzer for testing SMT Solvers. The technical details of Diver can be found in our paper accepted to ICSE 2023: "Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations" The artifact is also provided…
View article: Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations Open
Diver is a black-box fuzzer for testing SMT Solvers. The technical details of Diver can be found in our paper accepted to ICSE 2023: "Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations" The artifact is also provided…
View article: Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations Open
Diver is a black-box fuzzer for testing SMT Solvers. We provide the technical details of Diver in our paper "Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations" accepted in ICSE 2023. The detailed instructions of th…
View article: Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations Open
Diver is a black-box fuzzer for testing SMT Solvers. The technical details of Diver can be found in our paper accepted to ICSE 2023: "Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations" The artifact is also provided…
View article: VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts Open
We present VERISMART, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically important because smart contracts are immutable and even a s…
View article: VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Open
We present VeriSmart, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically important because smart contracts are immutable and even a s…
View article: Automatic diagnosis and correction of logical errors for functional programming assignments
Automatic diagnosis and correction of logical errors for functional programming assignments Open
We present FixML, a system for automatically generating feedback on logical errors in functional programming assignments. As functional languages have been gaining popularity, the number of students enrolling functional programming courses…
View article: Synthesizing Pattern Programs from Examples
Synthesizing Pattern Programs from Examples Open
We describe a programming-by-example system that automatically generates pattern programs from examples. Writing pattern programs, which produce various patterns of characters, is one of the most popular programming exercises for entry-lev…
View article: Synthesizing Imperative Programs from Examples Guided by Static Analysis
Synthesizing Imperative Programs from Examples Guided by Static Analysis Open
We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm generates a complete program that is consistent with every ex…