Sunbeom So
Korea University(KR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Teaching and Learning Programming, Cloud Computing and Resource Management, Blockchain Technology Applications and Security
Most-Cited Works
- → VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts(2020)136 cited
- → Synthesizing regular expressions from examples for introductory automata assignments(2016)56 cited
- → Synthesizing Imperative Programs from Examples Guided by Static Analysis(2017)30 cited
- SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution(2021)
- → Automatic diagnosis and correction of logical errors for functional programming assignments(2018)23 cited
- → SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models(2023)16 cited
- → Synthesizing Pattern Programs from Examples(2018)7 cited
- → Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations(2023)6 cited