Keywords = Software testing
Test data generation for program units using a game with a purpose

Volume 30, Issue 5, September and October 2023, Pages 1670-1686

10.24200/sci.2023.60224.6673

Sh. Moosavi; M. Vahidi-Asl; H. Haghighi


Constructing automated test oracle for low observable software

Volume 27, Issue 3, June 2020, Pages 1333-1351

10.24200/sci.2019.51494.2219

M. Valueian; N. Attar; H. Haghighi; M. Vahidi-Asl


Making problem: A new approach to reachability assurance in digraphs

Volume 25, Issue 3, May and June 2018, Pages 1441-1455

10.24200/sci.2018.20104

M. Valizadeh; M.H. Tadayon; A. Bagheri