Mission critical software systems

  • 10 Viittaukset
  • 1 h-index
  • 4 Konferenssiartikkeli
  • 1 Artikkeli

Hakutulokset

  • 2024

    ARCH-COMP 2024 Category Report: Falsification

    Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Soloviev, V., Visconti, E., Waga, M. & Zhang, Z., 10 lokak. 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vuosikerta 103. s. 122-144 23 Sivumäärä (EPiC Series in Computing; Vuosikerta 103).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    64 Lataukset (Pure)

  • Iterative Optimization of Hyperparameter-based Metamorphic Transformations

    Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 syysk. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 13-20 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Localizer: A Visual Debugging Assistant for Python Programs

    Khan, S., Sudheerbabu, G., Truscan, D. & Ahmad, T., 13 syysk. 2024, DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024. Boix, E. G. & Scholliers, C. (toim.). New York, NY, USA: ACM, s. 34–35 (DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    6 Lataukset (Pure)

  • Testing cyber-physical systems with explicit output coverage

    Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 syysk. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 128-136 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 2020

    Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems with Multi-Dimensional Input Spaces

    Ahmad, T., Ashraf, A., Truscan, D., Domi, A. & Porres, I., 2020, julkaisussa: IEEE Access. 8, s. 195000-195020 21 Sivumäärä

    Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
    9 Sitaatiot (Scopus)
    56 Lataukset (Pure)