Harbhajan Singh

According to our database, Harbhajan Singh authored at least 5 papers between 1997 and 2023.

Collaborative distances:

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

2023

Dynamically Visualizing Key Performance Indicators for Informed Business Decision-Making.

Harbhajan Singh, Manjinder Singh, Rohit Kumar, Shafaq Khan

Proceedings of the 6th International Conference on Robot Systems and Applications, 2023

2003

Automatically Generating Information from a Z Specification to Support the Classification Tree Method.

Robert M. Hierons, Mark Harman, Harbhajan Singh

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2001

Testing a system specified using Statecharts and Z.

Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh

Inf. Softw. Technol., 2001

1998

Automated Test Set Generation for Statecharts.

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

Proceedings of the Applied Formal Methods, 1998

1997

Test Case Design Based on Z and the Classification-Tree Method.

Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997