Semantic Scholar Open Access 2016 611 sitasi

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

Sergey Mechtaev Jooyong Yi Abhik Roychoudhury

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

Sergey Mechtaev

Jooyong Yi

Abhik Roychoudhury

Format Sitasi

APA MLA BibTeX

Mechtaev, S., Yi, J., Roychoudhury, A. (2016). Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis. https://doi.org/10.1145/2884781.2884807

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1145/2884781.2884807

Informasi Jurnal

Tahun Terbit: 2016
Bahasa: en
Total Sitasi: 611×
Sumber Database: Semantic Scholar
DOI: 10.1145/2884781.2884807
Akses: Open Access ✓