Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
Telefon: +49 681 302 70978
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.
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 apps 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.
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<email@example.com> · http://www.st.cs.uni-saarland.de//~jamrozik/?lang=fr · Stand: 2015-12-10 17:05