Improving time predictability and code coverage of embedded GPUs for feal-time systems

Συγγραφείς: Barrera Herrera, Javier Enrique

Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Cazorla Almeida, Francisco Javier, Kosmidis, Leonidas

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: Real-Time, Time Predictability, Code Coverage, Graphics Processing Unit, Critical Embedded Systems, Hardware Event Monitor, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

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

Σύνδεσμος πρόσβασης: https://hdl.handle.net/10803/696855
https://dx.doi.org/10.5821/dissertation-2117-456465

On the Evolution of Python Test Cases into Property-based Tests

Συγγραφείς: Wauters, Cindy, Opdebeeck, Ruben, Roover, Coen De

Πηγή: 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2026 IEEE International Conference on. :429-440 May, 2026

Relation: 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)

Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis

Συγγραφείς: Kocourek, Matěj, Křikava, Filip, Donat-Bouillud, Pierre, Vitek, Jan

Πηγή: Proceedings of the 23rd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. :49-60

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3828170.3828176

Integration Test CodeCoverage Report generator

Συγγραφείς: Chatterjee, Abhirup

Πηγή: 2025 5th International Conference on Information Communication and Software Engineering (ICICSE) Information Communication and Software Engineering (ICICSE), 2025 5th International Conference on. :78-82 Dec, 2025

Relation: 2025 5th International Conference on Information Communication and Software Engineering (ICICSE)

LLMDroid: Enhancing Automated Mobile App GUI Testing Coverage with Large Language Model Guidance

Συγγραφείς: Wang, Chenxu, Liu, Tianming, Zhao, Yanjie, Yang, Minghui, Wang, Haoyu

Πηγή: Proceedings of the ACM on Software Engineering. 2(FSE):1001-1022

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3715763

CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction

Συγγραφείς: Dhulipala, Hridya, Yadavally, Aashish, Patel, Smit Soneshbhai, Nguyen, Tien N.

Πηγή: Proceedings of the ACM on Software Engineering. 2(FSE):2965-2986

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3729401

CoverUp: Effective High Coverage Test Generation for Python

Συγγραφείς: Altmayer Pizzorno, Juan, Berger, Emery D.

Πηγή: Proceedings of the ACM on Software Engineering. 2(FSE):2897-2919

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3729398

An Empirical Study of Fuzz Harness Degradation

Συγγραφείς: Görz, Philipp, Schilling, Joschua, Bissantz, Nicolai, Holz, Thorsten

Πηγή: Proceedings of the ACM on Software Engineering. 3(FSE):3746-3768

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3808172

DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous Driving Planning

Συγγραφείς: Huai, Yuqi, Chen, Yuntianyi, Wan, Ziwen, Chen, Qi Alfred, Garcia, Joshua

Πηγή: Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering. :3311-3323

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3744916.3773252

kS-LLM: k-Step based Automatic LLM Test Case Generator using Caching Mechanism to Achieve Higher Code Coverage

Συγγραφείς: Sharma, Anand, Vivek, Yelleti, Godboley, Sangharatna, Krishna, P. Radha

Πηγή: Proceedings of the 19th Innovations in Software Engineering Conference. :1-5

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3796563.3796569

Neural Program Modeling Learning Program-Specific Models that Predict Execution Features from Input Features and vice versa

Συγγραφείς: Mammadov, Tural, Smytzek, Marius, Stutz, Marius, Feid, Nicolas, Zeller, Andreas

Πηγή: ACM Transactions on Software Engineering and Methodology.

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3845620

SuperSAGA: A Supervisor-Subordinate Agentic workflow for the Generation of Assertions

Συγγραφείς: Paul, Subhajit, Banerjee, Ansuman, Ghosh, Sumana, Surendran, Sudhakar, Gajavelly, Raj Kumar

Πηγή: 2026 31st Asia and South Pacific Design Automation Conference (ASP-DAC) Design Automation Conference (ASP-DAC), 2026 31st Asia and South Pacific. :420-425 Jan, 2026

Relation: 2026 31st Asia and South Pacific Design Automation Conference (ASP-DAC)

Fast-Track Functional Verification Framework for Next-Generation IP Cores

Συγγραφείς: Nayak, Anirban, Gandhi, Jugal, Jain, Saurabh, Shekhawat, Diksha, Santosh, M., Pandey, Jai Gopal

Πηγή: 2025 IEEE International Symposium on Smart Electronic Systems (iSES) ISES Smart Electronic Systems (iSES), 2025 IEEE International Symposium on. :393-396 Dec, 2025

Relation: 2025 IEEE International Symposium on Smart Electronic Systems (iSES)

Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests

Συγγραφείς: Huck, Alexander, Schwitanski, Simon, Jammer, Tim, Jenke, Joachim, Oraji, Yussur Mustafa, Bischof, Christian

Πηγή: SC25-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis High Performance Computing, Networking, Storage and Analysis, SC25-W: Workshops of the International Conference for. :179-187 Nov, 2025

Relation: SC25-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis

Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing

Συγγραφείς: Bleier, Jakob, Kehrer, Felix, Cito, Jurgen, Lindorfer, Martina

Πηγή: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :906-918 Nov, 2025

Relation: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Reinforcement Learning from Testing Targets for Effective SLM Test Generation

Συγγραφείς: Céspedes-Arancibia, Kevin

Πηγή: Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering. :173-175

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3774748.3787638

An Efficient Deep Path Coverage-Based Approach for Automated Software Structural Testing

Συγγραφείς: Arasteh, Bahman, Author, Sheshgelani, Mohammadali Ipchi, Author, Kusetogullari, Hüseyin, 1981-, Author

Συνεισφορές: Arasteh, Bahman, Author, Sheshgelani, Mohammadali Ipchi, Author, Kusetogullari, Hüseyin, 1981-, Author

Πηγή: Symmetry. 18(3)

Θεματικοί όροι: software automatic testing, hybrid metaheuristics, minimal test, code coverage, mutation score

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-29308
https://doi.org/10.3390/sym18030455

Software Unit Test Automation with LLM-Based Generative AI: Evaluating Test Quality through Code Coverage and Edge-Case Analysis

Συγγραφείς: Genc, Sevdanur, Ceylan, Mustafa Furkan, Istanbullu, Ayhan

Πηγή: 2025 10th International Conference on Computer Science and Engineering (UBMK) Computer Science and Engineering (UBMK), 2025 10th International Conference on. :242-247 Sep, 2025

Relation: 2025 10th International Conference on Computer Science and Engineering (UBMK)

Augmenting Black-Box Unit Testing with Crafted Mockups and Code Coverage Analysis

Συγγραφείς: Bensch, Aidan, Hammel, Melody, Lin, Lan

Πηγή: 2025 Interdisciplinary Conference on Electrics and Computer (INTCEC) Electrics and Computer (INTCEC), 2025 Interdisciplinary Conference on. :1-8 Sep, 2025

Relation: 2025 Interdisciplinary Conference on Electrics and Computer (INTCEC)

AI vs. AI: Comparing Artificial Intelligence with Actual Intelligence for a Gameplay Task

Συγγραφείς: Aycock, John, Biittner, Katie, Khaleel, Syeda Zainab, Therrien, Carl, Querengesser, Allie, Sikstrom, Hailey

Πηγή: 2025 IEEE Conference on Games (CoG) Games (CoG), 2025 IEEE Conference on. :1-4 Aug, 2025

Relation: 2025 IEEE Conference on Games (CoG)