Publications

(2023). Uncovering bugs in code coverage profilers via control flow constraint solving. IEEE Transactions on Software Engineering.

PDF Cite Code

(2023). Assessing effectiveness of test suites: what do we know and what should we do?. ACM Transactions on Software Engineering and Methodology.

PDF Cite Code

(2022). Mutant reduction evaluation: what is there and what is missing?. ACM Transactions on Software Engineering and Methodology (TOSEM).

PDF Cite Code

(2020). Cbua: A probabilistic, predictive, and practical approach for evaluating test suite effectiveness. IEEE Transactions on Software Engineering.

PDF Cite Code

(0001). .

(0001). .

Cite

(0001). .

PDF Cite