Suchergebnisse - software integration testing with SQL and GUI

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

Autoren: Noundou, XAVIER

Schlagwörter: 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

Autoren: Noundou, XAVIER

Schlagwörter: 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

Verfügbarkeit: 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

Autoren: Noundou Noumbissi, Xavier

Schlagwörter: 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

Verfügbarkeit: https://doi.org/10.5281/zenodo.8051303
https://zenodo.org/records/8051303

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

Autoren: Noundou Noumbissi, XAVIER

Schlagwörter: 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.

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

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

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

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

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

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

Schlagwörter: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Development of a Water Temperature Modeling Platform to Support Short- and Long-Term Water Temperature Management in Reservoir–River Systems.

Autoren: Deas, Michael Sun, Yung-Hsin DeGeorge, John et al.

Quelle: Water (20734441); Sep2025, Vol. 17 Issue 18, p2714, 26p

Schlagwörter: WATER temperature, SIMULATION methods & models, DATA management, FISH conservation, RESERVOIR ecology, STRATEGIC planning, TECHNOLOGICAL innovations

Geografische Kategorien: CENTRAL Valley (Calif. : Valley), SACRAMENTO Valley (Calif.)

Firma/Körperschaft: UNITED States. Bureau of Reclamation

Migrating a Well-Established Longitudinal Cohort Database From Oracle SQL to Research Electronic Data Entry (REDCap): Data Management Research and Design Study.

Autoren: Kusejko, Katharina Smith, Daniel Scherrer, Alexandra et al.

Quelle: JMIR Formative Research; 2023, Vol. 7 Issue 1, p1-9, 9p

A Spiking Neural Network Builder for Systematic Data-to-Model Workflow.

Autoren: Gutierrez, Carlos Enrique Henrik Skibbe Hugo Musset et al.

Quelle: Frontiers in Neuroinformatics; 7/13/2022, Vol. 16, p1-17, 17p

Schlagwörter: BIOLOGICAL neural networks, ARTIFICIAL neural networks, NEURAL circuitry, DATABASES, WORKFLOW, BUSINESS software

PROGRAMINĖS ĮRANGOS TESTAVIMAS. (Lithuanian)

Alternate Title: SOFTWARE TESTING. (English)

Autoren: Petrauskienė, Janina

Quelle: Professional Studies: Theory & Practice / Profesines Studijos: Teorija ir Praktika; 2013, Issue 12, p173-179, 7p

Schlagwörter: COMPUTER software quality control, INFORMATION technology, COMPUTER software development, CHAOS theory, SOFTWARE productivity, MATHEMATICAL models, COMPUTER software testing

Pharmacometrics in the Age of Large Language Models: A Vision of the Future.

Autoren: Tosca, Elena Maria Aiello, Ludovica De Carlo, Alessandro et al.

Quelle: Pharmaceutics; Oct2025, Vol. 17 Issue 10, p1274, 26p

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, PREDICTION models, DIGITAL twin, PHARMACOLOGY, ELECTRONIC data processing, DRUG development

The 34th Anual Meeting of the Asian Pacific Association for the study of the liver.

Quelle: Hepatology International; 2025 Suppl 1, Vol. 19, p1-1554, 1554p

JINR Cloud Infrastructure.

Autoren: Korenkov, V.V. Kutovskiy, N.A. Balashov, N.A. et al.

Quelle: Procedia Computer Science. 2015, Vol. 66, p574-583. 10p.

Schlagwörter: Cloud computing, Information technology industry, Debugging, Computer software developers, Distributed computing, SQL

Handbook of Research on Software Quality Innovation in Interactive Systems

Autoren: Francisco Vicente Cipolla-Ficarra

Resource Type: eBook.

Schlagworte: Computer software--Quality control

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing

Microcontroller-Based Detector and Monitoring System for Overspeeding Vehicles for Traffic Management Unit: A Prototype.

Autoren: Malik, Sahawi S.

Quelle: IUP Journal of Electrical & Electronics Engineering; Apr2021, Vol. 14 Issue 2, p38-58, 21p

Schlagwörter: PROTOTYPES, TRAFFIC accidents, DETECTORS, TEST systems, MICROCONTROLLERS, VEHICLES

Firma/Körperschaft: GOOGLE Inc.

CONNJUR Workflow Builder: a software integration environment for spectral reconstruction.

Autoren: Fenwick, Matthew Weatherby, Gerard Vyas, Jay et al.

Quelle: Journal of Biomolecular NMR; Jul2015, Vol. 62 Issue 3, p313-326, 14p

Automated Lightweight Model for Asthma Detection Using Respiratory and Cough Sound Signals.

Autoren: Xu, Shuting Deo, Ravinesh C. Faust, Oliver et al.

Quelle: Diagnostics (2075-4418); May2025, Vol. 15 Issue 9, p1155, 28p

Schlagwörter: MACHINE learning, PLURALITY voting, RESPIRATORY diseases, FEATURE selection, ARTIFICIAL intelligence

A Novel Digitalization Approach for Smart Materials – Ontology‐Based Access to Data and Models.

Autoren: Maas, Jürgen Leemhuis, Mena Mertens, Jana et al.

Quelle: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-13, 13p

Schlagwörter: SMART materials, DATA warehousing, DATABASES, DATA modeling, RESEARCH & development

Fundamental Approaches to Software Engineering : 28th International Conference, FASE 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autoren: Artur Boronat Gordon Fraser

Resource Type: eBook.

Schlagworte: Software engineering--Congresses, Operating systems (Computers)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Testing JavaScript Applications

Autoren: Lucas Fernandes da Costa

Resource Type: eBook.

Schlagworte: Application software--Development, JavaScript (Computer program language)

Categories: COMPUTERS / Languages / JavaScript, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Tools