WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.
Julia L. LawallJulien BrunelNicolas PalixRené Rydhof HansenHenrik StuartGilles MullerPublished in: DSN (2009)
Keyphrases
- source code
- linux kernel
- open source
- application programming interface
- software systems
- operating system
- software projects
- high level
- static analysis
- code snippets
- database applications
- windows nt
- user friendly
- website
- application developers
- software evolution
- command line
- code examples
- knowledge representation
- execution paths