Frajták, K., M. Bureš, and I. Jelínek. Pex extension for generating user input validation code for web applications. In: HOLZINGER, A., T. LIBOUREL, L. MACIASZEK, and S. MELLOR, eds. Proceedings of the 9th International Conference on Software Engineering and Applications. 9th International Conference on Software Engineering and Applications, Vienna, 2014-08-29/2014-08-31. Setúbal: INSTICC Press, 2014, pp. 315-320. ISBN 978-989-758-036-9. Available from: http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004994103150320
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, pp. 302-308. ACM International Conference Proceeding Series. vol. 883. ISBN 978-1-4503-2753-4. Available from: http://dl.acm.org/citation.cfm?id=2659532.2659633
Frajták, K., M. Bureš, and I. Jelínek. Web Software Systems Testing Supported by Model-Based Direct Guidance of the Tester. Proceedings of International Conference on Information Technologies. 2012, 2012(26), 45-52. ISSN 1314-1023.
Frajták, K., M. Bureš, and I. Jelínek. Formal specification to support advanced model based testing [online]. In: Federated Conference on Computer Science and Information Systems (FedCSIS 2012). Federated Conference on Computer Science and Information Systems, Wroclaw, 2012-09-09/2012-09-12. New York: IEEE, 2012, pp. 1311-1314. ISBN 978-83-60810-48-4. Available from: http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf