The Verification and Testing research group in the Department of Computer Science at the University of Sheffield has interests that cover a wide range of topics in empirical software engineering, formal systems development, and software testing. The group has a long standing genuine interest in developing rigorous theories and integrating them into practical software development techniques and methods. They are the largest UK research group working on Testing, covering the field from theory, particularly model-based testing, through to practical testing in industry. They place a major emphasis on practical testing methods that are suitable for complex systems. They have made major advances on learning how to build effective test sets in an automated fashion, exploiting both formal techniques and evolutionary methods for searching complex test solution spaces.
Contact: John Derrick