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)

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

Fault Coverage Analysis using Sneak Path based Testing in Memristor Circuits

Συγγραφείς: Joshi, Rasika, Acken, John M

Πηγή: 2022 IEEE 31st Microelectronics Design & Test Symposium (MDTS) Microelectronics Design & Test Symposium (MDTS), 2022 IEEE 31st. :1-6 May, 2022

Relation: 2022 IEEE 31st Microelectronics Design & Test Symposium (MDTS)

Scan-path based testing of systems on a chip

Συγγραφείς: Mourad, S., Greene, B.S.

Πηγή: ICECS'99. Proceedings of ICECS '99. 6th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.99EX357) Electronics, circuits and systems Electronics, Circuits and Systems, 1999. Proceedings of ICECS '99. The 6th IEEE International Conference on. 2:1081-1084 vol.2 1999

Relation: ICECS'99. Proceedings of ICECS'99. 6th IEEE International Conference on Electronics, Circuits and Systems

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)

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

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)

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

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

A Comparative Study of the Particle Swarm Optimization and Genetic Algorithm for Software Evolution Process

Συγγραφείς: null Rajeeb Sankar Bal, null Jibendu Kumar Mantri

Πηγή: International Journal of Scientific Research in Computer Science, Engineering and Information Technology. 12:273-285

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

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

Employment of multiple algorithms for optimal path-based test selection strategy

Συγγραφείς: Bures, Miroslav ^a, Ahmed, Bestoun S. ^{⁎, a, b}

Πηγή: In Information and Software Technology October 2019 114:21-36