Symbolic Execution for Dynamic, Evolutionary Test Data Generation

Anastasis A. Sofokleous, Andreas S. Andreou, Antonis Kourras. Symbolic Execution for Dynamic, Evolutionary Test Data Generation. In José Cordeiro, Joaquim Filipe, editors, ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume DISI, Milan, Italy, May 6-10, 2009. pages 144-150, 2009.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.