Information and Software Technology · 2006 · 58 citations · 3 references
ComputingComputer EngineeringComputer ScienceFormal MethodsSoftware EngineeringData-flow AnalysisDomain AnalysisReverse EngineeringReverse Engineering For Vulnerability DiscoverySoftware ConstructionSoftware DesignCode DecompilationCode-to-model Reverse EngineeringSoftware Reverse Engineering
3