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

Cristina Tudose Radu Opria

Published in: SEFM (2010)

Keyphrases

software systems
design patterns
source code
software engineering
software design
symbolic execution
metamodel
artificial intelligence
cooperative