Michael D. Ernst

发表

Nancy A. Lynch, Toh Ne Win, Michael D. Ernst, 2003, VMCAI.
Michael D. Ernst, David Saff, Shay Artzi, 2005, ASE '05.
Michael D. Ernst, Alan Donovan, 2003 .
Michael D. Ernst, Shay Artzi, 2005, OOPSLA '05.
Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2013, ECOOP.
Michael D. Ernst, Ralph E. Johnson, Mohsen Vakilian, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Michael D. Ernst, Will Scott, Ravi Bhoraskar, 2014, APSys.
Michael D. Ernst, Jaime Quinonez, Matthew S. Tschantz, 2008, ECOOP.
Michael D. Ernst, Hao Lü, Sai Zhang, 2012, ISSTA 2012.
Craig S. Kaplan, Michael D. Ernst, Craig Chambers, 1998, ECOOP.
Michael D. Ernst, Matthew M. Papi, Mahmood Ali, 2008, OOPSLA Companion.
Michael D. Ernst, Emina Torlak, Konstantin Weitz, 2017, Proc. ACM Program. Lang..
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Michael D. Ernst, Jeff H. Perkins, Matthew M. Papi, 2008, ISSTA '08.
Martin Rinard, Michael D. Ernst, Jeff H. Perkins, 2011 .
Yuriy Brun, Michael D. Ernst, David Notkin, 2012, OOPSLA '12.
Michael D. Ernst, John Chapin, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Michael D. Ernst, Sai Zhang, Sai Zhang, 2014, ICSE.
Michael D. Ernst, Wing Lam, Tao Xie, 2020, ISSTA.
Michael D. Ernst, Bjarne Steensgaard, Daniel Weise, 1994, POPL '94.
Michael D. Ernst, Jaime Quinonez, Telmo Luis Correa, 2007, OOPSLA '07.
Yuriy Brun, Michael D. Ernst, David Notkin, 2012, 2012 34th International Conference on Software Engineering (ICSE).
Michael D. Ernst, Matthew S. Tschantz, 2005, OOPSLA '05.
Michael D. Ernst, David Saff, David Saff, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Michael D. Ernst, Shay Artzi, Sunghun Kim, 2008, ECOOP.
Michael D. Ernst, David Saff, Yingyi Bu, 2011, ISSTA '11.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2011, ACM SIGOPS Oper. Syst. Rev..
Michael D. Ernst, Todd D. Millstein, Daniel S. Weld, 1997, IJCAI.
Michael D. Ernst, Gordon Fraser, René Just, 2015, Software Engineering & Management.
Martin Rinard, Michael D. Ernst, 2006 .
Michael D. Ernst, Todd W. Schiller, 2012, OOPSLA '12.
Michael D. Ernst, Fausto Spoto, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2012, TLDI '12.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2011, ESEC/FSE '11.
Michael D. Ernst, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Michael D. Ernst, Martin Kellogg, Vlastimil Dort, 2018, ISSTA.
Michael D. Ernst, Shay Artzi, Adam Kiezun, 2007, ESEC-FSE '07.
Michael D. Ernst, David Saff, David Saff, 2004, PASTE.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2015, IEEE Transactions on Software Engineering.
Frank Tip, Michael D. Ernst, Adam Kiezun, 2007, 29th International Conference on Software Engineering (ICSE'07).
Nancy A. Lynch, Toh Ne Win, Michael D. Ernst, 2003, International Journal on Software Tools for Technology Transfer.
Michael D. Ernst, Paley Li, Alex Potanin, 2010, OOPSLA.
Michael D. Ernst, Zoran Popović, 2012 .
Michael D. Ernst, Pietro Ferrara, Fausto Spoto, 2019, ACM Trans. Program. Lang. Syst..
Yuriy Brun, Michael D. Ernst, David Notkin, 2015, IEEE Transactions on Software Engineering.
Michael D. Ernst, Peter Müller, Werner Dietl, 2011, ECOOP.
Michael D. Ernst, David Saff, 2004, Electron. Notes Theor. Comput. Sci..
Michael D. Ernst, Carlos Pacheco, Carlos Pacheco, 2007, OOPSLA '07.
Michael D. Ernst, Fausto Spoto, Massimo Merro, 2015, NFM.
Michael D. Ernst, Adrian Birka, 2004, OOPSLA '04.
Michael D. Ernst, Matthew M. Papi, 2012 .
Alexandre Petrenko, Michael D. Ernst, Shay Artzi, 2006 .
Michael D. Ernst, Fausto Spoto, Damiano Macedonio, 2015, LPAR.
Michael D. Ernst, D. Notkin, 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.
Michael D. Ernst, Danny Dig, John Marrero, 2009, 2009 IEEE 31st International Conference on Software Engineering.
Michael D. Ernst, Ruth E. Anderson, Steven A. Wolfman, 2014, SIGCSE '14.
William G. Griswold, Michael D. Ernst, David Notkin, 2000 .
William G. Griswold, Michael D. Ernst, David Notkin, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Michael D. Ernst, Shoaib Kamil, Pavel Panchekha, 2018, PLDI.
Michael D. Ernst, David Saff, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Michael D. Ernst, Jingyue Li, Jingyue Li, 2012, 2012 34th International Conference on Software Engineering (ICSE).
Marcelo d'Amorim, Michael D. Ernst, Darko Marinov, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Michael D. Ernst, David Saff, David Saff, 2004, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Michael D. Ernst, Danny Dig, John Marrero, 2009, 2009 31st International Conference on Software Engineering - Companion Volume.
Stephen McCamant, Michael D. Ernst, Jeff H. Perkins, 2006, ISSTA '06.
Michael D. Ernst, Shay Artzi, Sunghun Kim, 2007 .
Stephen McCamant, Michael D. Ernst, Stephen McCamant, 2006 .
Michael D. Ernst, Jeremy W. Nimmer, 2002, SIGSOFT '02/FSE-10.
Michael D. Ernst, Cheng Zhang, Sai Zhang, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
William G. Griswold, Gregg Rothermel, David Garlan, 2002 .
Michael D. Ernst, Adam Kiezun, Matthew S. Tschantz, 2004, OOPSLA '04.
Michael D. Ernst, Emina Torlak, Calvin Loncaric, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Michael D. Ernst, Thomas E. Anderson, Zachary Tatlock, 2016, CPP.
Michael D. Ernst, Jonathan E. Cook, 2003, SOEN.
Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2013, PLDI.
Stephen McCamant, Michael D. Ernst, Stephen McCamant, 2007, PLAS '07.
Stephen McCamant, Michael D. Ernst, Philip J. Guo, 2004 .
Michael D. Ernst, Werner Dietl, Peter Müller, 2009 .
Michael D. Ernst, Shay Artzi, Philip J. Guo, 2011, CAV.
Michael D. Ernst, Thomas E. Anderson, Zachary Tatlock, 2018, ArXiv.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2014, ICSE.
Michael D. Ernst, Amy J. Ko, A. J. Ko, 2013, UIST.
Michael D. Ernst, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2013, PLDI.
Michael D. Ernst, Ruth E. Anderson, Ben Tribelhorn, 2015, SIGCSE.
Michael D. Ernst, Michael Harder, Benjamin S. Morse, 2001 .
Michael D. Ernst, Todd W. Schiller, Werner Dietl, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Yuriy Brun, Michael D. Ernst, David Notkin, 2011, ESEC/FSE '11.
Michael D. Ernst, Zoran Popovic, Werner Dietl, 2012, FTfJP@ECOOP.
Michael D. Ernst, Todd W. Schiller, 2010, FoSER '10.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2011, SOSP 2011.
Michael D. Ernst, Shay Artzi, Adam Kiezun, 2009, Automated Software Engineering.
Michael D. Ernst, Serdar Tasiran, Martin Schäf, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael D. Ernst, Irfan Ul Haq, Juan Antonio Caballero Carretero, 2016 .
Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, 2018, ISSTA.
Michael D. Ernst, Jonathan E. Cook, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2010, SLAML.
David Glasser, Michael D. Ernst, Shay Artzi, 2007, ASE '07.
Michael D. Ernst, Gary T. Leavens, K. Rustan M. Leino, 2003, International Journal on Software Tools for Technology Transfer.
Michael D. Ernst, Yoav Zibin, Matthew M. Papi, 2008, OOPSLA Companion.
Michael D. Ernst, Werner Dietl, Eric Spishak, 2012, FTfJP@ECOOP.
Stephen McCamant, Chen Xiao, Michael D. Ernst, 2007, Sci. Comput. Program..
Stephen McCamant, Michael D. Ernst, Jeff H. Perkins, 2006, ISSTA '06.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2011, OPSR.
Michael D. Ernst, Philip J. Guo, Adam Kiezun, 2009, ISSTA.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2020, ACM Trans. Softw. Eng. Methodol..
Michael D. Ernst, Emina Torlak, Calvin Loncaric, 2016, PLDI.
Yuriy Brun, Michael D. Ernst, David Notkin, 2010, FoSER '10.
Michael D. Ernst, David Saff, D. Saff, 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..
Yuriy Brun, Michael D. Ernst, David Notkin, 2012 .
William G. Griswold, Michael D. Ernst, David Notkin, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Michael D. Ernst, Richard Cook, Michael Bayne, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Michael D. Ernst, William Thies, Amy L. Williams, 2005, ECOOP.
Michael D. Ernst, Lee Lin, Nii Dodoo, 2003 .
Michael D. Ernst, Sunghun Kim, Sunghun Kim, 2007, ESEC-FSE '07.
Michael D. Ernst, Raimondas Lencevicius, H. Perkins, 2006 .
Stephen McCamant, Michael D. Ernst, Stephen McCamant, 2004, ECOOP.
Michael D. Ernst, David Notkin, D. Notkin, 2000 .
Michael D. Ernst, René Just, Suzanne Millstein, 2014, Software Engineering & Management.
Michael D. Ernst, Emina Torlak, Jonathan Jacky, 2016, Lecture Notes in Computer Science.
Marcelo d'Amorim, Michael D. Ernst, René Just, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael D. Ernst, René Just, Paul Ammann, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael D. Ernst, Irfan Ul Haq, Juan Caballero, 2015, WODA@SPLASH.
Michael D. Ernst, Philip J. Guo, Adam Kiezun, 2009, 2009 IEEE 31st International Conference on Software Engineering.
Michael D. Ernst, Rui Abreu, Gordon Fraser, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Michael D. Ernst, Michael M. Gorlick, David Notkin, 2001, ICSE.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2011, ESEC/FSE '11.
Michael D. Ernst, Elizabeth L. Wilmer, 2002, Discret. Math..
Michael D. Ernst, Gordon Fraser, René Just, 2014, ISSTA 2014.
Michael D. Ernst, Martin Kellogg, Vlastimil Dort, 2018, Artifact Digital Object Group.
Michael D. Ernst, Jeremy W. Nimmer, 2002, ISSTA '02.
Michael D. Ernst, A. J. Ko, Brian Burg, 2015, UIST.
Michael D. Ernst, Gary T. Leavens, K. Rustan M. Leino, 2003, Electron. Notes Theor. Comput. Sci..
Michael D. Ernst, Matthew M. Papi, 2007, OOPSLA '07.
Michael D. Ernst, Thomas E. Anderson, Zachary Tatlock, 2019, EuroSys.
William G. Griswold, Michael D. Ernst, David Notkin, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Michael D. Ernst, Werner Dietl, Ana Milanova, 2012, ECOOP.
Michael D. Ernst, Shuvendu K. Lahiri, Thomas Ball, 2007, 29th International Conference on Software Engineering (ICSE'07).
Michael D. Ernst, Lu Zhang, Yingfei Xiong, 2018, IEEE Transactions on Software Engineering.
Michael D. Ernst, Fausto Spoto, Damiano Macedonio, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
William G. Griswold, Michael D. Ernst, David Notkin, 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.
Michael D. Ernst, Mahmood Ali, 2010, FSE '10.
Michael D. Ernst, Emina Torlak, Konstantin Weitz, 2016, OOPSLA.
Michael D. Ernst, David Saff, Marat Boshernitsan, 2008 .
Alvin Cheung, Michael D. Ernst, Emina Torlak, 2020 .
Michael D. Ernst, Chandrakana Nandi, Chandrakana Nandi, 2016, PLAS@CCS.
Michael D. Ernst, Todd W. Schiller, Kellen Donohue, 2014, ICSE.
Michael D. Ernst, Michael Harder, Jeff Mellen, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Michael D. Ernst, Alex Potanin, Yoav Zibin, 2013, Aliasing in Object-Oriented Programming.
Michael D. Ernst, Jeff H. Perkins, Matthew M. Papi, 2007 .
Michael D. Ernst, David Notkin, Greg J. Badros, 2002, IEEE Trans. Software Eng..
Michael D. Ernst, Philip J. Guo, Adam Kiezun, 2019, ISSTA.
Xi Wang, Michael D. Ernst, Thomas E. Anderson, 2015, PLDI.
Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, 2016, ISSTA.
Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, 2019, REFSQ Workshops.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2014, ICSE Companion.
Michael D. Ernst, René Just, Darioush Jalali, 2014, ISSTA 2014.
Stephen McCamant, Michael D. Ernst, Stephen McCamant, 2003, ESEC/FSE-11.
Michael D. Ernst, Manu Sridharan, Martin Schäf, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Stephen McCamant, Michael D. Ernst, Stephen McCamant, 2008, PLDI '08.
Michael D. Ernst, Emina Torlak, Jonathan Jacky, 2018 .
Michael D. Ernst, Jeff H. Perkins, Nuo Li, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Michael D. Ernst, Gordon Fraser, René Just, 2014, SIGSOFT FSE.
Yuriy Brun, Michael D. Ernst, David Notkin, 2013, IEEE Transactions on Software Engineering.
Yuriy Brun, Michael D. Ernst, Kivanç Muslu, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael D. Ernst, Hao Lü, Sai Zhang, 2013, ISSTA.
Yuriy Brun, Michael D. Ernst, Yuriy Brun, 2004, Proceedings. 26th International Conference on Software Engineering.
Michael D. Ernst, Dan Grossman, Matthew J. Parkinson, 2017, ACM Trans. Program. Lang. Syst..
Frank Tip, Michael D. Ernst, Shay Artzi, 2010, IEEE Transactions on Software Engineering.
Michael D. Ernst, David Notkin, Wing Lam, 2014, ISSTA 2014.
Yuriy Brun, Michael D. Ernst, David Notkin, 2011, ESEC/FSE '11.
Michael D. Ernst, Magdalena Balazinska, Bill Howe, 2010, Proc. VLDB Endow..
Michael D. Ernst, Konstantin Weitz, Siwakorn Srisakaokul, 2014, ISSTA 2014.
Frank Tip, Michael D. Ernst, Bjorn De Sutter, 2011, TOPL.
Michael D. Ernst, Werner Dietl, Ana Milanova, 2012, OOPSLA '12.
Michael D. Ernst, Sunghun Kim, Sunghun Kim, 2007, Fourth International Workshop on Mining Software Repositories (MSR'07:ICSE Workshops 2007).
Martin Rinard, Michael D. Ernst, Jeff H. Perkins, 2009, Symposium on Operating Systems Principles.
Yuriy Brun, Michael D. Ernst, David Notkin, 2013, ESEC/FSE 2013.
Michael D. Ernst, Jeff H. Perkins, J. Perkins, 2004, SIGSOFT '04/FSE-12.
Michael D. Ernst, Jeremy W. Nimmer, 2002, SOEN.
Yuriy Brun, Ivan Beschastnikh, Michael D. Ernst, 2016, ACM Queue.
Michael D. Ernst, Jeff H. Perkins, Weng-Fai Wong, 2009, SOSP '09.
Michael D. Ernst, Sai Zhang, Sai Zhang, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Michael D. Ernst, David Saff, David Saff, 2004, ISSTA '04.
Frank Tip, Michael D. Ernst, Shay Artzi, 2008, ISSTA '08.
Michael D. Ernst, Konstantin Weitz, Siwakorn Srisakaokul, 2014, ISSTA 2014.
Michael D. Ernst, Shay Artzi, Sunghun Kim, 2009, ESEC/SIGSOFT FSE.
Michael D. Ernst, Carlos Pacheco, Carlos Pacheco, 2005, ECOOP.
Michael D. Ernst, Magdalena Balazinska, Bill Howe, 2012, The VLDB Journal.
Michael D. Ernst, Suzanne Millstein, Rashmi Mudduluru, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Isil Dillig, Michael D. Ernst, Sebastian Porst, 2021, ESEC/SIGSOFT FSE.
Michael D. Ernst, Manu Sridharan, Martin Kellogg, 2021, ESEC/SIGSOFT FSE.
Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, 2021, J. Syst. Softw..
Michael D. Ernst, Nii Dodoo, Alan Donovan, 2002 .
Michael D. Ernst, B. Flinchbaugh, 1989 .
Michael D. Ernst, Konstantin Weitz, A. Krishnamurthy, 2016 .
Michael D. Ernst, Yingyi Bu, Sai Zhang, 2010 .
Michael D. Ernst, Kivanç Muslu, Yuriy Brun, 2015 .
Michael D. Ernst, Rui Abreu, Gordon Fraser, 2016 .
Michael D. Ernst, Philip J. Guo, Stephen McCamant, 2022 .
Michael D. Ernst, Magdalena Balazinska, Bill Howe, 2010 .
Michael D. Ernst, Vance W. Berger, Clifford E. Lunneborg, 2002 .
Michael D. Ernst, Konstantin Weitz, A. Krishnamurthy, 2016 .
Michael D. Ernst, 2005 .
Michael D. Ernst, D. Saff, Marat Boshernitsan, 2008 .
Michael D. Ernst, A. Potanin, Paley Li, 2010 .
Michael D. Ernst, Konstantin Weitz, A. Krishnamurthy, 2016 .
Michael D. Ernst, A. Krishnamurthy, T. Anderson, 2012, SLAML '11.
Michael D. Ernst, Samir V. Meghani, 2003 .
Michael D. Ernst, Jeremy W. Nimmer, 2002, SOEN.
Michael D. Ernst, J. Smolen, D. Aletaha, 2012 .
Michael D. Ernst, Yuriy Brun, Ivan Beschastnikh, 2016, Commun. ACM.
Michael D. Ernst, F. Spoto, Massimo Merro, 2016 .
Michael D. Ernst, G. Nelles, T. Ziemssen, 2022, Neurological Research and Practice.
Michael D. Ernst, P. Mergo, P. Ros, 2000, Abdominal Imaging.
Michael D. Ernst, Konstantin Weitz, A. Krishnamurthy, 2016 .
Michael D. Ernst, T. Wright, J. Lopez, 2000, Journal of the Southern Orthopaedic Association.
Michael D. Ernst, P. Mergo, P. Ros, 2001, Journal of computer assisted tomography.
Michael D. Ernst, L. D. de Vries, V. Pierrat, 2001, Archives of disease in childhood. Fetal and neonatal edition.
Michael D. Ernst, YURIY BRUN, Yuriy Brun, 2016 .
Michael D. Ernst, T. Anderson, Zachary Tatlock, 2018, ArXiv.
Michael D. Ernst, Greg J. Badros, D. Notkin, 2002, IEEE Trans. Software Eng..
Michael D. Ernst, Robert M. Fuhrer, F. Tip, 2011, TOPL.
Michael D. Ernst, Danny Dig, John Marrero, 2011, IWMSE '11.