ESEC/FSE
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
ICSE
42nd International Conference on Software Engineering
ICSE
42nd International Conference on Software Engineering Companion
ASE
Automated Software EngineeringThe 35th IEEE/ACM International Conference on Automated Software Engineering.
ICSE
International Conference on Software Engineering (ICSE)International Conference on Software Engineering (ICSE)
Our research projects involve generating software tests, automated debugging and repair, analyzing mobile systems, analyzing user interfaces, and more; see our papers below for details. Our solutions typically apply and combine several techniques including dynamic analysis, static analysis, specification mining, test generation, natural language processing, machine learning, and formal languages.
My largest project these days is The Fuzzing Book—an interactive textbook on test generation (“fuzzing”) techniques. You can execute and edit the code right in your browser.