Work

Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code

Year: 2025

Type: conference-paper

Abstract: Program invariants, which are properties that hold at specific program locations, are important in formal program verification and analysis. Traditional invariant generation methods using dynamic and static analyses are abundant and powerful, supporting a wide range of applications. However, these tools often remain underutilized due to their complex command-line interfaces and the technical expertise required for usage.

Source: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

DOI: 10.1145/3713081.3731737

Authors: Stefania Piciorea, ThanhVu Nguyen

Institution: George Mason University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4411088308

FWCI:

Cites: 8

Cited by:

Related to: 10