Syntax-guided synthesis 论文

2013引用 518
DOI
Software Testing and Debugging TechniquesSoftware Engineering ResearchSoftware System Performance and Reliability
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware System Performance and Reliability
关系图谱

Syntax-guided synthesis · 作者

A

Abhishek Udupa

E

Emina Torlak

A

Armando Solar-Lezama

R

Rishabh Singh

S

Sanjit A. Seshia

M

Mukund Raghothaman

M

Milo M. K. Martin

G

Garvit Juniwal

R

Rastislav Bodík

R

Rajeev Alur