Konrad Jamrozik
PhD student

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.

Research

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.

Publications

• Generating Test Suites with Augmented Dynamic Symbolic Execution
  by Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann and Jonathan De Halleux. June 2013.
  More details – Download publication as a PDF file.
  
  Click here for an 18 minutes long presentation about ADSE
• Patterns for teaching software engineering (Muster der Softwaretechnik-Lehre)
  by Valentin Dallmeier, Florian Gross, Clemens Hammacher, Matthias Höschele, Konrad Jamrozik, Kevin Streit, Andreas Zeller. February 2013.
  Download publication as a PDF file.
• Augmented Dynamic Symbolic Execution
  by Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann and Jonathan De Halleux. September 2012.
  More details – Download publication as a PDF file. – Download conference talk slides as a PDF file.

Teaching

• Software Engineering (Core lecture, Winter 2013)
• Software Engineering (Core lecture, Summer 2012)

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.

Contact

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

Impressum ● Datenschutzerklärung