Automated testing of an industrial stock market trading platform based on functional specification. - Arvin Zakeriyan; Ramtin Khosravi; Hadi Safari; Ehsan Khamespanah; Seyede Mehrnaz Shamsabadi (Sci. Comput. Program., 2023)