Margaret-Anne Storey, Tom Zimmermann, Christian Bird, Jacek Czerwonka, Brendan Murphy, Eirini Kalliamvakou
IEEE Transactions on Software Engineering |
September 2019
Publication
DOI
Project
August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjørner, Jacek Czerwonka
Proceedings of the 39th International Conference on Software Engineering (ICSE'17) | May 2017
Publication
Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
Publication
Publication
Project
Project
Project
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
Publication
Publication
Project
Kim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy
Proceedings of the 2015 International Conference on Software Engineering | May 2015
Publication
Kim Herzig, Nachi Nagappan
Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
Publication
Christopher Theisen, Kim Herzig, Patrick Morrison, Brendan Murphy, Laurie Williams
Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
Please note that this paper is not yet published, but accepted for inclusion.
Publication
Michaela Greiler, Kim Herzig, Jacek Czerwonka
Proceedings of the 12th Working Conference on Mining Software Repositories | May 2015
Publication
Kim Herzig, Brendan Murphy
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security | April 2015
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security
Publication
Kim Herzig
Empirical Software Engineering |
April 2015, pp. 1-34
Publication
Kim Herzig
Proceedings of the 25th International Symposium on Software Reliability Engineering | November 2014
Publication
Publication
Publication
Kim Herzig, Nachi Nagappan
Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement | September 2014
Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement
Publication
Publication
Publication
Kivanc Muslu, Christian Bird, Nachiappan Nagappan, Jacek Czerwonka, Nachi Nagappan
Proceedings of the International Conference on Software Engineering | June 2014
Proceedings of the International Conference on Software Engineering
Publication
Maria Christakis, Rustan Leino, Wolfram Schulte
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings | May 2014
ISBN: 978-3-319-06409-3
Publication
Publication
Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy
IEEE Software |
July 2013
Publication
Kim Herzig, Sascha Just, Andreas Zeller
Proceedings of the 2013 International Conference on Software Engineering | May 2013
Publication
Jacek Czerwonka
April 2013
Publication
Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy
MSR-TR-2013-7 | January 2013
Published by IEEE Computer Society
IEEE Software
Publication
Publication
Jacek Czerwonka, Rajiv Das, Nachi Nagappan, Alex Tarvo, Alex Teterev
International Conference on Software Testing | March 2011
Publication
Jacek Czerwonka, Nachi Nagappan
International Symposium on Software Reliability Engineering | January 2009
International Symposium on Software Reliability Engineering
Publication