Software Testing
Coloured Petri nets for abstract test generation in software engineering
Software Testing, Verification and Reliability, Volume 33, Issue 2, March 2023.
Software Testing
RATE: A model‐based testing approach that combines model refinement and test execution
Software Testing, Verification and Reliability, EarlyView.
Software Testing
RATE: A model‐based testing approach that combines model refinement and test execution
Software Testing, Verification and Reliability, Volume 33, Issue 2, March 2023.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 33, Issue 1, January 2023.
Software Testing
Fuzz testing for digital TV receivers and multitasking control software verification
Software Testing, Verification and Reliability, Volume 33, Issue 1, January 2023.
Software Testing
OS‐in‐the‐Loop verification for multi‐tasking control software
Software Testing, Verification and Reliability, Volume 33, Issue 1, January 2023.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 32, Issue 8, December 2022.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 32, Issue 7, November 2022.
Software Testing
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams
Software Testing, Verification and Reliability, Volume 33, Issue 1, January 2023.
Software Testing
Issue Information
Software Testing, Verification and Reliability, Volume 32, Issue 6, September 2022.