“…Test generation has also been supported by using model checking (De Angelis et al, 2010;Dong et al, 2010). There are studies related to structural coverage criteria that: use workflow modeling (Karam et al, 2007), handle communication among processes (Endo et al, 2008), consider XPath artifacts (Mei et al, 2008), and evaluate traditional data flow criteria (Mei et al, 2009b). Regression testing is approached considering minimization (Li et al, 2008b) and prioritization (Mei et al, 2009c).…”