P
P. de Halleux
Researcher at Microsoft
Publications - 3
Citations - 172
P. de Halleux is an academic researcher from Microsoft. The author has contributed to research in topics: Software & Software bug. The author has an hindex of 3, co-authored 3 publications receiving 163 citations.
Papers
More filters
Journal ArticleDOI
Automating Software Testing Using Program Analysis
Patrice Godefroid,P. de Halleux,Aditya V. Nori,Sriram K. Rajamani,Wolfram Schulte,Nikolai Tillmann,Michael Y. Levin +6 more
TL;DR: Three new tools from Microsoft combine techniques from static program analysis, dynamic analysis, model checking, and automated constraint solving while targeting different application domains.
Journal ArticleDOI
Environmental Modeling for Automated Cloud Application Testing
TL;DR: A proposed approach models the cloud environment and applies dynamic symbolic execution to generate test inputs and cloud states and shows that it can achieve high structural coverage in open-source Azure cloud applications.
Journal ArticleDOI
Predictable and Progressive Testing of Multithreaded Code
TL;DR: The Chess (Checker for System Software) testing tool repeatedly executes a multithreaded program while guaranteeing predictable and deterministic scheduling and progressively exploring more schedules to uncover errors quickly.