Software Testing
RVprio: A tool for prioritizing runtime verification violations
Software Testing, Verification and Reliability, EarlyView.
Software Testing
TRANSMUT‐Spark: Transformation mutation for Apache Spark
Software Testing, Verification and Reliability, Volume 32, Issue 8, December 2022.
Software Testing
Automated black‐box testing of nominal and error scenarios in RESTful APIs
Software Testing, Verification and Reliability, EarlyView.
Software Testing
A mapping study on mutation testing for mobile applications
Software Testing, Verification and Reliability, Volume 32, Issue 8, December 2022.
Software Testing
HOTFUZ: Cost‐effective higher‐order mutation‐based fault localization
Software Testing, Verification and Reliability, Volume 32, Issue 8, December 2022.
Software Testing
A mutation framework for evaluating security analysis tools in IoT applications
Software Testing, Verification and Reliability, Volume 32, Issue 7, November 2022.
Software Testing
Assessing test suites of extended finite state machines against model‐ and code‐based faults
Software Testing, Verification and Reliability, Volume 32, Issue 7, November 2022.
Software Testing
Learning‐based mutant reduction using fine‐grained mutation operators
Software Testing, Verification and Reliability, Volume 32, Issue 7, November 2022.