A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution.

Cristina Tudose, Radu Opria

Browse the full SEFM paper archive.