Thanh-Binh Trinh

According to our database, Thanh-Binh Trinh authored at least 6 papers between 2008 and 2026.

Collaborative distances:

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

2026

TCG: an approach to improving test-driven development by exploiting use case specifications.

Thanh-Binh Trinh, Ninh-Thuan Truong

Int. J. Syst. Assur. Eng. Manag., April, 2026

2025

A multi-task test case optimization framework with integrated explainable AI for customer churn prediction.

Thanh-Binh Trinh, Van Hieu Vu, Thi Van Nguyen

J. Supercomput., September, 2025

2017

A tool support for checking consistency in model refactoring.

Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong

Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

2011

Refining Undetermined Events for Specifying Concurrent Programs.

Thanh-Binh Trinh, Ninh-Thuan Truong, Viet Ha Nguyen

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2009

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.

Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Checking Interface Interaction Protocols Using Aspect-Oriented Programming.

Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008