이벤트 기반 임베디드 소프트웨어를 위한 자동화 테스팅 기법.pdf