상세 보기
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
- 제목
- Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
- 제목 (타언어)
- Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
- 저자
- Hakjoo Oh
- 발행일
- 2020-11-06
- 학회명
- ESEC/FSE 2020: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
- 개최국가
- 미국
- 학회 개최일
- 2020-11-06 ~ 2020-11-16