λ³Έ μ°κ΅¬λ LLMμ λ€μ΄μ€νΈλ¦Ό μ±λ₯ ν₯μμ μν΄ ννλ ¨ λ°μ΄ν°μ λ€μμ±μ΄ μ€μν¨μ κ°μ‘°νλ©°, κΈ°μ‘΄ ν
μ€νΈ κΈ°λ° λ€μμ± μ§νμ νκ³λ₯Ό μ§μ ν©λλ€. μ΄λ₯Ό ν΄κ²°νκΈ° μν΄ ν΄μ κ°λ₯ν νΉμ§ 곡κ°μμμ λ°μ΄ν° λ€μμ±μ μΈ‘μ νλ FAC(Feature Activation Coverage)λ₯Ό μ μνκ³ , μ΄λ₯Ό κΈ°λ°μΌλ‘ FAC SynthesisλΌλ λ°μ΄ν° ν©μ± νλ μμν¬λ₯Ό κ°λ°νμ΅λλ€. μ΄ νλ μμν¬λ ν¬μ μ€ν μΈμ½λλ₯Ό μ¬μ©νμ¬ λΆμ‘±ν νΉμ§μ νμ
νκ³ , ν΄λΉ νΉμ§μ λ°μνλ ν©μ± λ°μ΄ν°λ₯Ό μμ±νμ¬ λ€μ΄μ€νΈλ¦Ό μ±λ₯μ μΌκ΄λκ² ν₯μμν΄μ μ€νμ μΌλ‘ μ
μ¦νμ΅λλ€.