Standout Papers
Citation Impact
Citing Papers
The DaCapo benchmarks
2006 Standout
Detecting format string vulnerabilities with type qualifiers
2001 Standout
Anytime dynamic A*: an anytime, replanning algorithm
2005
GRAS: a graph-oriented software engineering database system
1996
D*lite
2002
A Survey of Program Slicing Techniques.
1994
The focussed D* algorithm for real-time replanning
1995
Effective inter-component communication mapping in Android with Epicc: an essential step towards holistic security analysis
2013
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Finding security vulnerabilities in java applications with static analysis
2005 Standout
Data Flow Analysis for Software Prefetching Linked Data Structures in Java
2001
A Review on
2008 Standout
A multi-threaded higher-order user interface toolkit
1993
A Guide to Heuristic-based Path Planning
2005
Jacobian-free Newton–Krylov methods: a survey of approaches and applications
2003 Standout
Model Checking Programs
2003 Standout
Representing concerns in source code
2007
Interactive, visual fault localization support for end-user programmers
2004
User-Centric Dependence Analysis For Identifying Malicious Mobile Apps
2012
Finding facts vs. browsing knowledge in hypertext systems
1988 Standout
When and how to develop domain-specific languages
2005 Standout
Embedded menus: selecting items in context
1986
VADA: a transformation-based system for variable dependence analysis
2003
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks
2006 Standout
Power transmission line inspection robots: A review, trends and challenges for future research
2020 Standout
DART
2005 Standout
Black-box test reduction using input-output analysis
2000
Groupware: some issues and experiences
1991 Standout
The TAME project: towards improvement-oriented software environments
1988 Standout
An open graph visualization system and its applications to software engineering
2000 Standout
Towards ANSI C Program Slicing using XML
2002
Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
2005 Standout
The state of the art in end-user software engineering
2011 Standout
A review on improving the autonomy of unmanned surface vehicles through intelligent collision avoidance manoeuvres
2012 Standout
A classification and comparison framework for software architecture description languages
2000 Standout
A Program Development Tool
1984
User interface specification using an enhanced spreadsheet model
1994
Parallel simulation of compressible flow using automatic differentiation and PETSc
2001
A field study of the software design process for large systems
1988 Standout
Yesterday, my program worked. Today, it does not. Why?
1999
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
2000
SmartTools
2001
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
2010 Standout
An Introduction to Structured Modeling
1987
A structural view of the Cedar programming environment
1986
A brief history of human-computer interaction technology
1998 Standout
CCured
2012
Formal memory models for verifying C systems code
2008
Identifying syntactic differences between two programs
1991
Dynamically discovering likely program invariants to support program evolution
2001
Software reuse
1992
Software Engineering Practices in the US and Japan
1984
Production trees: a compact representation of parsed programs
1990
Empirical analysis of consumer reaction to the virtual reality shopping mall
2007 Standout
Survey of graph database models
2008 Standout
Software Architecture Reconstruction: A Process-Oriented Taxonomy
2009
Regression testing minimization, selection and prioritization: a survey
2012 Standout
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
2005 Standout
Collaboration Processes: Inside the Black Box
2006 Standout
Comparison and Evaluation of Clone Detection Tools
2007 Standout
Prioritizing test cases for regression testing
2001 Standout
Generic lifecycle support in the ALMA environment
1988
ECOOP 2004 – Object-Oriented Programming
2004
A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles
2016 Standout
Countering code-injection attacks with instruction-set randomization
2003 Standout
Using program slicing to assist in the detection of equivalent mutants
1999
seL4
2009 Standout
Attribute storage optimization by stacks
1990
Android Security: A Survey of Issues, Malware Penetration, and Defenses
2014 Standout
A method for taxonomy development and its application in information systems
2012 Standout
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
Survey of Motion Planning Literature in the Presence of Uncertainty: Considerations for UAV Guidance
2011
Compositional dynamic test generation
2007
Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures
2008
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
2008
Korat
2002
A comparison of storage optimizations in automatically-generated attribute evaluators
1986
Efficiently computing static single assignment form and the control dependence graph
1991 Standout
Semantics guided regression test cost reduction
1997
Lowering the barriers to programming
2005 Standout
Multiuser, Distributed Language-Based Environments
1987
Improving security using extensible lightweight static analysis
2002 Standout
A Review of Motion Planning Techniques for Automated Vehicles
2015 Standout
Interactive Editing Systems: Part I
1982
GUI-based software modularization through module clustering in edge computing based IoT environments
2019
Perspective Making and Perspective Taking in Communities of Knowing
1995 Standout
Anytime search in dynamic graphs
2008
A constrained A* approach towards optimal path planning for an unmanned surface vehicle in a maritime environment containing dynamic obstacles and ocean currents
2018 Standout
Analyzing regression test selection techniques
1996
Modeling and optimization with Optimica and JModelica.org—Languages and tools for solving large-scale dynamic optimization problems
2009 Standout
Fast replanning for navigation in unknown terrain
2005
User interface software tools
1995 Standout
Gras, a graph-oriented (software) engineering database system
1995
A Survey of Recommendation Systems: Recommendation Models, Techniques, and Application Fields
2022 Standout
Search‐based software test data generation: a survey
2004 Standout
Supporting the DSL Spectrum
2001
Scratch
2009 Standout
FlowDroid
2014 Standout
Goal-directed requirements acquisition
1993 Standout
The program dependence graph and its use in optimization
1987 Standout
Works of Thomas Reps being referenced
The synthesizer generator
1984
Sublinear-space evaluation algorithms for attribute grammars
1987
Generating Language-Based Environments
2004
Incremental Context-Dependent Analysis for Language-Based Editors
1983
Coping with type casts in C
1999
Algebraic properties of program integration
1991
Precise interprocedural dataflow analysis with applications to constant propagation
1996
An Incremental Algorithm for a Generalization of the Shortest-Path Problem
1996
Interprocedural slicing using dependence graphs
1990 Standout
The Cornell program synthesizer
1981
Precise interprocedural chopping
1995
Integrating noninterfering versions of programs
1989
Analysis of recursive state machines
2005
A program integration algorithm that accommodates semantics-preserving transformations
1992
The use of program profiling for software maintenance with applications to the year 2000 problem
1997
Program analysis via graph reachability
1998
Dependence analysis for pointer variables
1989
Detecting Program Components With Equivalent Behaviors
1989
On the computational complexity of dynamic graph problems
1996
On the sequential nature of interprocedural program-analysis problems
1996
Program integration for languages with procedure calls
1995
Parametric shape analysis via 3-valued logic
2002
Solving shape-analysis problems in languages with destructive updating
1998
Identifying modules via concept analysis
1999