Matthew B. Dwyer

发表

George S. Avrunin, James C. Corbett, Matthew B. Dwyer, 2000, International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer, Mitchell J. Gerrard, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Matthew B. Dwyer, 2001, Lecture Notes in Computer Science.
George S. Avrunin, Matthew B. Dwyer, J. C. Corbett, 1999 .
Matthew B. Dwyer, John Hatcliff, Robby, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Dong Xu, Matthew B. Dwyer, Sebastian G. Elbaum, 2020, CAV.
Raffaela Mirandola, Forrest Shull, Miryung Kim, 2016, IEEE Trans. Software Eng..
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2007, Future of Software Engineering (FOSE '07).
Michael Huth, Matthew B. Dwyer, Corina S. Pasareanu, 1999, SPIN.
Matthew B. Dwyer, Virgil Wallentine, V. Wallentine, 1997, PDPTA.
Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum, 2011, TSEM.
Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, 2011, Empirical Software Engineering.
Lori A. Clarke, Matthew B. Dwyer, L. Clarke, 1996 .
James C. Corbett, Matthew B. Dwyer, John Hatcliff, 1999, SAS.
Steve Goddard, Matthew B. Dwyer, Haitao Zhu, 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.
Matthew B. Dwyer, Virgil Wallentine, 1997, Concurr. Pract. Exp..
Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi, 2007, ISSTA '07.
Matthew B. Dwyer, Sebastian G. Elbaum, Hui Nee Chin, 2009, IEEE Transactions on Software Engineering.
James C. Corbett, Matthew B. Dwyer, Corina S. Pasareanu, 2000, ICSE.
Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer, 1997 .
Matthew B. Dwyer, Michael Lange, Stephen F. Siegel, 2017, CORRECTNESS@SC.
Matthew B. Dwyer, Sebastian Elbaum, Nicola Bezzo, 2020 .
Myra B. Cohen, Justin Firestone, Matthew B. Dwyer, 2014, FSE 2014.
George S. Avrunin, James C. Corbett, Matthew B. Dwyer, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, 2013, Assurances for Self-Adaptive Systems.
Matthew B. Dwyer, John Hatcliff, Radu Iosif, 2005, Formal Methods Syst. Des..
Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu, 2008, SIGSOFT '08/FSE-16.
Matthew B. Dwyer, John Hatcliff, Robby, 2003, ESEC/FSE-11.
Matthew B. Dwyer, Rahul Purandare, 2008, SPIN.
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2014 .
David S. Rosenblum, Matthew B. Dwyer, Sebastian G. Elbaum, 2019, AAAI.
Matthew B. Dwyer, Sebastian G. Elbaum, Hui Nee Chin, 2006, SIGSOFT '06/FSE-14.
Matthew B. Dwyer, Sebastian G. Elbaum, Elena Sherman, 2009, ESEC/FSE '09.
Matthew B. Dwyer, Stefan Leue, S. Leue, 2004, International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer, Suzette Person, Rahul Purandare, 2010, RV.
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2014, ASE.
Matthew B. Dwyer, Mehmet C. Vuran, Sebastian G. Elbaum, 2010, MSWIM '10.
Matthew B. Dwyer, Suzette Person, Anita Sarma, 2014, ICSE Companion.
Matthew B. Dwyer, Venkatesh Prasad, Ranganath Georg, 2005 .
Matthew B. Dwyer, John Hatcliff, Georg Jung, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Matthew B. Dwyer, John Hatcliff, Hongjun Zheng, 2000, High. Order Symb. Comput..
Matthew B. Dwyer, John Hatcliff, Robby, 2006, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06).
Masaaki Mizuno, Matthew B. Dwyer, John Hatcliff, 2004, TACAS.
Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi, 2012, FASE.
Matthew B. Dwyer, Sebastian G. Elbaum, Sebastian Elbaum, 2019, ArXiv.
Lori A. Clarke, Matthew B. Dwyer, Kari A. Nies, 1994 .
Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, 2009, 2009 1st International Symposium on Search Based Software Engineering.
Matthew B. Dwyer, Willem Visser, Robby, 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum, 2007, ASE '07.
Matthew B. Dwyer, Suzette Person, 2009 .
Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer, 1997, ICSE '97.
Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi, 2008, IEEE Transactions on Software Engineering.
Matthew B. Dwyer, 2015, IEEE Trans. Software Eng..
Matthew B. Dwyer, Sebastian G. Elbaum, Rahul Purandare, 2013, ISSTA.
Matthew B. Dwyer, Torben Amtoft, Anindya Banerjee, 2005, TOPL.
Matthew B. Dwyer, Corina S. Pasareanu, John Hatcliff, 2013, The Essence of Computation.
Matthew B. Dwyer, Corina S. Pasareanu, C. Pasareanu, 1998, SIGSOFT '98/FSE-6.
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, 2004, eclipse '04.
Matthew B. Dwyer, Elena Sherman, Elena Sherman, 2012 .
Matthew B. Dwyer, Corina S. Pasareanu, C. Pasareanu, 1998, Generic Programming.
James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, 2000 .
Matthew B. Dwyer, Sebastian G. Elbaum, Sebastian Elbaum, 2020, ISSTA.
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Matthew B. Dwyer, Brady J. Garvin, Elena Sherman, 2010 .
Matthew B. Dwyer, Sebastian G. Elbaum, Eric F. Rizzi, 2014, SOEN.
Matthew B. Dwyer, 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.
Matthew B. Dwyer, John Hatcliff, Muhammad Nanda, 1998, CSUR.
Matthew B. Dwyer, John Hatcliff, Robby, 2006, International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer, Michael W. Whalen, Willem Visser, 2012, Software & Systems Modeling.
Matthew B. Dwyer, Sebastian G. Elbaum, Matthew Jorde, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
James C. Corbett, Matthew B. Dwyer, John Hatcliff, 2000, ICSE '00.
Matthew B. Dwyer, Sebastian G. Elbaum, Pingyu Zhang, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Matthew B. Dwyer, Gurdip Singh, John Hatcliff, 2002, FMCO.
Matthew B. Dwyer, Mitchell J. Gerrard, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Matthew B. Dwyer, Brady J. Garvin, Elena Sherman, 2010, IJCAR.
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, 2007, 29th International Conference on Software Engineering (ICSE'07).
Matthew B. Dwyer, Rahul Purandare, Peeyush Kushwaha, 2020, ArXiv.
Matthew B. Dwyer, Stephen F. Siegel, Manchun Zheng, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Lori A. Clarke, Matthew B. Dwyer, L. Clarke, 1995, Proceedings of IEEE 18th International Conference on Software Engineering.
Matthew B. Dwyer, 2016, Computer.
Matthew B. Dwyer, Elena Sherman, Elena Sherman, 2018, TACAS.
Matthew B. Dwyer, John Hatcliff, Shawn Laubach, 1998, PLILP/ALP.
Matthew B. Dwyer, Vicki Carr, Laura Hines, 1997, ESEC '97/FSE-5.
Lori A. Clarke, Matthew B. Dwyer, Gleb Naumovich, 2004, TSEM.
Gregg Rothermel, Matthew B. Dwyer, Alex Kinneer, 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).
Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum, 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).
Matthew B. Dwyer, Willem Visser, Jaco Geldenhuys, 2012, SIGSOFT FSE.
Lori A. Clarke, Matthew B. Dwyer, L. Clarke, 1994, SIGSOFT '94.
Matthew B. Dwyer, Gary T. Leavens, Cormac Flanagan, 2005, ECOOP.
Matthew B. Dwyer, Sebastian G. Elbaum, Alex Kinneer, 2007, 29th International Conference on Software Engineering (ICSE'07).
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, 2014, ICSE Companion.
Matthew B. Dwyer, Sebastian Elbaum, Alex Kinneer, 2006 .
Matthew B. Dwyer, Oksana Tkachuk, O. Tkachuk, 2003, ESEC/FSE-11.
Myra B. Cohen, Gregg Rothermel, Matthew B. Dwyer, 2014 .
James C. Corbett, Matthew B. Dwyer, John Hatcliff, 2000, SPIN.
Matthew B. Dwyer, John Hatcliff, Georg Jung, 2003, PEPM '03.
Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi, 2006, ROSATEA '06.
David S. Rosenblum, Matthew B. Dwyer, 2015, ACM Trans. Softw. Eng. Methodol..
Matthew B. Dwyer, Elena Sherman, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Matthew B. Dwyer, Sebastian G. Elbaum, Rahul Purandare, 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
George S. Avrunin, James C. Corbett, Matthew B. Dwyer, 1998, FMSP '98.
Matthew B. Dwyer, John Hatcliff, Oksana Tkachuk, 2008 .
Matthew B. Dwyer, Mitchell J. Gerrard, Mateus Borges, 2022, IEEE Transactions on Software Engineering.
Steve Goddard, Matthew B. Dwyer, Haitao Zhu, 2009, 2009 21st Euromicro Conference on Real-Time Systems.
Lori A. Clarke, Matthew B. Dwyer, Kari A. Nies, 1995, 1995 17th International Conference on Software Engineering.
Matthew B. Dwyer, John Hatcliff, Robby, 2003, EMSOFT.
Matthew B. Dwyer, John Hatcliff, J. Hatcliff, 2001, CONCUR.
Witawas Srisa-an, Matthew B. Dwyer, Du Li, 2011, OOPSLA '11.
Matthew B. Dwyer, Oksana Tkachuk, O. Tkachuk, 2010, IET Softw..
Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, 2011, ASAS '11.
Matthew B. Dwyer, Virgil E Wallentine, V. Wallentine, 1997, Concurrency Practice and Experience.
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2001, TACAS.
Matthew B. Dwyer, Stephen F. Siegel, Paul D. Hovland, 2015 .
Matthew B. Dwyer, Willem Visser, Jaco Geldenhuys, 2012, ISSTA 2012.
Matthew B. Dwyer, Wilhelm Schäfer, Volker Gruhn, 2008, ICSE 2008.
Lori A. Clarke, Matthew B. Dwyer, L. Clarke, 1996, IEEE Trans. Software Eng..
Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Matthew B. Dwyer, Sebastian G. Elbaum, Rahul Purandare, 2011, RV.
Matthew B. Dwyer, Willem Visser, ThanhVu Nguyen, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Witawas Srisa-an, Matthew B. Dwyer, Du Li, 2012 .
Matthew B. Dwyer, Mehmet C. Vuran, Sebastian G. Elbaum, 2012, 2012 ACM/IEEE 11th International Conference on Information Processing in Sensor Networks (IPSN).
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2003, International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer, 2002, FMOODS.
George S. Avrunin, James C. Corbett, Matthew B. Dwyer, 2000 .
Matthew B. Dwyer, Corina S. Pasareanu, 2001 .
George S. Avrunin, James C. Corbett, Matthew B. Dwyer, 1999 .
Matthew B. Dwyer, Matthew J. Craig, Eric Runquist, 1996, TRI-Ada '96.
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, 2006, SIGSOFT '06/FSE-14.
Matthew B. Dwyer, Sebastian G. Elbaum, Pingyu Zhang, 2012, ISSTA 2012.
Matthew B. Dwyer, John Hatcliff, J. Hatcliff, 2000, SOEN.
Matthew B. Dwyer, Mitchell J. Gerrard, Corina S. Pasareanu, 2015, GTTSE.
Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi, 2012 .
Steve Goddard, Matthew B. Dwyer, Haitao Zhu, 2011, 2011 IEEE 32nd Real-Time Systems Symposium.
Matthew B. Dwyer, Robby Robby, John Hatcliff, 2003, PPoPP 2003.
Matthew B. Dwyer, Brady J. Garvin, Elena Sherman, 2015, TSEM.
James C. Corbett, Matthew B. Dwyer, John Hatcliff, 2002, International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer, Gurdip Singh, John Hatcliff, 2003, eclipse '03.
Matthew B. Dwyer, Willem Visser, Robby, 2004 .
Matthew B. Dwyer, Stephen F. Siegel, Manchun Zheng, 2015, SC15: International Conference for High Performance Computing, Networking, Storage and Analysis.
Gregg Rothermel, Guowei Yang, Matthew B. Dwyer, 2009, 2009 IEEE International Conference on Software Maintenance.
Matthew B. Dwyer, Sebastian G. Elbaum, Eric F. Rizzi, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Matthew B. Dwyer, Sebastian G. Elbaum, Rahul Purandare, 2010, OOPSLA.
Matthew B. Dwyer, Wilhelm Schäfer, Volker Gruhn, 2008, ICSE 2008.
Matthew B. Dwyer, 2018, IEEE Trans. Software Eng..
Matthew B. Dwyer, John Hatcliff, Radu Iosif, 2003, SoftMC@CAV.
Matthew B. Dwyer, Suzette Person, S. Person, 2009, NASA Formal Methods.
Lori A. Clarke, Matthew B. Dwyer, L. Clarke, 1995 .
Matthew B. Dwyer, Kathryn T. Stolee, Sebastian G. Elbaum, 2016, J. Syst. Softw..
Matthew B. Dwyer, Corina S. Pasareanu, Oksana Tkachuk, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Matthew B. Dwyer, Sebastian Elbaum, David Shriver, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Matthew B. Dwyer, Sebastian Elbaum, David Shriver, 2021 .
Matthew B. Dwyer, Mary Lou Soffa, Swaroopa Dola, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Matthew B. Dwyer, Eleanor Quint, Dong Xu, 2021 .
Matthew B. Dwyer, Sebastian G. Elbaum, Sebastian Elbaum, 2021, CAV.
Matthew B. Dwyer, Mary Lou Soffa, Swaroopa Dola, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Matthew B. Dwyer, Sebastian G. Elbaum, Sebastian Elbaum, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Matthew B. Dwyer, Sebastian G. Elbaum, David Shriver, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Matthew B. Dwyer, Robby, J. Corbett, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Matthew B. Dwyer, Eleanor Quint, D. Xu, 2019, ArXiv.
Matthew B. Dwyer, Matthias MartinKansas, 1999 .
Matthew B. Dwyer, Stephen F. Siegel, Timothy K. Zirkel, 2014 .
Matthew B. Dwyer, J. Matthew, CraigDepartment, 1996 .
Matthew B. Dwyer, W. Visser, C. Păsăreanu, 2003, International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer, L. Clarke, 1994, SIGSOFT '94.
Matthew B. Dwyer, J. Hatcliff, Xianghua Deng, 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
Matthew B. Dwyer, Yanjun Qi, Arshdeep Sekhon, 2022, NAACL-HLT.
Matthew B. Dwyer, Stephen F. Siegel, Timothy K. Zirkel, 2015, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis.
Matthew B. Dwyer, W. Visser, M. Whalen, 2012, Software & Systems Modeling.
Matthew B. Dwyer, Soneya Binta Hossain, 2022, 2212.06118.
Matthew B. Dwyer, Robby, J. Hatcliff, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Matthew B. Dwyer, Farzana Yasmin Ahmad, A. Sarker, 2023, ArXiv.
Matthew B. Dwyer, Sebastian G. Elbaum, David Shriver, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Matthew B. Dwyer, Soneya Binta Hossain, 2022, ArXiv.
Matthew B. Dwyer, Matthew Dwyer, Eleanor Quint, 2019, ArXiv.
Matthew B. Dwyer, M. Soffa, Swaroopa Dola, 2022, ACM Trans. Softw. Eng. Methodol..
Matthew B. Dwyer, A. Filieri, Will Leeson, 2023, International Conference on Software Engineering.
Matthew B. Dwyer, Sebastian G. Elbaum, W. Visser, 2023, ESEC/SIGSOFT FSE.
Matthew B. Dwyer, Hai V. Duong, Thanh-Dat Nguyen, 2023, ArXiv.
Matthew B. Dwyer, Sebastian G. Elbaum, David Shriver, 2021, CAV.
Matthew B. Dwyer, Will Leeson, 2022, ACM Trans. Softw. Eng. Methodol..
Matthew B. Dwyer, Will Leeson, Matthew B Dwyer, 2022, ArXiv.