External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts

Peilin Zheng, Bowei Su, Xiapu Luo, Ting Chen 0002, Neng Zhang 0001, Zibin Zheng. LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts. In Maria Christakis, Michael Pradel, editors, Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024. pages 566-577, ACM, 2024. [doi]

Authors

Peilin Zheng

This author has not been identified. Look up 'Peilin Zheng' in Google

Bowei Su

This author has not been identified. Look up 'Bowei Su' in Google

Xiapu Luo

This author has not been identified. Look up 'Xiapu Luo' in Google

Ting Chen 0002

This author has not been identified. Look up 'Ting Chen 0002' in Google

Neng Zhang 0001

This author has not been identified. Look up 'Neng Zhang 0001' in Google

Zibin Zheng

This author has not been identified. Look up 'Zibin Zheng' in Google
runs on