| 2019 |
J |
jnl |
IEEE Trans. Ind. Electron.
Lei Fan, Long Chen, Chaoqiang Zhang, Wei Tian, Dongpu Cao
|
| 2016 |
J |
jnl |
Softw. Test. Verification Reliab.
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
|
| 2016 |
J |
jnl |
CoRR
Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, Gokul Caushik
|
| 2015 |
— |
conf |
ISQED
Miroslav N. Velev, Chaoqiang Zhang, Ping Gao, Alex David Groce
|
| 2015 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
|
| 2014 |
A |
conf |
ICST
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
|
| 2014 |
A |
conf |
ISSTA
Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour
|
| 2014 |
J |
jnl |
IEEE Trans. Software Eng.
Alex Groce, Todd Kulesza, Chaoqiang Zhang, Shalini Shamasunder, Margaret M. Burnett, Weng-Keen Wong, Simone Stumpf, Shubhomoy Das, Amber Shinsel, Forrest Bice, Kevin McIntosh
|
| 2013 |
A |
conf |
ISSTA
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
|
| 2013 |
A |
conf |
ISSRE
Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr
|
| 2013 |
A* |
conf |
PLDI
Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr
|
| 2012 |
A |
conf |
ISSTA
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr
|