Author image not provided
 Westley Weimer

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article17.46
Citation Count227
Publication count13
Publication years2012-2016
Available for download10
Average downloads per article205.40
Downloads (cumulative)2,054
Downloads (12 Months)398
Downloads (6 Weeks)32
Arrow RightAuthor only

See all colleagues of this author

See all subject areas


13 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 13 of 13
Sort by:

1 published by ACM
April 2016 CISRC '16: Proceedings of the 11th Annual Cyber and Information Security Research Conference
Publisher: ACM
Citation Count: 0
Downloads (6 Weeks): 3,   Downloads (12 Months): 43,   Downloads (Overall): 121

Full text available: PDFPDF
Cyber security research has produced numerous artificial diversity techniques such as address space layout randomization, heap randomization, instruction-set randomization, and instruction location randomization. To be most effective, these techniques must be high entropy and secure from information leakage which, in practice, is often difficult to achieve. Indeed, it has been ...

January 2016 BIGCOMP '16: Proceedings of the 2016 International Conference on Big Data and Smart Computing (BigComp)
Publisher: IEEE Computer Society
Citation Count: 0

Normalized cross-correlation template matching is used as a detection method in many scientific domains. To be practical, template matching must scale to large datasets while handling ambiguity, uncertainty, and noisy data. We propose a novel approach based on Dempster-Shafer (DS) Theory and MapReduce parallelism. DS Theory addresses conflicts between data ...

3 published by ACM
July 2015 GECCO Companion '15: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation
Publisher: ACM
Citation Count: 3
Downloads (6 Weeks): 1,   Downloads (12 Months): 30,   Downloads (Overall): 85

Full text available: PDFPDF
The speed with which newly discovered software vulnerabilities are patched is a critical factor in mitigating the harm caused by subsequent exploits. Unfortunately, software vendors are often slow or unwilling to patch vulnerabilities, especially in embedded systems which frequently have no mechanism for updating factory-installed firmware. The situation is particularly ...
Keywords: router, genetic improvement, genetic programming, mutational robustness, evolutionary computation, security

4 published by ACM
September 2014 ACM Transactions on Software Engineering and Methodology (TOSEM) - Special Issue International Conference on Software Engineering (ICSE 2012) and Regular Papers: Volume 23 Issue 4, August 2014
Publisher: ACM
Citation Count: 6
Downloads (6 Weeks): 7,   Downloads (12 Months): 71,   Downloads (Overall): 254

Full text available: PDFPDF
This article describes and evaluates DIG, a dynamic invariant generator that infers invariants from observed program traces, focusing on numerical and array variables. For numerical invariants, DIG supports both nonlinear equalities and inequalities of arbitrary degree defined over numerical program variables. For array invariants, DIG generates nested relations among multidimensional ...
Keywords: invariant generation, theorem proving, geometric invariant inference, nonlinear invariants, Program analysis, array invariants, dynamic analysis

5 published by ACM
May 2014 ICSE 2014: Proceedings of the 36th International Conference on Software Engineering
Publisher: ACM
Citation Count: 7
Downloads (6 Weeks): 1,   Downloads (12 Months): 30,   Downloads (Overall): 163

Full text available: PDFPDF
Program invariants are important for defect detection, program verification, and program repair. However, existing techniques have limited support for important classes of invariants such as disjunctions, which express the semantics of conditional statements. We propose a method for generating disjunctive invariants over numerical domains, which are inexpressible using classical convex ...
Keywords: disjunctive invariants, invariant generation, theorem proving, static and dynamic analyses, Program analysis

6 published by ACM
May 2014 ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering
Publisher: ACM
Citation Count: 10
Downloads (6 Weeks): 2,   Downloads (12 Months): 39,   Downloads (Overall): 198

Full text available: PDFPDF
Much initial research on automatic program repair has focused on experimental results to probe their potential to find patches and reduce development effort. Relatively less effort has been put into understanding the hows and whys of such approaches. For example, a critical assumption of the GenProg technique is that certain ...
Keywords: mining software repositories, automatic software repair

November 2013 ASE'13: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
Publisher: IEEE Press
Citation Count: 14
Downloads (6 Weeks): 4,   Downloads (12 Months): 26,   Downloads (Overall): 26

Full text available: PDFPDF
Software bugs remain a compelling problem. Automated program repair is a promising approach for reducing cost, and many methods have recently demonstrated positive results. However, success on any particular bug is variable, as is the cost to find a repair. This paper focuses on generate-and-validate repair methods that enumerate candidate ...
Keywords: automated program repair, mutation testing, program equivalence, search-based software engineering

September 2013 Software Quality Journal: Volume 21 Issue 3, September 2013
Publisher: Kluwer Academic Publishers
Citation Count: 29

The abundance of defects in existing software systems is unsustainable. Addressing them is a dominant cost of software maintenance, which in turn dominates the life cycle cost of a system. Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation ...
Keywords: Evolutionary computation, Software engineering, Automatic program repair

August 2013 SSBSE 2013: Proceedings of the 5th International Symposium on Search Based Software Engineering - Volume 8084
Publisher: Springer-Verlag New York, Inc.
Citation Count: 0

In this keynote address I survey recent success and momentum in the subfield of automated program repair. I also encourage the search-based software engineering community to rise to various challenges and opportunities associated with test oracle generation, large-scale human studies, and reproducible research through benchmarks. I discuss recent advances in ...

10 published by ACM
July 2012 ISSTA 2012: Proceedings of the 2012 International Symposium on Software Testing and Analysis
Publisher: ACM
Citation Count: 21
Downloads (6 Weeks): 2,   Downloads (12 Months): 32,   Downloads (Overall): 256

Full text available: PDFPDF
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both functional correctness and the future maintainability of the code base. Recent research interest in automatic patch generation makes a systematic understanding of patch ...

11 published by ACM
July 2012 GECCO '12: Proceedings of the 14th annual conference on Genetic and evolutionary computation
Publisher: ACM
Citation Count: 11
Downloads (6 Weeks): 1,   Downloads (12 Months): 20,   Downloads (Overall): 174

Full text available: PDFPDF
Evolutionary computation is a promising technique for automating time-consuming and expensive software maintenance tasks, including bug repair. The success of this approach, however, depends at least partially on the choice of representation, fitness function, and operators. Previous work on evolutionary software repair has employed different approaches, but they have not ...
Keywords: genetic programming, representation, search-based software engineering, software repair, mutation, crossover

June 2012 ICSE '12: Proceedings of the 34th International Conference on Software Engineering
Publisher: IEEE Press
Citation Count: 98
Downloads (6 Weeks): 11,   Downloads (12 Months): 95,   Downloads (Overall): 633

Full text available: PDFPDF
There are more bugs in real-world programs than human programmers can realistically address. This paper evaluates two research questions: ``What fraction of bugs can be repaired automatically?'' and ``How much does it cost to repair a bug automatically?'' In previous work, we presented GenProg, which uses genetic programming to repair ...

June 2012 ICSE '12: Proceedings of the 34th International Conference on Software Engineering
Publisher: IEEE Press
Citation Count: 27
Downloads (6 Weeks): 1,   Downloads (12 Months): 13,   Downloads (Overall): 145

Full text available: PDFPDF
Dynamic invariant analysis identifies likely properties over variables from observed program traces. These properties can aid programmers in refactoring, documenting, and debugging tasks by making dynamic patterns visible statically. Two useful forms of invariants involve relations among polynomials over program variables and relations among array variables. Current dynamic analysis methods ...

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us