SDALab's general area of research is automated software engineering with a focus on the following three thrusts: For additional details about each project refer to either the project site or publications. SDALab research projects have been sponsored by the generous support of the following agencies: ![]() ![]() |