1. Antic, C., Eiter, T., Fink, M., 2013. HEX semantics via approximation fixpoint theory. In: Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain,vol. 8148, pp. 102–115.
2. Bertolino, A., 2007. Software testing research: achievements, challenges, dreams. In: Proceedings of the International Conference Future of Software Engineering, Minneapolis, MN, USA, pp. 85–103.
3. Beyleda, S, Gruhn, V., 2003. BINTEST-binary-search-based test case generation. In: Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC). IEEE Computer Society Press, Dallas, TX, USA, pp. 28–33.
4. Test case generation for transition-pair coverage using scatter search;Blanco;Int. J. Softw. Eng. Appl.,2010
5. Cadar, C., Dunbar, D., Engler, D.R., 2008. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of USENIX Symposium on Operating Systems Design and Implementation, vol. 8, pp. 209–224.