A novel approach based on formal methods for clone detection.
Antonio CuomoAntonella SantoneUmberto VillanoPublished in: IWSC (2012)
Keyphrases
- formal methods
- clone detection
- linux kernel
- software reuse
- software systems
- software engineering
- string matching
- formal analysis
- formal specification
- knowledge based systems
- model checking
- artificial intelligence
- source code
- safety critical
- operating system
- process algebra
- modeling language
- software development
- software evolution
- information systems
- machine learning