Test Case Design Based on Z and the Classification-Tree Method. - Harbhajan Singh; Mirko Conrad; Sadegh Sadeghipour (ICFEM, 1997)

Automated Test Set Generation for Statecharts. - Kirill Bogdanov 002; Mike Holcombe; Harbhajan Singh (FM-Trends, 1998)

Testing a system specified using Statecharts and Z. - Robert M. Hierons; Sadegh Sadeghipour; Harbhajan Singh (Inf. Softw. Technol., 2001)

Automatically Generating Information from a Z Specification to Support the Classification Tree Method. - Robert M. Hierons; Mark Harman; Harbhajan Singh (ZB, 2003)

Dynamically Visualizing Key Performance Indicators for Informed Business Decision-Making. - Harbhajan Singh; Manjinder Singh; Rohit Kumar; Shafaq Khan (ICRSA, 2023)