Ing. Miroslav Bureš, Ph.D.

Oxygen

(previously PCTgen)

URL: http://sen.felk.cvut.cz/oxygen

Oxygen (previously PCTgen) is project focusing on efficiency and possible improvements in methods for process and data consistency testing of software applications. The research cover areas as automated generation of the test cases, more flexible and practically applicable coverage criteria and synergies between process and data consistency testing. One of project practical outputs is application Oxygen for automated generation of the test cases for application processes of workflows and data consistency tests. The main use case of the application is to significantly reduce the test designer’s time needed for manual creation of the process test cases. Besides the practical usability of its public release for the test designer community, the application serves as experimental platform for verification of proposed enhancements in test design techniques.

People: Ing. Miroslav Bureš, Ph.D.

  • 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
  • Bureš, M. Optimization of the Test Strategy and Efficient Operational Decisions during the Testing of Complex Software Systems: An Approach Based on Simulation of Testing Process. International Journal on Information Technologies and Security. 2014, 6(1), 3-14. ISSN 1313-8251. Available from: http://ijits-bg.com/contents/2014%20(vol.6)/No1-2014.rar
  • 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
  • Bureš, M. Automated Testing in the Czech Republic: The Current Situation and Issues. 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. 294-301. ACM International Conference Proceeding Series. vol. 883. ISBN 978-1-4503-2753-4. Available from: http://dl.acm.org/citation.cfm?id=2659532.2659605
  • Filipský, M., M. Bureš, and I. Jelínek. Finding Common Subsequences in Recorded Test Cases [online]. In: Proceedings of ICSEA 2013: The Eighth International Conference on Software Engineering Advances. The Eighth International Conference on Software Engineering Advances, Venice, 2013-10-27/2013-11-01. Wilmington: IARIA, 2013, pp. 51-54. ISSN 2308-4235. ISBN 978-1-61208-304-9. Available from: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2013_2_40_10272
  • 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.
  • Filipský, M., M. Bureš, and I. Jelínek. BUILDING TEST SUITES FROM TEST RECORDINGS OF WEB. In: Proceedings of IADIS International Conference WWW/INTERNET 2012. International Conference WWW/INTERNET 2012, Madrid, 2012-11-18/2012-11-21. Silicon Valley: International Academy, Research and Industry Association (IARIA), 2012, pp. 507-510. ISBN 978-989-8533-09-8. Available from: http://www.internet-conf.org/
  • Filipský, M., M. Bureš, and I. Jelínek. Framework for Better Efficiency of Automated Testing. In: Proceedings of The Seventh International Conference on Software Engineering Advances. The Seventh International Conference on Software, Lisbon, 2012-11-18/2012-11-23. Silicon Valley: International Academy, Research and Industry Association (IARIA), 2012, pp. 615-618. vol. 1. ISBN 978-1-61208-025-3. Available from: http://www.iaria.org/conferences2012/ICSEA12.html
  • Frajták, K., M. Bureš, and I. Jelínek. Manual testing of web software systems supported by direct guidance of the tester based on design model. World Academy of Science, engineering and Technology. 2011, 80 243-246. ISSN 2010-376X. Available from: http://www.scopus.com/inward/record.url?eid=2-s2.0-80052142179&partnerID=40&md5=b88ef067ea6c7dad229641221647c1c7
  • 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
  • Bureš, M. and I. Jelínek. Open Solution for Generation of Draft Test Cases from Design Documentation. In: CUNNINGHAM, S. and S. GROUT, and N. HOULDEN, and D. ORAM, and R. PICKING, eds. Proceedings of the Fourth International Conference on Internet Technologies and Applications (ITA 11). Fourth International conference on Internet Technologies and Applications, Wrexham, 2011-09-06/2011-09-09. Wrexham: Centre for Applied Internet Research (CAIR), 2011, pp. 605-606. ISBN 978-0-946881-68-0.
  • Vališová, A. and M. Bureš. Výchova k práci s informacemi a informačními prameny. In: Vališová, A. and H. KASÍKOVÁ, eds. Pedagogika pro učitele. Praha: Grada, 2011, pp. 213-222. ISBN 978-80-247-3357-9. Available from: http://www.grada.cz
  • Bureš, M. and I. Jelínek. Quality Assurance of Web-based Application: Approach Based on Independent Verification of Analysis and Design. In: ROMANSKY, R., eds. Proceedings of International Conference on Information Technologies. International Conference on Information Technologies, Varna, 2010-09-16/2010-09-18. Sofia: Technical University, 2010, pp. 141-148. ISSN 1314-1023.