deadlock
- 1995년 독일 철도 Hamburg-Altona 역의 철로 스위치 시스템 장애 2019.07.18
- 페이퍼요약 - 멀티쓰레드 프로그램 테스팅 도구를 위한 프레임워크와 벤치마크 by Eytani 2018.05.18
- 페이퍼요약 - 컨커런트 자바 프로그램에서 에러 발견 by Hughes 2018.05.16
- 문서요약 - GrammaTech 정적 분석기를 통한 동시성 에러 발견 by GrammaTech 2018.05.14
- 페이퍼요약 - 동시성의 멀티쓰레드 애플리케이션 테스팅에 대한 조사 by Abdelqawy 2018.05.11
- 페이퍼요약 - 분산 인터넷 시스템 테스팅 사례 연구 by GOESCHL 2018.05.04
- 문서요약 - 분산 시스템 테스팅 사례 연구 by Long 2018.04.23
- 페이퍼요약 - 실시간 제약이 있는 고안전 철도 인터로킹 시스템의 검증 by Hartonas-Garmhausen 2018.01.22
- 문서요약 - 잠복성 임베디드 소프트웨어 버그의 상위 10가지 원인 by Barr 2017.12.19