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)

Two-Sample Testing via Path-based Inference

Συγγραφείς: English, Eshant, Lai, Wei-Cheng, Yang, Yanfeng, Fukumizu, Kenji, Suzuki, Taiji, Lippert, Christoph

Θεματικοί όροι: Machine Learning, Artificial Intelligence

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2610.05684

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)

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

Συγγραφείς: Eliyan, L.F., Alshraideh, M.A.

Πηγή: IEEE Access Access, IEEE. 14:31086-31111 2026

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

Συγγραφείς: He, Mingxiao, Huang, Pengcheng, Zhao, Zhenyu, Bian, Peiyun

Πηγή: 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

Συγγραφείς: Shi, Wenhao, Wang, Zeyu

Πηγή: 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

Συγγραφείς: Wang, X., Lu, H., Zeng, Y., Xu, X., Xu, J.

Πηγή: 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

Συγγραφείς: 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)

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

Συγγραφείς: Chen, L., Feng, H., Wu, J.

Πηγή: 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

Συγγραφείς: Yu, Junze, Luo, Zhengxiong, Xia, Fangshangyuan, Zhao, Yanyang, Shi, Heyuan, Jiang, Yu

Πηγή: 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

Συγγραφείς: Sayyari, Faeghe, Emadi, Sima

Πηγή: 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

Συγγραφείς: Xiong, Zhijie, Zhang, Chaojin, Zhang, Chi, Cao, Ran

Πηγή: 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

Συγγραφείς: Lu, Xiaojie ^{a, ⁎}, Luo, Yue ^b, Hu, Boyi ^b, Park, Nam-Kyu ^c, Ahrentzen, Sherry ^a

Πηγή: In Experimental Gerontology 1 July 2021 149

Path-based Link Prediction on Hyper-relational Knowledge Graph

Συγγραφείς: Liu, Shuzhi, Di, Shimin, Peng, Jianwen, Yao, Quanming

Πηγή: 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

Συγγραφείς: 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

Research of Optimization Algorithm for Path-Based Regression Testing Suit

Συγγραφείς: Jiang, Bing, Mu, Yongmin, Zhang, Zhihua

Πηγή: 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

Συγγραφείς: Thijssen, Sven, Rashed, Muhammad Rashedul Haq, Zheng, Hao, Jha, Sumit Kumar, Ewetz, Rickard

Πηγή: 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

Συγγραφείς: Manjegowda, Navya^Aff1, Rao, Muralidhara^{Aff2, IDs4159802510940z_cor1}

Πηγή: Scientific Reports. 15(1)