Publications

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Kalaji Abdul Salam, Hierons Robert Mark, Swift Stephen

Information and Software Technology Vol 53, pp. 1297-1318 (2011)

https://doi.org/10.1016/j.infsof.2011.06.004

Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem

Kalaji Abdul Salam, Hierons Robert Mark, Swift Stephen

2010 Third International Conference on Software Testing, Verification, and Validation Workshops 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pp. 232-235 (2010)

https://doi.org/10.1109/ICSTW.2010.25

A search-based approach for automatic test generation from extended finite state machine (EFSM)

Kalaji AbdulSalam, Hierons Rob Mark, Swift Stephen

2009 Testing: Academic and Industrial Conference - Practice and Research Techniques 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques, pp. 131-132 (2010)

https://doi.org/10.1109/TAICPART.2009.19

A testability transformation approach for state-based programs

Kalaji AbdulSalam, Hierons Robert Mark, Swift Stephen

2009 1st International Symposium on Search Based Software Engineering 2009 1st International Symposium on Search Based Software Engineering, pp. 85-88 (2009)

https://doi.org/10.1109/SSBSE.2009.14

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)

Kalaji Abdul Salam, Hierons Robert Mark, Swift Stephen

2009 International Conference on Software Testing Verification and Validation 2009 International Conference on Software Testing Verification and Validation, pp. 230-239 (2009)

https://doi.org/10.1109/ICST.2009.29

More publications

Teaching

• Software Engineering
• Software Testing
• Building Software Systems

• Ontology Engineering & Logic-Based Inference
• Database Systems
• Distributed Information Systems

Research Interests

Dr Kalaji’s research focuses on search-based software engineering (SBSE), which involves reformulating software engineering problems as search problems that can be optimised using search techniques. His primary work has been in search-based software testing (SBST), developing techniques that automatically generate test suites from model specifications or program code.

Testing is a significant concern in the software engineering domain, as it can delay software development and increase time to market. Therefore, advances in this domain benefit industry by expediting test generation and application through automation.

Dr Kalaji’s recent interests in SBSE include its application to evolve autonomous systems, a field that is receiving growing attention in both academia and industry, as well as the integration of machine learning techniques to enhance optimisation performance. His recent teaching position has also drawn his attention to research in computer science education.