An analytical automated refinement approach for structural modeling large-scale codes using reverse engineering
暂无分享,去创建一个
[1] Sergio Segura,et al. An assessment of search-based techniques for reverse engineering feature models , 2015, J. Syst. Softw..
[2] Vineet Sinha,et al. Using dependency models to manage complex software architecture , 2005, OOPSLA '05.
[3] Alireza Souri,et al. Analyzing SMV & UPPAAL model checkers in real-time systems , 2012 .
[4] Jordi Cabot,et al. MoDisco: A model driven reverse engineering framework , 2014, Inf. Softw. Technol..
[5] Alireza Souri,et al. Formalizing and Verification of an Antivirus Protection Service using Model Checking , 2015 .
[6] Houari A. Sahraoui,et al. Reverse engineering reusable software components from object-oriented APIs , 2017, J. Syst. Softw..
[7] Nima Jafari Navimipour,et al. An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing , 2017, J. Syst. Softw..
[8] Lucian Voinea,et al. A Framework for Reverse Engineering Large C++ Code Bases , 2009, SQM@CSMR.
[9] Ahsan Raja Chowdhury,et al. Network decomposition based large-scale reverse engineering of gene regulatory network , 2015, Neurocomputing.
[10] Atanas Rountev,et al. Static control-flow analysis for reverse engineering of UML sequence diagrams , 2005, PASTE '05.
[11] Alireza Souri,et al. A Data Mining Classification Approach for Behavioral Malware Detection , 2016, J. Comput. Networks Commun..
[12] Fabio Paulo Basso,et al. Automated design of multi-layered web information systems , 2016, J. Syst. Softw..
[13] Isabel M. Ramos,et al. Are forward designed or reverse-engineered UML diagrams more helpful for code maintenance?: a controlled experiment , 2013, EASE '13.
[14] Nima Jafari Navimipour,et al. Behavioral modeling and formal verification of a resource discovery approach in Grid computing , 2014, Expert Syst. Appl..