Showing results 3 to 4 of 4
SimpleLock(+): Fast and Accurate Hybrid Data Race Detection Yu, Misun; Bae, Doo-Hwan, COMPUTER JOURNAL, v.59, no.6, pp.793 - 809, 2016-06 |
상호작용하는 동기화된 프로그램의 디버깅을 위한 테스트 케이스 자동화 생성 = Automated test case generation for debugging reactive synchronous programslink 조민경; Cho, Min-Kyung; et al, 한국과학기술원, 2009 |
Discover