The testing of software systems involves the use of techniques that can discover program faults. Automated testing describes a set of methodologies which help practitioners automatically derive, discover, and perform large sets of tests and then perform those tests on their software. The generation of input and examination of output are under program control. The more easily (and more frequently) these tests are performed, the greater the confidence of developers in the correctness of their system's behavior.

Research topics pursued in atLAB include: automated testing; combinatorial test generation; grammar-based testing generation; and network vulnerability testing especially of Supervisory Control and Data Aquisition (SCADA) devices and Process Control Systems (PCS).