Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Westley Weimer" ( http://dblp.L3S.de/Authors/Westley_Weimer )

  Author page on DBLP  Author page in RDF  Community of Westley Weimer in ASPL-2

Publication years (Num. hits)
2000-2008 (20) 2009-2010 (18) 2011-2012 (7)
Publication types (Num. hits)
article(11) inproceedings(34)
Venues (Conferences, Journals, ...)
ASE(4) IEEE Trans. Software Eng.(4) ISSTA(3) ACM Trans. Program. Lang. Syst...(2) DSN(2) GECCO(2) ICSE(2) ISSRE(2) OOPSLA(2) PLDI(2) SenSys(2) TACAS(2) ACM Trans. Graph.(1) Advanced Topics in Exception H...(1) ASPLOS(1) CAV(1) More (+10 of total 28)
Authors
Westley Weimer(45) Claire Le Goues(8) George C. Necula(8) Stephanie Forrest(8) Raymond P. L. Buse(6) Kinga Dobolyi(5) Pieter Hooimeijer(5) Scott McPeak(4) ThanhVu Nguyen(4) Elizabeth Soechting(2) Eric Schulte(2) Ethan Fast(2) Jeremy Condit(2) John C. Knight(2) Kamin Whitehouse(2) Matthew Harren(2) More (+10 of total 52)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 54 occurrences of 44 keywords
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer GenProg: A Generic Method for Automatic Software Repair. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Claire Le Goues, Westley Weimer Measuring Code Quality to Improve Specification Mining. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eric Schulte, Zachary P. Fry, Ethan Fast, Stephanie Forrest, Westley Weimer Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Pitchaya Sitthi-amorn, Nicholas Modly, Westley Weimer, Jason Lawrence Genetic programming for shader simplification. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller Self-Repairing Programs (Dagstuhl Seminar 11062). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kinga Dobolyi, Elizabeth Soechting, Westley Weimer Automating regression testing using web-based application similarities. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Raymond P. L. Buse, Caitlin Sadowski, Westley Weimer Benefits and barriers of user evaluation in software engineering research. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Raymond P. L. Buse, Westley Weimer Learning a Metric for Code Readability. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Software readability, machine learning, software maintenance, program understanding, FindBugs, code metrics
1Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen Automatic program repair with evolutionary computation. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer Designing better fitness functions for automated program repair. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software repair, software engineering, genetic programming
1Kinga Dobolyi, Westley Weimer Modeling consumer-perceived web application fault severities for testing. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF web application, fault, severity
1Eric Schulte, Stephanie Forrest, Westley Weimer Automated program repair through the evolution of assembly code. Search on Bibsonomy ASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Raymond P. L. Buse, Westley Weimer Automatically documenting program changes. Search on Bibsonomy ASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pieter Hooimeijer, Westley Weimer Solving string constraints lazily. Search on Bibsonomy ASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zachary P. Fry, Westley Weimer A human study of fault localization accuracy. Search on Bibsonomy ICSM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claire Le Goues, Stephanie Forrest, Westley Weimer The case for software evolution. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues A genetic programming approach to automated software repair. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software repair, software engineering, genetic programming
1Pieter Hooimeijer, Westley Weimer A decision procedure for subset constraints over regular languages. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decision procedure, regular language
1Claire Le Goues, Westley Weimer Specification Mining with Few False Positives. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xiang Yin, John C. Knight, Westley Weimer Exploiting refactoring in formal verification. Search on Bibsonomy DSN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse Macrodebugging: global views of distributed program execution. Search on Bibsonomy SenSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF wireless embedded networks, macroprogramming, source-level debugging
1Elizabeth Soechting, Kinga Dobolyi, Westley Weimer Syntactic regression testing for tree-structured output. Search on Bibsonomy WSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Kinga Dobolyi, Westley Weimer Harnessing Web-Based Application Similarities to Aid in Regression Testing. Search on Bibsonomy ISSRE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF testing, web application, regression
1Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest Automatically finding patches using genetic programming. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raymond P. L. Buse, Westley Weimer The road not taken: Estimating path execution frequency statically. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Westley Weimer, Nina Mishra Privately Finding Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF F.3.1.f Specification techniques, D.2.19 Software Quality/SQA, I.2.6 Learning, K.4.1.f Privacy
1Westley Weimer, George C. Necula Exceptional situations and program reliability. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compensating transactions, linear sagas, linear types, resource management, Error handling
1Raymond P. L. Buse, Westley Weimer Automatic documentation inference for exceptions. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF documentation inference, exception handling, software documentation
1Raymond P. L. Buse, Westley Weimer A metric for software readability. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software readability, machine learning, software maintenance, program understanding, FindBugs, code metrics
1Nicholas Jalbert, Westley Weimer Automated duplicate detection for bug tracking systems. Search on Bibsonomy DSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse MacroLab: a vector-based macroprogramming framework for cyber-physical systems. Search on Bibsonomy SenSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cyber-physical systems, programming abstractions, macroprogramming, embedded networks
1Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer Formal Verification by Reverse Synthesis. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, Formal verification, software dependability
1Kinga Dobolyi, Westley Weimer Changing Java's Semantics for Handling Null Pointer Exceptions. Search on Bibsonomy ISSRE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pieter Hooimeijer, Westley Weimer Modeling bug report quality. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bug report triage, information retrieval, statistical model, issue tracking
1Westley Weimer Patches as better bug reports. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF localization, error, explanation, patch, bug, counterexample, bug report
1Westley Weimer Exception-Handling Bugs in Java and a Language Extension to Avoid Them. Search on Bibsonomy Advanced Topics in Exception Handling Techniques The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer CCured: type-safe retrofitting of legacy software. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pointer qualifier, libraries, subtyping, Memory safety
1Westley Weimer, George C. Necula Mining Temporal Specifications for Error Detection. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Westley Weimer, George C. Necula Finding and preventing run-time error handling mistakes. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF destructors, try-finally, dataflow, exceptions, finalizers
1Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer CCured in the real world. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF compatibility with library code, run-time type information, C, type safety, memory safety
1George C. Necula, Scott McPeak, Westley Weimer CCured: type-safe retrofitting of legacy code. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer Temporal-Safety Proofs for Systems Code. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John Kubiatowicz, David Bindel, Yan Chen, Steven E. Czerwinski, Patrick R. Eaton, Dennis Geels, Ramakrishna Gummadi, Sean C. Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, Ben Y. Zhao OceanStore: An Architecture for Global-Scale Persistent Storage. Search on Bibsonomy ASPLOS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.