Margaret-Anne Storey, Tom Zimmermann, Christian Bird, Jacek Czerwonka, Brendan Murphy, Eirini Kalliamvakou
IEEE Transactions on Software Engineering |
September 2019
Publication
DOI
项目
August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjørner, Jacek Czerwonka
Proceedings of the 39th International Conference on Software Engineering (ICSE'17) | May 2017
论文与出版物
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
论文与出版物
论文与出版物
项目
项目
项目
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
论文与出版物
论文与出版物
项目
Kim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy
Proceedings of the 2015 International Conference on Software Engineering | May 2015
论文与出版物
Kim Herzig, Nachi Nagappan
Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
论文与出版物
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.
论文与出版物
Michaela Greiler, Kim Herzig, Jacek Czerwonka
Proceedings of the 12th Working Conference on Mining Software Repositories | May 2015
论文与出版物
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
论文与出版物
Kim Herzig
Empirical Software Engineering |
April 2015, pp. 1-34
论文与出版物
Kim Herzig
Proceedings of the 25th International Symposium on Software Reliability Engineering | November 2014
论文与出版物
论文与出版物
论文与出版物
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
论文与出版物
论文与出版物
论文与出版物
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
论文与出版物
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
论文与出版物
论文与出版物
Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy
IEEE Software |
July 2013
论文与出版物
Kim Herzig, Sascha Just, Andreas Zeller
Proceedings of the 2013 International Conference on Software Engineering | May 2013
论文与出版物
Jacek Czerwonka
April 2013
论文与出版物
Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy
MSR-TR-2013-7 | January 2013
作者:IEEE Computer Society
IEEE Software
论文与出版物
论文与出版物
Jacek Czerwonka, Rajiv Das, Nachi Nagappan, Alex Tarvo, Alex Teterev
International Conference on Software Testing | March 2011
论文与出版物
Jacek Czerwonka, Nachi Nagappan
International Symposium on Software Reliability Engineering | January 2009
International Symposium on Software Reliability Engineering
论文与出版物