Jun Sun
Information Systems · IEEE Transactions on Software Engineering · 2009–2020
A researcher in the Science corpus: 4 papers; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Information Systems — 21 citations into it
- Artificial Intelligence — 18 citations into it
- Software — 10 citations into it
Whom Jun Sun trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Jun Sun's perspective
Ordered by how strongly the researchers Jun Sun trusts endorse each paper. Same corpus, a different order for every researcher.
- Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
- A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search (IEEE Transactions on Software Engineering)
- Simplifying and Isolating Failure-Inducing Input (IEEE Trans. Software Eng.)
- A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
- Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Asia-Pacific Computer Systems Architecture Conference)
- Search‐based software test data generation: a survey (Software testing, verification & reliability)
- Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
- Relaxing Chosen-Ciphertext Security (Annual International Cryptology Conference)
Their papers
- hPRESS: A Hardware-Enhanced Proxy Re-Encryption Scheme Using Secure Enclave (2020) — 7 citations
- sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts (2020) — 391 citations
- Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study (2018) — 355 citations
- PAT: Towards Flexible Verification under Fairness (2009) — 377 citations