Novel Algorithm to Solve the Constrained Path-Based Testing Problem

Authors: Klima, Matej, Bures, Miroslav, Miltner, Marek, Zanocco, Chad, Fraser, Gordon, Schweikl, Sebastian, Feldmeier, Patric

Source: 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

Authors: Klima, Matej, Bures, Miroslav, Holotik, Daniel, Herczeg, Maximilian, Miltner, Marek, Zanocco, Chad

Source: 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)

Two-Sample Testing via Path-based Inference

Authors: English, Eshant, Lai, Wei-Cheng, Yang, Yanfeng, Fukumizu, Kenji, Suzuki, Taiji, Lippert, Christoph

Subject Terms: Machine Learning, Artificial Intelligence

Access URL: https://arxiv.org/abs/2610.05684

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

Authors: Klima, Matej ^{a, ⁎}, Bures, Miroslav ^a, Ahmed, Bestoun S. ^{b, c}, Hindy, Hanan ^d, Bellekens, Xavier ^e, Gargantini, Angelo ^f

Source: In Applied Soft Computing December 2025 185 Part B

Fault Coverage Analysis using Sneak Path based Testing in Memristor Circuits

Authors: Joshi, Rasika, Acken, John M

Source: 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)

Boundary-Driven Path Diversity Heuristics for Improving Coverage of Difficult-to-Reach Program Paths in Search-Based Software Testing

Authors: Eliyan, L.F., Alshraideh, M.A.

Source: IEEE Access Access, IEEE. 14:31086-31111 2026

CPA-Remap: Critical-Path-Based Physically Aware Remapping Framework for Timing Optimization

Authors: He, Mingxiao, Huang, Pengcheng, Zhao, Zhenyu, Bian, Peiyun

Source: 2025 IEEE 43rd International Conference on Computer Design (ICCD) ICCD Computer Design (ICCD), 2025 IEEE 43rd International Conference on. :393-400 Nov, 2025

Relation: 2025 IEEE 43rd International Conference on Computer Design (ICCD)

Research on Automatic Detection of Infeasible Paths Based on Symbolic Execution and Constraint Solving

Authors: Shi, Wenhao, Wang, Zeyu

Source: 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C) QRS-C Software Quality, Reliability, and Security Companion (QRS-C), 2025 25th International Conference on. :721-728 Jul, 2025

Relation: 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)

Achievable Rate Region and Path-Based Beamforming for Multi-User Single-Carrier Delay Alignment Modulation

Authors: Wang, X., Lu, H., Zeng, Y., Xu, X., Xu, J.

Source: IEEE Transactions on Vehicular Technology IEEE Trans. Veh. Technol. Vehicular Technology, IEEE Transactions on. 74(5):7715-7730 May, 2025

Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests

Authors: Klima, Matej, Bures, Miroslav, Kubisova, Michaela, Herout, Pavel

Source: 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)

A Path-Based Topology-Agnostic Fault Diagnosis Strategy for Multiprocessor Systems

Authors: Chen, L., Feng, H., Wu, J.

Source: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 74(6):1886-1896 Jun, 2025

SPFuzz: Stateful Path based Parallel Fuzzing for Protocols in Autonomous Vehicles

Authors: Yu, Junze, Luo, Zhengxiong, Xia, Fangshangyuan, Zhao, Yanyang, Shi, Heyuan, Jiang, Yu

Source: 2024 61st ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2024 61st ACM/IEEE. :1-6 Jun, 2024

Relation: 2024 61st ACM/IEEE Design Automation Conference (DAC)

Automated generation of software testing path based on ant colony

Authors: Sayyari, Faeghe, Emadi, Sima

Source: 2015 International Congress on Technology, Communication and Knowledge (ICTCK) Technology, Communication and Knowledge (ICTCK), 2015 International Congress on. :435-440 Nov, 2015

Relation: 2015 International Congress on Technology, Communication and Knowledge (ICTCK)

Sensitivity Analysis of Deep-Sea Reliable Sound Paths Based on Proxy Models to Sound Speed Profiles

Authors: Xiong, Zhijie, Zhang, Chaojin, Zhang, Chi, Cao, Ran

Source: 2024 7th International Conference on Information Communication and Signal Processing (ICICSP) Information Communication and Signal Processing (ICICSP), 2024 7th International Conference on. :686-691 Sep, 2024

Relation: 2024 7th International Conference on Information Communication and Signal Processing (ICICSP)

Testing of path-based visual cues on patterned carpet to assist older adults' gait in a continuing care retirement community

Authors: Lu, Xiaojie ^{a, ⁎}, Luo, Yue ^b, Hu, Boyi ^b, Park, Nam-Kyu ^c, Ahrentzen, Sherry ^a

Source: In Experimental Gerontology 1 July 2021 149

Path-based Link Prediction on Hyper-relational Knowledge Graph

Authors: Liu, Shuzhi, Di, Shimin, Peng, Jianwen, Yao, Quanming

Source: 2024 IEEE Conference on Artificial Intelligence (CAI) CAI Artificial Intelligence (CAI), 2024 IEEE Conference on. :1071-1074 Jun, 2024

Relation: 2024 IEEE Conference on Artificial Intelligence (CAI)

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

Authors: Klima, Matej, Author, Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Bellekens, Xavier, Author, Atkinson, Robert, Author, Tachtatzis, Christos, Author, Herout, Pavel, Author

Contributors: Klima, Matej, Author, Bures, Miroslav, Author, Ahmed, Bestoun S., 1982-, Author, Bellekens, Xavier, Author, Atkinson, Robert, Author, Tachtatzis, Christos, Author, Herout, Pavel, Author

Source: Internet of Things. 22

Subject Terms: Internet of Things, Limited network connectivity, Model-based testing, Path-based testing, Reliability, Test automation, Test case generation, Datavetenskap, Computer Science

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-93965
https://doi.org/10.1016/j.iot.2023.100706

Research of Optimization Algorithm for Path-Based Regression Testing Suit

Authors: Jiang, Bing, Mu, Yongmin, Zhang, Zhihua

Source: 2010 Second International Workshop on Education Technology and Computer Science Education Technology and Computer Science (ETCS), 2010 Second International Workshop on. 2:303-306 Mar, 2010

Relation: 2010 2nd International Workshop on Education Technology and Computer Science (ETCS)

Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms

Authors: Thijssen, Sven, Rashed, Muhammad Rashedul Haq, Zheng, Hao, Jha, Sumit Kumar, Ewetz, Rickard

Source: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) Design Automation Conference (ASP-DAC), 2024 29th Asia and South Pacific. :812-817 Jan, 2024

Relation: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)

Path-based evaluation of deep learning models for solving inverse kinematics in a revolute-prismatic robot

Authors: Manjegowda, Navya^Aff1, Rao, Muralidhara^{Aff2, IDs4159802510940z_cor1}

Source: Scientific Reports. 15(1)