Search Results - coverage testing) General Terms Algorithms

Radio access network optimization with proactive resource management for 5G and beyond

Authors: Guerra Gómez, Rolando

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions

Thesis Advisors: Ruiz Boqué, Sílvia

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació

Time: 621.3

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/689840
https://dx.doi.org/10.5821/dissertation-2117-400319

Empirical Comparison of Higher-Order Mutation Testing and Data-Flow Testing of C# with the Aid of Genetic Algorithm

Authors: Eman H. Abd-Elkawy Rabie Ahmed

Source: Applied Sciences, Vol 13, Iss 16, p 9170 (2023)

Subject Terms: data-flow testing, higher-order mutation testing, “ProbSubsumes”, “ProbBetter”, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/13/16/9170; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/ece76198ac1f478b995395afc4bb061e

Optimising the selection of welfare indicators in farm animals.

Authors: Day, Jon Ben Haddou, Mohamed Kylling, Rita et al.

Source: Frontiers in Veterinary Science. 2025, p1-19. 19p.

Alternative methods for developmental toxicity testing: features, status and future directions.

Authors: Inho Hwang Eui-Bae Jeung

Source: Journal of Veterinary Science. Nov2025, Vol. 26 Issue 6, p1-17. 17p.

Automated Test Data Generation Based on a Genetic Algorithm with Maximum Code Coverage and Population Diversity

Authors: Tatiana Avdeenko Konstantin Serdyukov

Source: Applied Sciences, Vol 11, Iss 10, p 4673 (2021)

Subject Terms: genetic algorithm, test data generation, fitness function, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/11/10/4673; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/9fda4b665ffe4af2a2716583a47a2721

Tight Running Time Lower Bounds for Strong Inapproximability of Maximum $k$-Coverage, Unique Set Cover and Related Problems (via $t$-Wise Agreement Testing Theorem)

Authors: Manurangsi, Pasin

Index Terms: Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, text

URL: http://arxiv.org/abs/1910.11850

Spina bifida, diplomyelia, and Chiari-like malformation in an Aberdeen Angus calf.

Authors: Korte, Anika Hünerfauth, Enrice Reinartz-Albrecht, Sina et al.

Source: BMC Veterinary Research. 10/28/2025, Vol. 21 Issue 1, p1-10. 10p.

Subjects: Spina bifida, Arnold-Chiari deformity, Neurologic manifestations of general diseases, Heredity, Diagnostic imaging, Congenital disorders, Aberdeen-Angus cattle

Automatic Mutation Test Input Data Generation via Ant Colony

Authors: K. Ayari S. Bouktif G. Antoniol et al.

Contributors: K. Ayari S. Bouktif G. Antoniol et al.

Source: http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p1074.pdf.

Subject Terms: Categories and Subject Descriptors D [Software, Miscellaneous, D.2.5 [Software Engineering, Testing and Debugging —Testing tools (e.g, data generators, coverage testing) General Terms Algorithms, Experimentation, Languages Keywords Test input data generation, Search based testing, Mutation testing, Ant

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.6375; http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p1074.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.6375
http://www.cs.york.ac.uk/rts/docs/GECCO_2007/docs/p1074.pdf

Lattice radiation therapy for canine sinonasal carcinoma: feasibility study of spatially fractionated radiotherapy using volumetric modulated arc therapy.

Authors: Gualtieri, Patricia Prebble, Amber Martin, Tiffany et al.

Source: BMC Veterinary Research. 10/10/2025, Vol. 21 Issue 1, p1-15. 15p.

Subjects: Volumetric-modulated arc therapy, Quality assurance, Radiotherapy, Radiation doses, Medical dosimetry, Dose fractionation

Multi-beam satellite resource allocation optimization for beam hopping transmission

Authors: Lei, Jiang

Contributors: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes

Thesis Advisors: Vázquez Castro, María Ángeles

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Beam hopping, Satellite communication, Resource Albration, Tecnologies

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/32082

A Model-Based Approach to Test Generation for Aspect-Oriented Programs

Authors: Weifeng Xu The Pennsylvania State University CiteSeerX Archives

Contributors: Weifeng Xu The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ndsu.nodak.edu/~dxu/publications/xu-xu-wtaop05.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- Testing tools (e.g, data generators, coverage testing) General Terms Algorithms, Design, Languages Keywords Aspect-oriented programming, testing, UML, sequence diagram, test

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8111

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8111
http://www.cs.ndsu.nodak.edu/~dxu/publications/xu-xu-wtaop05.pdf

Trending extinctions: online interest in recently extinct animals.

Authors: Canavan, S. Doyle, D.M. Kane, A. et al.

Source: Animal Conservation. Jun2025, Vol. 28 Issue 3, p445-464. 20p.

Subjects: Biological extinction, Biodiversity, Social media, Awareness, Wikipedia, Twitter (Web resource), Nature conservation, Endangered species listing

Acceptance testing based test case prioritization

Authors: U Geetha Sharmila Sankar M Sandhya

Source: Cogent Engineering, Vol 8, Iss 1 (2021)

Subject Terms: test data generation, test reduction techniques, test case optimization, test case prioritization, Engineering (General). Civil engineering (General), TA1-2040

File Description: electronic resource

Relation: https://doaj.org/toc/2331-1916

Access URL: https://doaj.org/article/444f627dcfa84a779826f4044b7908f9

Musculoskeletal adverse events in dogs receiving bedinvetmab (Librela).

Authors: Farrell, Mike Waibel, Felix W. A. Carrera, Ines et al.

Source: Frontiers in Veterinary Science. 2025, p1-17. 17p.

Rethinking Vitamin D Deficiency: Controversies and Practical Guidance for Clinical Management.

Authors: Sosa-Henríquez, Manuel Torregrosa-Suau, Óscar Gómez de Tejada-Romero, María Jesús et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3573. 22p.

Application of artificial intelligence in rabbit husbandry: from reproductive monitoring to precision farming.

Authors: Abdel-Wareth, Ahmed A. A. Ahmed, Ahmed A. Salahuddin, Md et al.

Source: Frontiers in Veterinary Science. 2025, p1-17. 17p.

The Importance of Socioeconomic Factors Associated with Maternal Nutrition Knowledge and Undernutrition Among Children Under Five.

Authors: Alristina, Arie Dwi Laili, Rizky Dzariyani Nagy, Éva et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 21, p3355. 21p.

A ERSF-VIPA framework: scalable wildlife movement modelling for conflict mitigation.

Authors: Chen, Xiaoyi Li, Jie Cao, Xinyu et al.

Source: Movement Ecology. 10/30/2025, Vol. 13 Issue 1, p1-14. 14p.

Application of Artificial Intelligence Technologies as an Intervention for Promoting Healthy Eating and Nutrition in Older Adults: A Systematic Literature Review.

Authors: Kalu, Kingsley Ataguba, Grace Onifade, Oyepeju et al.

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3223. 33p.

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Authors: Grivas, Gerasimos V. Safari, Kousar

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.