정적 분석
- 영상자료 - MISRA 및 정적 코드 분석 지원 도구 PC-Lint 2021.09.06
- 데이터 흐름 테스팅 2020.05.11
- 제어 흐름 테스팅(Control-flow Testing) 개념 정리 2020.05.04 2
- 문서요약 - GrammaTech 정적 분석기를 통한 동시성 에러 발견 by GrammaTech 2018.05.14
- 페이퍼요약 - 동시성의 멀티쓰레드 애플리케이션 테스팅에 대한 조사 by Abdelqawy 2018.05.11
- 페이퍼요약 - 의료 기기 소프트웨어의 아키텍쳐 기반 정적 분석 by Ganesan 2017.12.06