it has the 'linearization' in its title. i just want to know what is its meaning. i searched google but it gave me something like calculus which i dont get.
No calculus involved :)
The paper describes a method that analyzes source code, which is not necessarily linear (conditional branches, loops, recursion, &c.). They perform a basic simulation of the program without actually running it, which yields a plausible sequence of actions (i.e., a list, which is linear) that the program might take during normal execution.