A Static Java Birthmark Based on Control Flow Edges.
Hyun-il LimHeewan ParkSeokwoo ChoiTaisook HanPublished in: COMPSAC (1) (2009)
Keyphrases
- control flow
- dynamic analysis
- data flow
- static analysis
- reverse engineering
- source code
- software testing
- object oriented
- workflow management systems
- programming language
- open source
- java programs
- process model
- software systems
- business process models
- data sets
- database applications
- transition systems
- web services
- machine learning
- reactive systems
- byte code
- model checking
- relational databases
- high level
- learning algorithm