Search Results - software integration testing with SQL AND GUI*

YERITH_QVGE : A Framework for Verifying SQL Correctness Temporal Properties of GUI Software at Runtime

Authors: Noundou, XAVIER

Subject Terms: model-based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

YERITH_QVGE : A Framework for Verifying SQL Correctness Temporal Properties of [GUI] Software at Runtime

Authors: Noundou, XAVIER

Subject Terms: model-based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

Relation: https://zenodo.org/records/14997343; oai:zenodo.org:14997343; https://doi.org/10.5281/zenodo.14997343

Availability: https://doi.org/10.5281/zenodo.14997343
https://zenodo.org/records/14997343

YR_DB_RUNTIME_VERIF: A FRAMEWORK FOR VERIFYING SQL CORRECTNESS PROPERTIES OF GUI SOFTWARE AT RUNTIME

Authors: Noundou Noumbissi, Xavier

Subject Terms: model–based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

Relation: https://zenodo.org/records/8051303; oai:zenodo.org:8051303; https://doi.org/10.5281/zenodo.8051303

Availability: https://doi.org/10.5281/zenodo.8051303
https://zenodo.org/records/8051303

Runtime Verification Of SQL Correctness Properties with YR-DB-RUNTIME-VERIF

Authors: Noundou Noumbissi, XAVIER

Subject Terms: model-based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

Anna: an open-source platform for real-time integration of machine learning classifiers with veterinary electronic health records.

Authors: Kong, Chun Yin Vasquez, Picasso Farhoodimoghadam, Makan et al.

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

Subjects: Machine learning, Electronic health records, Open source software, Patient care, Veterinary medicine, Diagnosis, Classification algorithms, Synchronization

Large language models for software vulnerability detection: a guide for researchers on models, methods, techniques, datasets, and metrics.

Authors: Taghavi Far, Seyed Mohammad Feyzi, Farid

Source: International Journal of Information Security. Apr2025, Vol. 24 Issue 2, p1-66. 66p.

NEXT-GEN ENTERPRISE BI: A STRATEGIC GUIDE TO AI-INFUSED REPORTING SOLUTIONS.

Authors: MARAPATLA, PENTA RAO

Source: TPM: Testing, Psychometrics, Methodology in Applied Psychology; 2025 Supplement, Vol. 32, p248-262, 15p

On the importance of CI/CD practices for database applications.

Authors: Fluri, Jasmin Fornari, Fabrizio Pustulka, Ela

Source: Journal of Software: Evolution & Process; Dec2024, Vol. 36 Issue 12, p1-22, 22p

Subject Terms: DATABASES, DATABASE design, SOFTWARE engineering, SOFTWARE development tools, INDUSTRIALIZATION

Reinforcement Learning for Dynamic Security Policy Enforcement in Communication Networks.

Authors: Raju, Konda Babu, M. chunchure, Basavaraj et al.

Source: Cuestiones de Fisioterapia; 2025, Vol. 54 Issue 4, p1304-1311, 8p

Subject Terms: MACHINE learning, SOFTWARE-defined networking, REINFORCEMENT learning, COMPUTER network security, CYBERTERRORISM

Architecture of a System for Extracting Software Architecture from Requirements Specifications.

Authors: Asenovska, Nina Stoyanova-Doycheva, Asya

Source: BRAIN: Broad Research in Artificial Intelligence & Neuroscience; Jun2025, Vol. 16 Issue 2, p377-389, 13p

Subject Terms: LANGUAGE models, SOFTWARE engineering, SOFTWARE requirements specifications, MACHINE learning, SYSTEMS software

A gamified online learning environment with comprehensive assessments and software integration.

Authors: Shilaskar, Swati Bhatlawande, Shripad Deshpande, Rupali et al.

Source: International Journal of Advances in Applied Sciences (IJAAS); Jun2025, Vol. 14 Issue 2, p416-429, 14p

Subject Terms: ARTIFICIAL intelligence, MATHEMATICS students, ONLINE education, CLASSROOM environment, SAMPLE size (Statistics)

ATHLETE-FOCUSED STUDENT PHYSIQUE TEST AND EVALUATION SYSTEM UTILIZING BODY TEST BIG DATA: ENHANCING PERFORMANCE AND HEALTH MONITORING.

Authors: Danna Gao Yin Zhang Guixiang Wei

Source: International Journal of Medicine & Science of Physical Activity & Sport / Revista Internacional de Medicina y Ciencias de la Actividad Física y del Deporte; Aug2024, Vol. 24 Issue 97, p492-511, 20p

Subject Terms: PHYSICAL fitness testing, BIG data, ATHLETES' health

Tool assisted Agile approach for legacy application migration.

Authors: Chatterjee, Nachiketa Majumdar, Srijoni Das, Partha Pratim et al.

Source: International Journal of Systems Assurance Engineering & Management; Sep2025, Vol. 16 Issue 9, p3002-3017, 16p

Assistive Technology for Inclusive Education: A Single-Case Study of a Child with Spastic Tetraplegia, Visual and Motor Disabilities in Ecuador.

Authors: Campoverde-Molina, Milton Cobos-Torres, Juan-Carlos Luján-Mora, Sergio et al.

Source: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 11, p45-65, 21p

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Authors: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

Source: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Subject Terms: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods.

Authors: Brooker, Marc Desai, Ankush

Source: ACM Queue; Nov/Dec2024, Vol. 22 Issue 6, p79-96, 18p

Subject Terms: TEST methods, CHECKS, COMPUTER software

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Authors: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea et al.

Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

EmotiCloud: Cloud System to Monitor Patients Using AI Facial Emotion Recognition.

Authors: López-Echeverry, Ana-María López-Flórez, Sebastián Bedoya-Guapacha, Jovany et al.

Source: Systems; Sep2025, Vol. 13 Issue 9, p750, 23p

Subject Terms: EMOTION recognition, PATIENT monitoring, ARTIFICIAL intelligence, MENTAL health services, USER-centered system design, CLOUD computing, MEDICAL technology, TELEMEDICINE

Rapid Support and Implementation of an Application for the Prediction Augmented Screening Initiative (PASI) Planning Phase Through the Enabling Technologies for Rapid Learning Health Systems Platform (ENTHRALL) at the Department of Veterans Affairs (VA).

Authors: Tosi, Hannah M. Zheng, Chunlei Tarren, Amelia H. et al.

Source: Cancer Informatics; 11/20/2025, Vol. 24, p1-8, 8p

Subject Terms: LUNG cancer, VETERANS' health, CLINICAL decision support systems, MEDICAL software, CROSS-functional teams, NATURAL language processing, MEDICAL informatics

Company/Entity: UNITED States. Dept. of Veterans Affairs

Hierarchical modeling of risk factors with and without prior information—the process of regression model evaluation for an example of respiratory diseases in piglet production from daily practice data.

Authors: Tug, Timur Mers, Fiona Schäkel, Franziska et al.

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