A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. - Cristina Tudose; Radu Opria (SEFM, 2010)