Formal approach for reverse engineering: A case study

被引：0
|
作者：
Arizona State Univ, Tempe, United States [1 ]
机构：
来源：
Rev Eng Working Conf Proc | / 100-111期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
23
引用
收藏
相关论文
共 50 条
  • [1] A formal automated approach for reverse engineering programs with pointers
    Gannod, GC
    Cheng, BHC
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 219 - 226
  • [2] A formal method applied to reverse engineering
    Chiang, CC
    Tang, PY
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 493 - 497
  • [3] A case study in formal system engineering with SysML
    Dragomir, Iulia
    Ober, Iulian
    Lesens, David
    2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 189 - 198
  • [4] Reverse engineering and CFD analysis: A case study
    Argento, M
    Barone, S
    Bianconi, F
    Conti, P
    Rosati, E
    Proceedings of the IASTED International Conference on Applied Simulation and Modelling, 2004, : 323 - 328
  • [5] Software reverse engineering. A case study
    Byrne, Eric J.
    Software - Practice and Experience, 1991, 21 (12) : 1349 - 1364
  • [6] Reverse engineering gone wrong: A case study
    McEvily, AJ
    ENGINEERING FAILURE ANALYSIS, 2005, 12 (05) : 834 - 838
  • [7] SOFTWARE REVERSE ENGINEERING - A CASE-STUDY
    BYRNE, EJ
    SOFTWARE-PRACTICE & EXPERIENCE, 1991, 21 (12): : 1349 - 1364
  • [8] Reverse engineering a multivariable controller: A case study
    Freudenberg, JS
    Karnik, AY
    ACC: Proceedings of the 2005 American Control Conference, Vols 1-7, 2005, : 733 - 738
  • [9] Reverse engineering a CCTV system, a case study
    Tobin, Lee
    Shosha, Ahmed
    Gladyshev, Pavel
    DIGITAL INVESTIGATION, 2014, 11 (03) : 179 - 186
  • [10] AN ENGINEERING APPROACH TO FORMAL METHODS
    TURNER, KJ
    PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 357 - 380
12345