Static Debugging: Browsing the Web of Program Invariants.
Cormac FlanaganMatthew FlattShriram KrishnamurthiStephanie WeirichMatthias FelleisenPublished in: PLDI (1996)
Keyphrases
- web pages
- dynamic analysis
- website
- clickstream data
- fault localization
- web browsing
- java programs
- web mining
- web data
- multimedia
- hardware designs
- web applications
- browsing experience
- novice programmers
- open directory project
- execution traces
- web content
- web search
- information sources
- program slicing
- meta search engine
- helping users
- browsing behavior
- program understanding
- faceted search
- information discovery
- personalized search
- web searching
- computer programs
- imperative programs
- web technologies
- web resources
- link analysis
- social networks
- web documents
- metadata
- user behavior
- web users
- web directories
- affine invariant
- web information retrieval
- reverse engineering
- software testing
- web logs
- invariant features
- information overload