External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 27, Issue 3

    0 -- 0Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho. Bounded model checking of C++ programs based on the Qt cross-platform framework
    0 -- 0Robert M. Hierons. How to manage a conference special issue
    0 -- 0Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Miguel Nabuco, Atif Memon. Pattern-based GUI testing: Bridging the gap between design and quality assurance
    runs on