กำลังโหลด...
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
การอ้างอิงต่อปี
การอ้างอิงซ้ำกัน
บทความต่อไปนี้รวมอยู่ใน Scholar จำนวน
การอ้างอิงที่รวมเข้าด้วยกัน
ของบทความเหล่านี้จะนับเฉพาะบทความแรกเท่านั้น
การอ้างอิงที่รวมเข้าด้วยกัน
จำนวน "อ้างอิงโดย" นี้รวมถึงการอ้างอิงไปยังบทความต่อไปนี้ใน Scholar บทความที่ทำเครื่องหมาย
*
อาจต่างจากบทความนั้นในโปรไฟล์
เพิ่มผู้เขียนร่วม
ผู้เขียนร่วม
ติดตาม
บทความใหม่โดยผู้เขียนคนนี้
การอ้างอิงใหม่สำหรับผู้เขียนคนนี้
บทความใหม่ที่เกี่ยวข้องกับงานวิจัยของผู้เขียนคนนี้
ที่อยู่อีเมลที่ใช้รับข้อมูลอัปเดต
เสร็จสิ้น
โปรไฟล์ของฉัน
ห้องสมุดของฉัน
เมตริก
การแจ้งเตือน
การตั้งค่า
ลงชื่อเข้าสู่ระบบ
ลงชื่อเข้าสู่ระบบ
รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด
ตั้งแต่ปี 2019
การอ้างอิง
10
10
ดัชนี h
1
1
ดัชนี i10
1
1
0
6
3
2022
2023
2024
3
6
1
ผู้เขียนร่วม
Sooyoung Cha
Sungkyunkwan University
ยืนยันอีเมลแล้วที่ skku.edu
Hakjoo Oh
Professor, Department of Computer Science and Engineering, Korea University
ยืนยันอีเมลแล้วที่ korea.ac.kr
ติดตาม
Jiseong Bak
Department of Computer Science and Engineering,
Korea University
ยืนยันอีเมลแล้วที่ korea.ac.kr -
หน้าแรก
Software Testing
Static Analysis
Program Verification
บทความ
อ้างโดย
ผู้เขียนร่วม
ชื่อ
จัดเรียง
เรียงตามการอ้างอิง
เรียงตามปี
เรียงตามชื่อ
อ้างโดย
อ้างโดย
ปี
Enhancing dynamic symbolic execution by automatically learning search heuristics
S Cha, S Hong, J Bak, J Kim, J Lee, H Oh
IEEE Transactions on Software Engineering 48 (9), 3640-3663
, 2021
10
2021
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
แสดงเพิ่มเติม
ความเป็นส่วนตัว
ข้อกำหนด
ความช่วยเหลือ
เกี่ยวกับ Scholar
ศูนย์ช่วยเหลือของ Search