Search filters

List of works by Yi Li

A Meta-Study of Software-Change Intentions

scientific article published on 25 April 2024

A Vision on Intentions in Software Engineering

scientific article published on 30 November 2023

ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code

scientific article published on 08 November 2020

An Empirical Study to Evaluate AIGC Detectors on Code Content

scientific article published on 18 October 2024

Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery

scientific article published on 01 February 2023

DIFFBASE: a differential factbase for effective software evolution management

scientific article published on 19 August 2021

Demystifying Invariant Effectiveness for Securing Smart Contracts

scientific article published on 12 July 2024

Identifying Solidity Smart Contract API Documentation Errors

scientific article published on 06 January 2023

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts

scientific article published on 06 January 2023

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond

scientific article published on 18 October 2024

Towards Understanding Third-party Library Dependency in C/C++ Ecosystem

scientific article published on 06 January 2023

Paulina is supported by:

About Paulina

Help