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

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

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

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

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