Skip to content

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.

Cristiano Bertolini, Alexandre Mota

VenueBSEFM
Year2009
ProceedingsSEFM

Browse the full SEFM paper archive.