My current work leverages multi-agent system (MAS) models as the basis for predictive reasoning about various safety conditions and the performance of NextGen Air Traffic Management (ATM) Systems. We are developing and verifying models for NextGen ATM systems for Trajectory-based operations in the New York Metroplex. My research interests also include developing algorithms for regression analysis and testing during continuous integration by innovating in several areas such as program differencing, static analysis, and semantic conflicts/differences between program versions. The results of the regression analysis are used for test case prioritization, test case selection and fault localization. I have worked on several techniques for symbolic execution, automated test case generation, software model checking, guided heuristics, and finding concurrency errors.