XiongYingfei

A case study on consistency management of business and IT process models in banking

CzarneckiKrzysztof, BrancoMoisés Castelo, XiongYingfei, 2014 .

Detecting floating-point errors via atomic conditions

SuZhendong, ZhangLu, XiongYingfei, 2019 .

A Survey of Compiler Testing

ZhangLu, ChenJunjie, HaoDan, 2020 .