External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 24, Issue 4

    251 -- 252Jeff Offutt. Globalization - logical flow, motivation, and assumptions
    253 -- 288Muzammil Shahbaz, Roland Groz. Analysis and testing of black-box component-based systems by inferring partial models
    289 -- 319Augusto Sampaio, Sidney Nogueira, Alexandre Mota, Yoshinao Isobe. Sound and mechanised compositional verification of input-output conformance
    320 -- 337Hema Srikanth, Sean Banerjee, Laurie Williams, Jason A. Osborne. Towards the prioritization of system test cases
    runs on