Karel Frajták, Miroslav Bures, Ivan Jelínek. Pex Extension for Generating User Input Validation Code for Web Applications. In Andreas Holzinger, Thérèse Libourel, Leszek A. Maciaszek, Stephen J. Mellor, editors, ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications, Vienna, Austria, 29-31 August, 2014. pages 315-320, SciTePress, 2014. [doi]
Abstract is missing.