IntensiVE - A Toolsuite For Documenting and Checking Structural Source-Code Regularities

The document introduces IntensiVE, a tool suite for documenting and checking structural source code regularities. It allows defining intensional views, which are groups of code entities that share properties, and relations between views. IntensiVE verifies constraints on views and relations and provides feedback on problems. It was tested on two case studies where it documented regularities before and verified them after code changes. Intensional views and relations provide a simplified way to represent structural patterns in code.