SMS: Computer-Aided Testing Gets Real