모델 기반 테스팅
- Petri Nets 모델링 예 by Jan Martijn van der Werf 2023.06.26
- Petri Nets 신택스 by Dr. RoboDude 2023.06.05
- 책 요약 – 페트리 네트 모델링 by Jorgensen 2023.05.15
- 책 요약 – FSM 모델을 활용한 테스트 케이스 생성 by NAIK 2022.10.17
- 페이퍼 요약 – UML 시퀀스 다이어그램 기반 테스트케이스 생성 by Rhmann 2022.07.11
- 영상자료 - 상태 기반 테스팅 기법 2021.11.01
- 영상자료 - 유한 상태 기계 테스팅 by Udacity 2020.03.05
- 상태 전이 테스팅 기법 2020.03.02
- 페이퍼요약 - Simulink Code Inspector로 코드 리뷰 자동화하기 by Conrad 2019.05.31
- 페이퍼요약 – 자동차 시스템의 피처 지향 요구사항 확인 by Zhou 2019.05.13