Výsledky vyhľadávania

  1. Test Data Generation for MC/DC Criterion using Reinforcement Learning / aut. Ján Čegiň, Karol Rástočný
    Čegiň Ján ; 070200  Rástočný Karol ; 070200
    2020 IEEE International Conference on Software Testing, Verification and Validation Workshop (ICSTW) . S. 354-358
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok

  2. Does Live Regression Testing Help? / aut. Marek Bruchatý, Karol Rástočný
    Bruchatý Marek  Rástočný Karol ; 070200
    SOFSEM 2020: Theory and Practice of Computer Science, 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings . S. 699-709
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok

  3. Towards Automatic Comparison of Cloud Service Security Certifications / aut. Martin Labaj, Karol Rástočný, Daniela Chudá
    Labaj Martin ; 070200  Rástočný Karol ; 070200 Chudá Daniela ; 070200
    SOFSEM 2019: Theory and Practice of Computer Science. 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings . S. 297-309
    spracovanie prirodzeného jazyka ontológia certifikácia služby Cloud certifikačná schéma
    článok zo zborníka
    AFD - Publikované príspevky na domácich vedeckých konferenciách
    článok

    článok

  4. Interactive Visualization of Differences between Software Model Versions / aut. Jakub Ondík, Karol Rástočný
    Ondík Jakub  Rástočný Karol ; 070200
    Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, February 20-22, 2019, in Prague, Czech republic / . S. 266-273
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    (1) - článok
    článok

    článok

  5. Automated Change Propagation from Source Code to Sequence Diagrams / aut. Karol Rástočný, Andrej Mlynčár
    Rástočný Karol ; 070200  Mlynčár Andrej ; 070200
    SOFSEM 2018: Theory and Practice of Computer Science, 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / . S. 168-179
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    (1) - článok
    článok

    článok

  6. Semiautomatizované porovnávanie certifikačných schém cloudových služieb / aut. Martin Labaj, Karol Rástočný, Daniela Chudá
    Labaj Martin ; 070200  Rástočný Karol ; 070200 Chudá Daniela ; 070200
    Data a znalosti and WIKT 2018. Sborník konference. Brno, Hotel Santon, Česká republika, 11.-12. října 2018 / . S. 183-186
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok

  7. Activity-based Model Synchronization and Defects Detection for Small Teams / aut. Jakub Ondik, Martin Olejár, Karol Rástočný, Mária Bieliková
    Ondik Jakub ; 070200  Olejár Martin ; 070200 Rástočný Karol ; 070200 Bieliková Mária ; 070200
    QRS 2017. Proceedings The 2017 IEEE International Conference on Software Quality, Reliability and Security (Companion Volume) (QRS-C 2017) 25-29 July 2017, Prague, Czech Republic . S. 8-15
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok

  8. DevACTs: Zber a vyhodnocovanie aktivít, úloh a zdrojového kódu vývojárov / aut. Karol Rástočný, Martin Konôpka, Mária Bieliková, Pavol Návrat
    Rástočný Karol ; 070200  Konôpka Martin ; 070200 Bieliková Mária ; 070200 Návrat Pavol ; 070200
    Proceedings WIKT and DaZ 2016. 11th workshop on intelligent and knowledge oriented technologies, 35th conference on data and knowledge, November 3-4, 2016 Smolenice, Slovakia / . S. 155-158
    článok zo zborníka
    AFD - Publikované príspevky na domácich vedeckých konferenciách
    článok

    článok

  9. Metadata Management for Large Information Spaces / aut. Karol Rástočný
    Rástočný Karol ; 070200 
    Information Sciences and Technologies. Bulletin of the ACM Slovakia . Vol. 8, no. 2 (2016), s. 17-20
    článok z periodika
    ADF - 12/Vedecké práce v domácich nekarentovaných časopisoch ; 13/Vedecké práce v ostatných domácich časopisoch
    článok

    článok

  10. Source code review recommendation / aut. Matej Chlebana ; škol. Karol Rástočný
    Chlebana Matej ; I200  Rástočný Karol ; 070200 (škol.)
    IIT.SRC 2015, Student Research Conference: . S. 251-256
    článok zo zborníka
    AFD - Publikované príspevky na domácich vedeckých konferenciách
    (1) - článok
    článok

    článok