Elena's overall research interests focus on developing techniques that help software engineers to determine what the software that they build actually "does" when it is executed. Previously, she has carried out research work in testing of concurrent programs and in developing decision procedures. Currently she investigates techniques that are suitable for integrating the information obtained by various program analyses.