Frajták, K., Bureš, M., Jelínek, I.
FRAJTÁK, K., M. BUREŠ, and I. JELÍNEK. Reducing user input validation code in web applications using Pex extension. In: ACM International Conference Proceeding Series, Volume 883. CompSysTech'14 - International Conference on Computer Systems and Technologies, Ruse, 2014-06-27/2014-06-28. Rousse: Bulgarian Chapter of ACM, 2014. p. 302-308. ACM International Conference Proceeding Series. ISBN 978-1-4503-2753-4. DOI 10.1145/2659532.2659633.