External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 22, Issue 6

    365 -- 405César Andrés, Mercedes G. Merayo, Manuel Núñez. Formal passive testing of timed systems: theory and tools
    407 -- 434Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot. Scenario-based testing using symbolic animation of B models
    435 -- 454Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko. On reducing test length for FSMs with extra states
    runs on