Westley Weimer
发表
Westley Weimer,
Zachary P. Fry,
Stephanie Forrest,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Pieter Peers,
Jason Lawrence,
Westley Weimer,
2014,
ACM Trans. Graph..
Westley Weimer,
Ranjit Jhala,
Georgios Sakkas,
2020,
PLDI.
Westley Weimer,
Zachary P. Fry,
Stephanie Forrest,
2012,
Genetic Programming and Evolvable Machines.
Westley Weimer,
Kinga Dobolyi,
Westley Weimer,
2010
.
Lei Zhou,
Guojun Wang,
Westley Weimer,
2019,
ESORICS.
Westley Weimer,
Fengwei Zhang,
Kevin Leach,
2017,
RAID.
Westley Weimer,
Raymond P. L. Buse,
Westley Weimer,
2010,
ASE.
Westley Weimer,
Stephanie Forrest,
Eric M. Schulte,
2013,
ASPLOS '13.
Jason Lawrence,
Westley Weimer,
Pitchaya Sitthi-amorn,
2011,
ACM Trans. Graph..
Deepak Kapur,
Westley Weimer,
Stephanie Forrest,
2014,
ICSE.
Westley Weimer,
Raymond P. L. Buse,
Caitlin Sadowski,
2011,
OOPSLA '11.
Kevin Skadron,
Jack Wadden,
Westley Weimer,
2019,
IEEE Transactions on Parallel and Distributed Systems.
Sorin Lerner,
Westley Weimer,
Sriram K. Rajamani,
2002,
SAS.
Westley Weimer,
2002
.
Westley Weimer,
Benjamin Floyd,
Tyler Santander,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Miryung Kim,
Claire Le Goues,
Westley Weimer,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W).
Nicholas Jalbert,
Westley Weimer,
Westley Weimer,
2008,
2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN).
Westley Weimer,
Zachary P. Fry,
Bryan Landau,
2012,
ISSTA 2012.
Kevin Skadron,
Westley Weimer,
Kevin Angstadt,
2016,
ASPLOS.
Reetuparna Das,
Kevin Skadron,
Arun Subramaniyan,
2018,
2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
Westley Weimer,
Zachary P. Fry,
2012,
ArXiv.
Westley Weimer,
Fengwei Zhang,
Kevin Leach,
2016,
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).
Kevin Skadron,
Jack Wadden,
Westley Weimer,
2018,
IEEE Computer Architecture Letters.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2020
.
Westley Weimer,
Zachary P. Fry,
Westley Weimer,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Fan Wu,
Mark Harman,
Yue Jia,
2015,
GECCO.
Westley Weimer,
John C. Knight,
Xiang Yin,
2009,
2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Westley Weimer,
Laura E. Barnes,
Kevin Leach,
2016,
2016 International Conference on Big Data and Smart Computing (BigComp).
Westley Weimer,
Kinga Dobolyi,
2009,
2009 20th International Symposium on Software Reliability Engineering.
Westley Weimer,
Zachary P. Fry,
Westley Weimer,
2013,
2013 20th Working Conference on Reverse Engineering (WCRE).
Mark Harman,
William B. Langdon,
Westley Weimer,
2013,
2013 20th Working Conference on Reverse Engineering (WCRE).
George C. Necula,
Westley Weimer,
Scott McPeak,
2002,
POPL '02.
Natarajan Shankar,
Jack W. Davidson,
Ian A. Mason,
2016,
CISRC.
Reetuparna Das,
Xiaowei Wang,
Westley Weimer,
2020,
CCSW@CCS.
Westley Weimer,
Kevin Leach,
Yu Huang,
2020,
ICSE.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Westley Weimer,
Stephanie Forrest,
Westley Weimer,
2012
.
Risto Miikkulainen,
Christoph Adami,
Marc Parizeau,
2018,
Artificial Life.
George C. Necula,
Westley Weimer,
Scott McPeak,
2002,
SIGP.
Ben Y. Zhao,
Yan Chen,
John Kubiatowicz,
2000,
SIGP.
Westley Weimer,
Raymond P. L. Buse,
Westley Weimer,
2010,
IEEE Transactions on Software Engineering.
Kamin Whitehouse,
Westley Weimer,
Timothy W. Hnat,
2010,
SESENA '10.
Gordon Fraser,
Westley Weimer,
Jonathan Dorn,
2015,
SSBSE.
Yu Huang,
Westley Weimer,
Xinyu Liu,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
George C. Necula,
Westley Weimer,
Matthew Harren,
2003,
PLDI '03.
Justyna Petke,
Westley Weimer,
David Robert White,
2016,
GECCO.
Westley Weimer,
Martin Monperrus,
2018,
Empirical Software Engineering.
Claire Le Goues,
Westley Weimer,
Westley Weimer,
2009,
TACAS.
Zhendong Su,
Karl N. Levitt,
Jack W. Davidson,
2012
.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2010,
FoSER '10.
Kevin Skadron,
Westley Weimer,
Kevin Angstadt,
2019,
ASPLOS.
George C. Necula,
Westley Weimer,
Westley Weimer,
2008,
TOPL.
Westley Weimer,
Kinga Dobolyi,
Westley Weimer,
2008,
2008 19th International Symposium on Software Reliability Engineering (ISSRE).
Westley Weimer,
Kinga Dobolyi,
Elizabeth Soechting,
2009,
2009 11th IEEE International Symposium on Web Systems Evolution.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2010,
Commun. ACM.
Westley Weimer,
Kinga Dobolyi,
2010,
ISSTA '10.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Miryung Kim,
Claire Le Goues,
Westley Weimer,
2018
.
Kamin Whitehouse,
Westley Weimer,
Timothy W. Hnat,
2009,
SenSys '09.
Mark Harman,
William B. Langdon,
Justyna Petke,
2018,
IEEE Transactions on Software Engineering.
Mark Harman,
William B. Langdon,
Justyna Petke,
2014,
EuroGP.
Westley Weimer,
Raymond P. L. Buse,
Westley Weimer,
2008,
ISSTA '08.
Westley Weimer,
Raymond P. L. Buse,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Westley Weimer,
Stephanie Forrest,
Carianne Martinez,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Deepak Kapur,
Westley Weimer,
Stephanie Forrest,
2012,
2012 34th International Conference on Software Engineering (ICSE).
George C. Necula,
Westley Weimer,
Scott McPeak,
2002,
CC.
Matias Martinez,
Westley Weimer,
Martin Monperrus,
2014,
ICSE Companion.
Westley Weimer,
Stephanie Forrest,
Kevin Leach,
2019,
2019 IEEE/ACM International Workshop on Genetic Improvement (GI).
Westley Weimer,
2006,
Advanced Topics in Exception Handling Techniques.
Westley Weimer,
Kinga Dobolyi,
Elizabeth Soechting,
2010,
International Journal on Software Tools for Technology Transfer.
Westley Weimer,
Zachary P. Fry,
2010,
2010 IEEE International Conference on Software Maintenance.
Westley Weimer,
Nina Mishra,
2008,
IEEE Transactions on Software Engineering.
Westley Weimer,
Pieter Hooimeijer,
2007,
ASE '07.
George C. Necula,
Westley Weimer,
Westley Weimer,
2004,
OOPSLA.
Westley Weimer,
Ranjit Jhala,
Eric L. Seidel,
2018,
J. Funct. Program..
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2012,
GECCO '12.
Guojun Wang,
Westley Weimer,
Kevin Leach,
2020,
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Westley Weimer,
Ranjit Jhala,
Eric L. Seidel,
2016,
Journal of Functional Programming.
Gordon Fraser,
Westley Weimer,
Jonathan Dorn,
2015,
ESEC/SIGSOFT FSE.
Westley Weimer,
David Evans,
Pieter Hooimeijer,
2008,
SocialNets '08.
Westley Weimer,
Stephanie Forrest,
Eric M. Schulte,
2015,
GECCO.
Kamin Whitehouse,
Westley Weimer,
Timothy W. Hnat,
2008,
SenSys '08.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2009,
2009 International Conference on Software Testing, Verification, and Validation Workshops.
Westley Weimer,
Stephanie Forrest,
Melanie E. Moses,
2018,
GI@ICSE.
Yu Huang,
Westley Weimer,
Kevin Leach,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Westley Weimer,
Stephanie Forrest,
Eric M. Schulte,
2014,
ASPLOS.
Claire Le Goues,
Westley Weimer,
2012,
IEEE Transactions on Software Engineering.
Westley Weimer,
2019,
2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC).
Kevin Skadron,
Westley Weimer,
Kevin Angstadt,
2016,
International Conference on Architectural Support for Programming Languages and Operating Systems.
George C. Necula,
Thomas A. Henzinger,
Rupak Majumdar,
2002,
CAV.
Westley Weimer,
Westley Weimer,
2013,
SSBSE.
Jason Lawrence,
Westley Weimer,
Jonathan Dorn,
2015,
Comput. Graph. Forum.
Kamalika Chaudhuri,
Westley Weimer,
Ranjit Jhala,
2017
.
Zachary Eberhart,
Westley Weimer,
Kevin Leach,
2020,
2020 IEEE/ACM 28th International Conference on Program Comprehension (ICPC).
Andreas Zeller,
Mauro Pezzè,
Westley Weimer,
2011,
Dagstuhl Reports.
Myra B. Cohen,
Justyna Petke,
Shin Yoo,
2020,
ACM SIGSOFT Softw. Eng. Notes.
Westley Weimer,
Stephanie Forrest,
Jonathan Dorn,
2019,
IEEE Transactions on Software Engineering.
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
pdf
Deepak Kapur,
Westley Weimer,
Stephanie Forrest,
2017,
TACAS.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2010,
GECCO '10.
Kamalika Chaudhuri,
Westley Weimer,
Ranjit Jhala,
2017,
Proc. ACM Program. Lang..
Westley Weimer,
Stephanie Forrest,
Eric M. Schulte,
2010,
ASE.
George C. Necula,
Westley Weimer,
Westley Weimer,
2005,
TACAS.
Jean-Baptiste Jeannin,
Westley Weimer,
Kevin Angstadt,
2020,
ASPLOS.
Westley Weimer,
Raymond P. L. Buse,
Westley Weimer,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Westley Weimer,
Ranjit Jhala,
Georgios Sakkas,
2020
.
Westley Weimer,
Pieter Hooimeijer,
Westley Weimer,
2010,
ASE.
Yuriy Brun,
Premkumar T. Devanbu,
Claire Le Goues,
2015,
IEEE Transactions on Software Engineering.
Westley Weimer,
Westley Weimer,
2006,
GPCE '06.
Westley Weimer,
Ranjit Jhala,
Georgios Sakkas,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology
pdf
Westley Weimer,
Zachary P. Fry,
Stephanie Forrest,
2012,
ArXiv.
Westley Weimer,
Kinga Dobolyi,
2010,
ICSE 2010.
Westley Weimer,
John C. Knight,
Xiang Yin,
2008,
SAFECOMP.
Westley Weimer,
Pieter Hooimeijer,
Westley Weimer,
2009,
PLDI '09.
Kamalika Chaudhuri,
Westley Weimer,
Ranjit Jhala,
2020,
SIGCSE.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2009,
GECCO.
Westley Weimer,
Kevin Leach,
Oliver Krauss,
2019,
SOEN.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2012,
IEEE Transactions on Software Engineering.
Deepak Kapur,
Westley Weimer,
Stephanie Forrest,
2014,
TSEM.
George C. Necula,
Westley Weimer,
Matthew Harren,
2005,
TOPL.
Westley Weimer,
Pieter Hooimeijer,
2012,
Automated Software Engineering.
Westley Weimer,
John C. Knight,
Chad S. Dodson,
2009
.
Yuriy Brun,
Westley Weimer,
Stephanie Forrest,
2017,
IEEE Transactions on Software Engineering.
Claire Le Goues,
Westley Weimer,
Stephanie Forrest,
2013,
Software Quality Journal.
Westley Weimer,
Yu Huang,
Zohreh Sharafi,
2020,
ESEM.
Westley Weimer,
Patrick Hurley,
Kate Highnam,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W).
Westley Weimer,
Madeline Endres,
Ioulia Kovelman,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Amir Kamil,
Westley Weimer,
Madeline Endres,
2021,
SIGCSE.
Westley Weimer,
Joseph Renzullo,
Stephanie Forrest,
2021,
2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Westley Weimer,
Andrew Jahn,
Zachary Karas,
2021,
ESEC/SIGSOFT FSE.
Westley Weimer,
Madeline Endres,
Kevin Boehnke,
2021,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Westley Weimer,
Madeline Endres,
Madison Fansher,
2021,
ESEC/SIGSOFT FSE.
Westley Weimer,
Stephanie Forrest,
Yu Huang,
2021,
2021 IEEE/ACM International Workshop on Genetic Improvement (GI).
Westley Weimer,
Kevin Angstadt,
Fee Christoph,
2021,
ITiCSE.
Xuhua Ding,
Westley Weimer,
Kevin Leach,
2021,
IEEE Transactions on Dependable and Secure Computing.
Westley Weimer,
Ranjit Jhala,
Eric L. Seidel,
2016,
ICFP.
Westley Weimer,
Gabriel Robins,
Kirti Chawla,
2009
.