Jiwon Park

20222023202410 15 2

공개 액세스

자료 1개

자료 0개

공개

비공개

재정 지원 요구사항 기준

Jiwon Park

berkeley.edu의 이메일 확인됨


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Generative Type-Aware Mutation for Testing SMT Solvers J PARK, D WINTERER, C ZHANG, Z SU	27	2021
SMT solver testing with type and grammar based mutation J Park Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021		2021

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–2

연간 인용횟수