Improving PSS Test Generation Using Model Checking and Conformance Testing.

Philippe Ledent, Radu Mateescu, Wendelin Serwe

Browse the full FDL paper archive.