SCStudio: a secure and efficient integrated development environment for smart contracts.

Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, Yu Jiang

Browse the full ISSTA paper archive.