Software Testing
Test environments for large‐scale software systems—An industrial study of intrinsic and extrinsic success factors
Software Testing, Verification and Reliability, EarlyView.
Software Testing
JUGE: An infrastructure for benchmarking Java unit test generators
Software Testing, Verification and Reliability, EarlyView.
Software Testing
JUGE: An infrastructure for benchmarking Java unit test generators
Software Testing, Verification and Reliability, EarlyView.
Software Testing
Coloured Petri nets for abstract test generation in software engineering
Software Testing, Verification and Reliability, EarlyView.
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.