최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용, v.40 no.2, 2013년, pp.90 - 98
김윤호 (KAIST 전산학과) , 김문주 (KAIST 전산학과) , 장윤규 (삼성전자 소프트웨어센터)
Conventional testing methods often fail to assure reliability of embedded software due to inefficiency and ineffectiveness of manual test case generation. Concolic testing can address this by automatically generating test cases but has a limitation that does not support bitwise operations critical t...
※ AI-Helper는 부적절한 답변을 할 수 있습니다.