基于约束的软件失效域识别与特征分析
기우약속적연건실효역식별여특정분석
A Constraint-Based Approach to Identifying and Analyzing Failure-Causing Regions
저자의 최근 논문