Lyly Tran Thi

According to our database, Lyly Tran Thi authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Assertion Generation Through Active Learning.

Long H. Pham, Lyly Tran Thi, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2017

Learning Likely Invariants to Explain Why a Program Fails.

Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017