Testing Constraint Checking Implementations via Principled Metamorphic Transformations
M Gao, H Wang, C Xu - 2024 IEEE International Conference on …, 2024 - ieeexplore.ieee.org
Constraint checking techniques are being widely used for ensuring the consistency of
software artifacts during their development and evolution (eg, detecting inconsistency in an …
software artifacts during their development and evolution (eg, detecting inconsistency in an …
Incremental-concurrent fusion checking for efficient context consistency
Smart applications can adapt their behaviors based on their understanding to environments
(aka contexts). This capability can, however, incur unexpected misbehavior or even crash …
(aka contexts). This capability can, however, incur unexpected misbehavior or even crash …
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
Self‐adaptive applications are becoming increasingly attractive, with the ability to smartly
understand their runtime environments (or contexts) and deliver adaptive services, for …
understand their runtime environments (or contexts) and deliver adaptive services, for …
[PDF][PDF] The Journal of Systems & Software
X Zhang, H Pham - 2022 - wssun.github.io
abstract Test case prioritization (TCP) aims to reorder the regression test suite with a goal of
increasing the fault detection rate. Various TCP techniques have been proposed based on …
increasing the fault detection rate. Various TCP techniques have been proposed based on …