Mobile agent-based regression test case generation using model and formal specifications. - Pardeep Kumar Arora; Rajesh Bhatia (IET Softw., 2018)