A Probabilistic Extension of UML-B. - Mohammad Nosrati; Hassan Haghighi (Comput. Informatics, 2019)

Using likely invariants for test data generation. - Mohammad Nosrati; Hassan Haghighi; Mojtaba Vahidi-Asl (J. Syst. Softw., 2020)

Test data generation using genetic programming. - Mohammad Nosrati; Hassan Haghighi; Mojtaba Vahidi-Asl (Inf. Softw. Technol., 2021)