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, Volume 34, Issue 8, December 2024.
Software Testing
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns
Software Testing, Verification and Reliability, Volume 34, Issue 8, December 2024.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 34, Issue 6, September 2024.
Software Testing
Fault tolerance and metamorphic relation prediction
Software Testing, Verification and Reliability, Volume 34, Issue 6, September 2024.
Software Testing
Validity Matters: Uncertainty‐Guided Testing of Deep Neural Networks
Software Testing, Verification and Reliability, Volume 34, Issue 8, December 2024.
Software Testing
Improving Web Element Localization by Using a Large Language Model
Software Testing, Verification and Reliability, Volume 34, Issue 7, November 2024.
Software Testing
Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations
Software Testing, Verification and Reliability, Volume 34, Issue 7, November 2024.
Software Testing
Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators
Software Testing, Verification and Reliability, Volume 34, Issue 7, November 2024.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 34, Issue 5, August 2024.