SmartTest extensions