연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (6건)


Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
키워드: #graph #empirical #software #testing #demonstrating
파트: Verification | 연도: 2024
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
키워드: #inconsistencies #heuristic #analyzer #analyzers #heuristics
파트: Strategies | 연도: 2023
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest
키워드: #overload #massive #logging #dangerous #overwhelm
파트: Software Development | 연도: 2022