- Jeff Offutt:
Editorial: how to get your paper rejected from STVR. Softw. Test. Verification Reliab. 24(6): 413-415 (2014) - Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe:
Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verification Reliab. 24(4): 289-319 (2014) - Muzammil Shahbaz, Roland Groz:
Analysis and testing of black-box component-based systems by inferring partial models. Softw. Test. Verification Reliab. 24(4): 253-288 (2014) - Hema Srikanth, Sean Banerjee, Laurie A. Williams, Jason A. Osborne:
Towards the prioritization of system test cases. Softw. Test. Verification Reliab. 24(4): 320-337 (2014)