Novel Algorithm to Solve the Constrained Path-Based Testing Problem

Συγγραφείς: Klima, Matej, Bures, Miroslav, Miltner, Marek, Zanocco, Chad, Fraser, Gordon, Schweikl, Sebastian, Feldmeier, Patric

Πηγή: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Software Testing, Verification and Validation Workshops (ICSTW), 2025 IEEE International Conference on. :41-49 Mar, 2025

Relation: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

CPT Manager: An Open Environment for Constrained Path-Based Testing

Συγγραφείς: Klima, Matej, Bures, Miroslav, Holotik, Daniel, Herczeg, Maximilian, Miltner, Marek, Zanocco, Chad

Πηγή: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Software Testing, Verification and Validation Workshops (ICSTW), 2025 IEEE International Conference on. :50-53 Mar, 2025

Relation: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints

Συγγραφείς: Klima, Matej, Bures, Miroslav, Blaha, Martin

Πηγή: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2024 IEEE 24th International Conference on. :701-712 Jul, 2024

Relation: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)

Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests

Συγγραφείς: Klima, Matej, Bures, Miroslav, Kubisova, Michaela, Herout, Pavel

Πηγή: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2023 IEEE International Conference on. :126-130 Apr, 2023

Relation: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Prioritized Variable-length Test Cases Generation for Finite State Machines

Συγγραφείς: Rechtberger, Vaclav, Bures, Miroslav, Ahmed, Bestoun S., Belkhier, Youcef, Nema, Jiri, Schvach, Hynek

Πηγή: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2022 IEEE International Conference on. :11-20 Apr, 2022

Relation: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Specialized path-based technique to test Internet of Things system functionality under limited network connectivity

Συγγραφείς: Klima, Matej, Author, Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Bellekens, Xavier, Author, Atkinson, Robert, Author, Tachtatzis, Christos, Author, Herout, Pavel, Author

Συνεισφορές: Klima, Matej, Author, Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Bellekens, Xavier, Author, Atkinson, Robert, Author, Tachtatzis, Christos, Author, Herout, Pavel, Author

Πηγή: Internet of Things. 22

Θεματικοί όροι: Internet of Things, Limited network connectivity, Model-based testing, Path-based testing, Reliability, Test automation, Test case generation, Datavetenskap, Computer Science

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-93965
https://doi.org/10.1016/j.iot.2023.100706

Genetic algorithm for path-based testing of component outage situations in IoT system processes

Συγγραφείς: Klima, Matej ^{a, ⁎}, Bures, Miroslav ^a, Ahmed, Bestoun S. ^{b, c}, Hindy, Hanan ^d, Bellekens, Xavier ^e, Gargantini, Angelo ^f

Πηγή: In Applied Soft Computing December 2025 185 Part B

Automatic test data generator: A tool based on search-based techniques

Συγγραφείς: Malhotra, Ruchika, Poornima, Kumar, Nitish

Πηγή: 2016 5th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO), 2016 5th International Conference on. :570-576 Sep, 2016

Relation: 2016 5th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO)

Novel Strategy Generating Variable-Length State Machine Test Paths

Συγγραφείς: Rechtberger, Vaclav, Author, Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Schvach, Hynek, Author

Συνεισφορές: Rechtberger, Vaclav, Author, Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Schvach, Hynek, Author

Πηγή: International journal of software engineering and knowledge engineering. 32(08):1247-1278

Θεματικοί όροι: Finite automata, Internet of things, Model checking, Finite states machine, Model based testing, Novel strategies, Path-based, Path-based testing, Software testings, State-machine, System models, System testing, Test coverage criteria, Software testing, Datavetenskap, Computer Science

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-91823

Path-Based Integration Testing of a Software Product Line

Συγγραφείς: Lee, Jihyun^Aff3, Hwang, Sunmyung^Aff4

Συνεισφορές: Kacprzyk, Janusz, Series Editor^Aff1, Lee, Roger, editor^Aff2

Πηγή: Big Data, Cloud Computing, Data Science & Engineering. 786:93-102

Prioritized Process Test: An Alternative to Current Process Testing Strategies

Συγγραφείς: Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Zamli, Kamal Z., Author

Συνεισφορές: Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Zamli, Kamal Z., Author

Πηγή: International journal of software engineering and knowledge engineering. 29(7):997-1028

Θεματικοί όροι: Software testing, model-based testing, process testing, path-based testing, Datavetenskap, Computer Science

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-86827

