Konrad Jamrozik
PhD student

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: jamrozik@st.cs.uni-saarland.de
Telefon: +49 681 302 70978

Deutschsprachige Startseite Page d'acceuil en français English home page

About me

Researcher on a Pole position, member of the Saarland University Graduate School of Computer Science. Interested in software engineering, especially developer tasks automation, including testing.

For more information, check out my LinkedIn profile and my GitHub account.


I am working on DroidMate (www.droidmate.org), a tool funded by Google's Test Amplification Focused Research Award of 750'000 USD. DroidMate generates input sequences for Android apps. The inputs are either GUI interactions like taps or words typed from keyboard, or system events like SMS messages. DroidMate is fully automatic: it inputs Android app and returns the generated input sequences as replayable tests. It conducts deep analysis of the app’s bytecode, allowing it to use sophisticated algorithms.

My second line of research is about augmenting dynamic symbolic execution in state-of-the-art test generator Pex. Pex will be included as smart unit tests in the upcoming Visual Studio release. As part of this work I published two papers (see section below) and I have conducted an internship in summer 2014 at Microsoft Research, Redmond, RiSE group.

Click here for a 13 minutes long summary of my internship's work.



Past projects

Apex, a master thesis project. An extension of the Pex automated testing tool, enabling generation of unit test suites offering better protection against domain faults and source code regression. Plain Pex aims at generating minimal unit test suite, covering each code statement under test possibly with only one concrete test, exercising the currently covered statement with only one set of input parameter values. Unit test suites generated by Apex on the other hand, exercise code under test with multiple input parameter values per code statement, covering boundary cases of the path condition required to reach the currently covered statement.


Mail me or just come visit me here, that is, at Saarland University campus, building E1.1, room 1.16.2.

<jamrozik@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/~jamrozik/ · Stand: 2015-12-10 17:05