Software Testing
Ensuring the Correctness and Reliability of CBPS System Using Event‐B
Software Testing, Verification and Reliability, EarlyView.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 34, Issue 7, November 2024.
Software Testing
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
Software Testing, Verification and Reliability, EarlyView.
Software Testing
DialTest‐EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing
Software Testing, Verification and Reliability, EarlyView.
Software Testing
Metamorphic Testing and Web Element Localization
Software Testing, Verification and Reliability, Volume 34, Issue 7, November 2024.
Software Testing
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
Software Testing, Verification and Reliability, EarlyView.
Software Testing
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof
Software Testing, Verification and Reliability, EarlyView.
Software Testing
Software Reliability Prediction by Adaptive Gated Recurrent Unit‐Based Encoder‐Decoder Model With Ensemble Empirical Mode Decomposition
Software Testing, Verification and Reliability, EarlyView.
Software Testing
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns
Software Testing, Verification and Reliability, EarlyView.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 34, Issue 6, September 2024.