Dr. Juan Pablo Galeotti
Postdoc

Who I Am

I am a postdoc working in the Specmate Project at Saarland University. I have finished my PhD in 2010 and started working on test case generation and specification inference.

Specmate

The SPECMATE project aims to extract specifications from software systems by means of automated test generation. This large-scale, long-term project is conducted at Saarland University and funded by

• The European Research Council through an ERC Advanced Grant in specification mining
• Google, Inc through a Focused Research Award in test case generation
• Deutsche Forschungsgemeinschaft through a DFG Research Grant in mutation analysis

You can find more information about SPECMATE on the project page.

Publications

You can find a list of my publications at the Publications Page.

For an out-dated list of previous publications please check my old homepage.

Teaching

• Automated Debugging (Seminar, Winter semester 2014/2015)
• Generating Software Tests (Advanced Course, Summer semester 2014)
• Software Engineering (Core Course, Winter semester 2013/2014)
• Software Testing (Proseminar, Summer semester 2013)
• Automated Testing & Verification (Advanced Course, Winter semester 2012/2013)
• Testing, Verification & Everything in Between (Seminar, Summer semester 2012)

Contact