7/2017: Our papers on reducing tree-structured input data and on mining test inputs from existing tests will appear at ASE 2017. Congrats to Satia, Jibesh, Luca, and Cristian!
6/2017: From research to practice: Our work on using identifier names to detect thousands of bugs at Google will be presented at OOPSLA 2017.
4/2017: Our paper on actionable performance profiling will appear at ISSTA 2017.
2/2017: Marija and Jibesh will join Microsoft Research for summer internships. Congrats!
2/2017: Our work on systematically testing collaborative web applications has been accepted at PLDI. Congrats to Marina on her first conference publication!
12/2016: Two papers at ICSE 2017: Our work on coverage-guided generation of concurrent tests and on targeted fuzzing of Android execution environments will appear at ICSE.
11/2016: Check out our work on preventing code injections on Node.js and on fuzz testing with probabilistic, generative models of input data.
9/2016: Group retreat in Koblenz
7/2016: Jibesh's work on language independent fuzz testing receives a distinguished poster award at ECOOP. Congrats!
7/2016: Xiangyu Zhang from Purdue visits us and talks about dynamic analyses for security.
4/2016: Alex Orso from Georgia Tech visits us and talks about automated debugging.
4/2016: Werner Dietl from U Waterloo visits us and talks about static analysis for Android apps.
4/2016: Two papers, on macro-based GUI testing and on profiling synchronization bottlenecks, accepted at ISSTA 2016.
3/2016: Marija wins an ACM-W Scholarship Award. Congrats!
12/2015: Two papers accepted at ICSE 2016. Congrats to Marija and Cristian!
10/2015: Andrew Habib joins the group. Welcome!
10/2015: Markus Ermuth and Thomas Glaser successfully defend their master and bachelor theses. Congrats!
10/2015: New course on Program Testing and Analysis starting this winter semester
9/2015: Murali Krishna Ramanatha from IIS visits us and talks about "Object Flow Profiling"
9/2015: Marina will present first results on race detection in web application at the SPLASH'15 SRC
8/2015: Paper on MemoizeIt accepted at OOPSLA'15
7/2015: Ankit Choudhary successfully defends his master thesis on "Goal-driven Generation of Concurrent Unit Tests". Congrats!
6/2015: Marcel Böhme (Saarland University) visits us and talks about "Efficiency of Automated Testing"
5/2015: Paper on JITProf accepted at FSE'15
4/2015: Paper in DLint will be presented at ISSTA'15
4/2015: First results of Cristian's work on studying implicit information flows: PLDI'15 SRC contribution
4/2015: Marina Billes joins the group: Welcome!
3/2015: Jibesh Patra joins the group: Welcome!
12/2014: Paper on TypeDevil accepted at ICSE'15
12/2014: Andreas Leitner (Google Zurich) visits us and talks about "Testing at Google/YouTube"
10/2014: Teaching a new seminar in the winter semester: "Program Analysis"
10/2014: Marija Selakovic and Cristian-Alexandru Staicu are joining the group. Welcome!