Software Testing
Combinatorial testing and model checking
Software Testing, Verification and Reliability, Volume 32, Issue 6, September 2022.
Software Testing
Comprehensive evaluation of file systems robustness with SPIN model checking
Software Testing, Verification and Reliability, Volume 32, Issue 6, September 2022.
Software Testing
Mutation analysis and its industrial applications
Software Testing, Verification and Reliability, Volume 32, Issue 7, November 2022.
Software Testing
Mutation analysis and its industrial applications
Software Testing, Verification and Reliability, Volume 32, Issue 8, December 2022.
Software Testing
Combinatorial methods for dynamic gray‐box SQL injection testing
Software Testing, Verification and Reliability, Volume 32, Issue 6, September 2022.
Software Testing
Fostering the diversity of exploratory testing in web applications
Software Testing, Verification and Reliability, EarlyView.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 32, Issue 4, June 2022.
Software Testing
Integration testing and metamorphic testing
Software Testing, Verification and Reliability, Volume 32, Issue 4, June 2022.
Software Testing
Farewell after an 11‐year journey as joint editor‐in‐chief
Software Testing, Verification and Reliability, Volume 32, Issue 4, June 2022.
Software Testing
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software
Software Testing, Verification and Reliability, Volume 32, Issue 8, December 2022.