Cited By
View all- Smaragdakis YGrech NLagouvardos STriantafyllou KTsatiris I(2021)Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contractsProceedings of the ACM on Programming Languages10.1145/34855405:OOPSLA(1-30)Online publication date: 15-Oct-2021
- Loring BMitchell DKinder JMcKinley KFisher K(2019)Sound regular expression semantics for dynamic symbolic execution of JavaScriptProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314645(425-438)Online publication date: 8-Jun-2019
- Chowdhury SBorle SRomansky SHindle A(2019)GreenScalerEmpirical Software Engineering10.1007/s10664-018-9640-724:4(1649-1692)Online publication date: 1-Aug-2019
- Show More Cited By