Enhancing constraint based test generation by local search.
Proceedings of the 6th International Conference on Software and Computer Applications, 2017
Test image generation using segmental symbolic evaluation for unit testing.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014
Towards Generating Local High-Coverage Tests for Evolving Software.
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012