Distribuovaný systém internetu věcí pro výukové a experimentální účely ; Distributed Internet of Things system for educational and experimental purposes

Συγγραφείς: Matěj Pošta

Συνεισφορές: Klíma Matěj, Vodrážka Jiří

Θεματικοί όροι: Internet věcí, Senzory, IoT platformy, Mikrokontroléry, IoT systém, Procesní testování, ESP32, Home Assistant, ThingsBoard, Internet of Things, Sensors, IoT platforms, Microcontrollers, IoT system, Path-based testing

Περιγραφή αρχείου: application/octet-stream; application/pdf

Relation: https://hdl.handle.net/10467/123602

Διαθεσιμότητα: https://hdl.handle.net/10467/123602

CRUD rozšíření algoritmu pro path based testing ; A CRUD extension to a path based testing algorithm

Συγγραφείς: Valeriia Chekanova

Συνεισφορές: Frajták Karel, Šebek Jiří

Θεματικοί όροι: system under test, model-based testing, automatizované testování, integrační testy, path-based testing, data cycle test, integritní omezení, testovací scénáře, automated testing, integration tests, integrity constraints, test scenarios

Relation: http://hdl.handle.net/10467/115000

Διαθεσιμότητα: http://hdl.handle.net/10467/115000

Front-end část k systému pro správu dat pro procesní testování ; Front-end part of the process testing data management system

Συγγραφείς: Maximilián Herczeg

Συνεισφορές: Klíma Matěj, Šebek Jiří

Θεματικοί όροι: Model-based Testing, Path-based Testing, Directed Graph Visualisation, React Front-end Web Application Development, Vizualizace Orientovaného Grafu, Vývoj Front-end aplikace v React

Relation: http://hdl.handle.net/10467/115354

Διαθεσιμότητα: http://hdl.handle.net/10467/115354

Specialized Path-based Technique to Test loT System Behaviour under Limited Network Connectivity

Συγγραφείς: Matěj Klíma

Συνεισφορές: Bureš Miroslav, Scandurra Patrizia

Θεματικοί όροι: Internet věcí, spolehlivost, testování na základě cest, testování na základě modelu, automatizace testování, omezené síťové připojení, generování testovacích případů, Internet of Things, Reliability, Path-based Testing, Model-based Testing, Test Automation, Limited Network Connectivity, Test Case Generation

Relation: http://hdl.handle.net/10467/110250

Διαθεσιμότητα: http://hdl.handle.net/10467/110250

Specialized path-based technique to test Internet of Things system functionality under limited network connectivity

Συγγραφείς: Klima, Matej, Bures, Miroslav, Ahmed, Bestoun S., Bellekens, Xavier, Atkinson, Robert, Tachtatzis, Christos, Herout, Pavel

Όροι ευρετηρίου: Internet of Things, Limited network connectivity, Model-based testing, Path-based testing, Reliability, Test automation, Test case generation, Computer and Information Sciences, Data- och informationsvetenskap, Article in journal, info:eu-repo/semantics/article, text

Σύνδεσμος: http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-93965
Internet of Things : Engineering Cyber Physical Human Systems, 2023, 22

Novel Strategy Generating Variable-Length State Machine Test Paths

Συγγραφείς: Rechtberger, Vaclav, Bures, Miroslav, Ahmed, Bestoun S., Schvach, Hynek

Όροι ευρετηρίου: Finite automata, Internet of things, Model checking, Finite states machine, Model based testing, Novel strategies, Path-based, Path-based testing, Software testings, State-machine, System models, System testing, Test coverage criteria, Software testing, Computer Sciences, Datavetenskap (datalogi), Software Engineering, Programvaruteknik, Computer Systems, Datorsystem, Article in journal, info:eu-repo/semantics/article, text

Σύνδεσμος: http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-91823
International journal of software engineering and knowledge engineering, 0218-1940, 2022, 32:08, s. 1247-1278

Prioritized Process Test : An Alternative to Current Process Testing Strategies

Συγγραφείς: Bures, Miroslav, Ahmed, Bestoun S., Zamli, Kamal Z.

Όροι ευρετηρίου: Software testing, model-based testing, process testing, path-based testing, Computer Sciences, Datavetenskap (datalogi), Article in journal, info:eu-repo/semantics/article, text

Σύνδεσμος: http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-86827
International journal of software engineering and knowledge engineering, 0218-1940, 2019, 29:7, s. 997-1028