- Generating String Inputs Using Constrained Symbolic
- CS 415 --Class Survey #1 Spring 2007
- On-board Analysis of Uncalibrated Data for a Spacecraft at Mars
- Written Assignment 8 This assignment asks you to prepare written answers to questions on garbage col-
- CS415 --Written Assignment 5 This assignment asks you to prepare written answers to questions on type checking.
- Specification Mining With Few False Positives Presented to
- CS 415 Discussion Section Notes 1 Claire Le Goues
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
- cs1120: Exam 2 Due: Monday, 29 November at 3:30pm (in class)
- Written Assignment 2 This assignment asks you to prepare written answers to questions on
- Harnessing Web-based Application Similarities to Aid in Regression Testing Kinga Dobolyi and Westley Weimer
- An Exploration of User-Visible Errors to Improve Fault Detection in Web-based Applications
- TSE SPECIAL ISSUE ON THE ISSTA 2008 BEST PAPERS 1 Learning a Metric for Code Readability
- Changing Java's Semantics for Handling Null Pointer Exceptions Presented to
- CCured: Type-Safe Retrofitting of Legacy Software
- A Human Study of Fault Localization Accuracy Zachary P. Fry
- CS415 --Written Assignment 8 This assignment asks you to prepare written answers to questions on garbage col-
- Written Assignment 6 This assignment asks you to prepare written answers to questions on code layout
- D. Brinksma and K. G. Larsen (Eds.): CAV 2002, LNCS 2404, pp. 526-538, 2002. c Springer-Verlag Berlin Heidelberg 2002
- Modeling Bug Report Quality Pieter Hooimeijer and Westley Weimer
- Handbook of Computer Science and Engineering, Chapter 103. CRC Press, 1997. 1 Copyright 1996 by Digital Equipment Corporation. Revised Friday, March 28, 1997, 4:45 pm.
- Solving String Constraints Lazily Pieter Hooimeijer and Westley Weimer
- 2Programming Language Syntax 2.4 Theoretical Foundations
- Automatic, Efficient, and General Repair of Software Defects using Lightweight Program Analyses
- A Human Study of Fault Localization Accuracy Zachary P. Fry
- A Decision Procedure for Subset Constraints over Regular Languages
- M.D. Harrison and M.-A. Sujan (Eds.): SAFECOMP 2008, LNCS 5219, pp. 305319, 2008. Springer-Verlag Berlin Heidelberg 2008
- An Exploration of Errors in Web Applications in the Context
- Downgrading Policies and Relaxed Noninterference University of Pennsylvania
- 1 Introduction The name of the game is Bridge. The object of the game is
- Specification Mining With Few False Positives
- Patches as Better Bug Reports Westley Weimer
- Modeling Consumer-Perceived Web Application Fault Severities for Testing
- A Metric for Software Readability Raymond P.L. Buse and Westley R. Weimer
- A Human-Centric Approach to Program Understanding Ph.D. Dissertation Proposal
- Problem Set 1 Programming Music
- CS611 Lecture 2 Lambda Calculus 29 August, 2005 Scribe: Oliver Kennedy Lecturer: Andrew Myers
- The Case for Software Evolution Claire Le Goues
- may 2010 | vol. 53 | no. 5 | communications of the acm 109 Doi:10.1145/1735223.1735249
- Macrodebugging: Global Views of Distributed Program Execution Tamim Sookoor, Timothy Hnat, Pieter Hooimeijer, Westley Weimer, and Kamin Whitehouse
- A Genetic Programming Approach to Automated Software Repair
- Using Execution Paths to Evolve Software Patches ThanhVu Nguyen, Westley Weimer, Claire Le Goues and Stephanie Forrest
- Specification Mining With Few False Positives Claire Le Goues and Westley Weimer
- Automatically Finding Patches Using Genetic Programming Westley Weimer
- The Road Not Taken: Estimating Path Execution Frequency Statically Raymond P.L. Buse and Westley Weimer
- Changing Java's Semantics for Handling Null Pointer Exceptions Kinga Dobolyi
- Automatic Documentation Inference for Exceptions Raymond P.L. Buse and Westley R. Weimer
- Privately Finding Specifications Westley Weimer and Nina Mishra
- CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer
- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
- Exceptional Situations And Program Reliability Westley R. Weimer
- Ray PL Buse @author Ray PL Buse
- A Human-Centric Approach to Program Understanding Ray Buse -PhD Proposal
- Generating String Inputs using Constrained Symbolic Execution Presented to
- Decision Procedures for String Constraints Ph.D. Dissertation Proposal
- Changing Java's Semantics for Handling Null Pointer Exceptions
- An Exploration of User-Visible Errors in Web-based Applications to Improve Web-based Applications
- Finding and Preventing Run-Time Error Handling Mistakes Westley Weimer George C. Necula
- CS415 --Discussion Section Notes 6 Claire Le Goues
- INST 1550-5: Social and Cultural Impacts of Video Games Amanda Cote
- Written Assignment 7 This assignment asks you to prepare written answers to questions on local and
- A special report on the human genome Biology 2.0
- cs1120: Exam 1 Due: Wednesday, 06 October at 3:30pm (in class)
- cs1120: Exam 1 Due: Wednesday, 06 October at 3:30pm (in class)
- CS415 --Discussion Section Notes 7 Claire Le Goues
- Compilers October 8, 2007 FIRST and FOLLOW sets a necessary preliminary to constructing
- 14Building a Runnable Program 14.7 Dynamic Linking
- CS415 --Written Assignment 5 March 21, 2008
- Written Assignment 3 This assignment asks you to prepare written answers to questions on LL
- CS415 --Written Assignment 6 This assignment asks you to prepare written answers to questions on code layout
- A Simple Typed Intermediate Language for Object-Oriented Microsoft Research
- Mental Rotation of Three-Dimensional Objects Author(s): Roger N. Shepard and Jacqueline Metzler
- cs1120: Exam 2 Due: Monday, 29 November at 3:30pm (in class)
- Exception-Handling Bugs in Java and a Language Extension to Avoid Them
- ADDRESSING HIGH SEVERITY FAULTS IN WEB APPLICATION TESTING Kinga Dobolyi and Westley Weimer
- Fault Localization Using Textual Similarities Zachary P. Fry
- Automatically Documenting Program Changes Raymond P.L. Buse and Westley Weimer
- Automated Duplicate Detection for Bug Tracking Systems Nicholas Jalbert
- Lecture Outline Code Generation for a Stack Machine
- Written Assignment 1 This assignment asks you to prepare written answers to questions on
- Bodmer, F. [1944],with Hogben, L. (Ed.). The Loom of Language. George Allen and Unwin, London, 7th impr., 1961.
- Simplify: A Theorem Prover for Program Checking DAVID DETLEFS, GREG NELSON, AND JAMES B. SAXE
- Handbook of Computer Science and Engineering, Chapter 103. CRC Press, 1997. 1 Copyright 1996 by Digital Equipment Corporation. Revised Friday, March 28, 1997, 4:45 pm.
- Written Assignment 1 This assignment asks you to prepare written answers to questions on
- In previous work, we introduced Echo, a new approach to the formal verification of the functional
- CCured Type-Safe Retrofitting of Legacy Code George C. Necula Scott McPeak Westley Weimer
- Written Assignment 1 This assignment asks you to prepare written answers to questions on
- RETROSPECTIVE: gprof: a Call Graph Execution Profiler
- Completeness of Axiomatic Semantics (Supplement to CS263 Lecture Notes)
- Notes compiled by TA Jiamen Chen goal of debugging: not to eliminate one bug but for a bug-free program
- Written Assignment 5 This assignment asks you to prepare written answers to questions on type checking.
- CS611 Lecture 28 Type Unification 11 November 2005 Scribe: Kevin Markman and Ryan Peterson Lecturer: Andrew Myers
- 1 Introduction Interference Rule: If it is not possi* *ble for you to make
- CONSTRUCTION OF RELIABLE SOFTWARE IN RESOURCE CONSTRAINED ENVIRONMENTS
- MacroLab: A Vector-based Macroprogramming Framework for Cyber-Physical Systems
- CS415 --Written Assignment 7 This assignment asks you to prepare written answers to questions on local and
- Fast Decision Procedures Based on Congruence Closure GREG NELSON AND DEREK C. OPPEN
- POLYNOMIAL HIERARCHY COLLAPSES Thousands Feared Tractable
- Eliminating Immediate Left Recursion Left recursive productions can cause recursive descent
- Written Assignment 2 This assignment asks you to prepare written answers to questions on
- TBD, VOL. X, NO. Y, MONTH YEAR 1 Measuring Code Quality to Improve
- Benefits and Barriers of User Evaluation in Software Engineering Research
- Automatic Predicate Abstraction of C Programs Thomas Ball
- The SLAM Project: Debugging System Software via Static Analysis* Thomas Ball and Sriram K. Rajamani
- Int J Softw Tools Technol Transfer (2011) 13:111129 DOI 10.1007/s10009-010-0170-x
- Automatically Validating Temporal Safety Properties of Interfaces
- CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
- The Journal of Systems and Software 83 (2010) 23792391 Contents lists available at ScienceDirect
- TBD, VOL. X, NO. Y, MONTH YEAR 1 GenProg: A generic method
- PexWhite Box Test Generation for .NET Nikolai Tillmann and Jonathan de Halleux
- 2Programming Language 2.4 Theoretical Foundations
- Handbook of Computer Science and Engineering, Chapter 103. CRC Press, 1997. 1 Copyright 1996 by Digital Equipment Corporation. Revised Friday, March 28, 1997, 4:45 pm.
- Compilers October 8, 2007 FIRST and FOLLOW sets a necessary preliminary to constructing
- 14Building a Runnable Program 14.7 Dynamic Linking
- 3Names, Scopes, and Bindings 3.8 Separate Compilation
- Written Assignment 5 This assignment asks you to prepare written answers to questions on code layout
- 5Target Machine Architecture Processor implementations change over time,as people invent better ways
- x86-64 Machine-Level Programming Randal E. Bryant
- Written Assignment 7 This assignment asks you to prepare written answers to questions on garbage col-
- A Unified Theory of Garbage Collection David F. Bacon
- 8Subroutines and Control Abstraction 8.2.2 Case Studies: C on the MIPS; Pascal on the x86
- RETROSPECTIVE: gprof: a Call Graph Execution Profiler
- Written Assignment 4 This assignment asks you to prepare written answers to questions on type checking.
- 16Code Improvement In Chapter 14 we discussed the generation,assembly, and linking of target
- Eliminating Immediate Left Recursion Left recursive productions can cause recursive descent
- THE IBM 701 SPEEDCODING SYSTEM* By J. w. BACKU$
- What is ``Object-Oriented Programming''? (1991 revised version) Bjarne Stroustrup
- Written Assignment 3 This assignment asks you to prepare written answers to questions on LL
- GenProg: A Generic Method for Automatic Software Repair
- Lecture Outline Code Generation for a Stack Machine
- Written Assignment 2 This assignment asks you to prepare written answers to questions on
- Written Assignment 6 This assignment asks you to prepare written answers to questions on local and
- The Next 700 ProgrammingLanguages P. J. Landin
- Written Assignment 1 This assignment asks you to prepare written answers to questions on
