Random Testing in Software Quality Assurance