Extracting finite state representation of Java programs

Sen Tamal; Mall Rajib

首页> 外文期刊>Software and systems modeling >Extracting finite state representation of Java programs

【24h】

Extracting finite state representation of Java programs

机译：提取Java程序的有限状态表示

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a static analysis-based technique for reverse engineering finite state machine models from a large subset of sequential Java programs. Our approach enumerates all feasible program paths in a class using symbolic execution and records execution summary for each path. Subsequently, it creates states and transitions by analyzing symbolic execution summaries. Our approach also detects any unhandled exceptions.

机译：我们提出了一种基于静态分析的技术，用于从大量顺序Java程序中进行逆向工程有限状态机模型。我们的方法使用符号执行枚举类中所有可行的程序路径，并记录每个路径的执行摘要。随后，它通过分析符号执行摘要来创建状态和转换。我们的方法还可以检测任何未处理的异常。

著录项

来源
《Software and systems modeling》 |2016年第2期|497-511|共15页
作者
Sen Tamal; Mall Rajib;
展开▼
作者单位

Indian Inst Technol, Dept CSE, Kharagpur 721302, W Bengal, India;

Indian Inst Technol, Dept CSE, Kharagpur 721302, W Bengal, India;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Software reverse engineering; FSM; System modeling;

机译：软件逆向工程;FSM;系统建模;

相似文献

外文文献
中文文献
专利

1. Programming Finite Elements in Java Gennadiy Nikishkov Springer, London, 2010, hardback, xvi+402pp, ISBN 978-1- 84882-971-8 [J] . R.I. Mackie Computers & Structures . 2011,第17a18期

机译：Java有限元编程Gennadiy Nikishkov Springer，伦敦，2010年，精装本，xvi + 402pp，ISBN 978-1- 84882-971-8
2. There Is Parallel Life for Java Scientific Programmers! [reviews of "Building Parallel Programs: SMPs, Clusters, and Java" (Kaminsky, A; 2010) and "Introductory Biophysics" (Claycomb, J. and Tran, J.Q.P.; 2010) [Book review] [J] . Esquembre Francisco Computing in science & engineering . 2011,第4期

机译：Java科学程序员可以并行生活！ [对“构建并行程序：SMP，群集和Java的评论（Kaminsky，A； 2010年）和“生物物理概论”（Claycomb，J。和Tran，J.Q.P。； 2010年）的评论[书评]
3. Finite-state model extraction and visualization from Java program execution [J] . Jevitha K. P., Jayaraman Swaminathan, Jayaraman Bharat, Software . 2021,第2期

机译：Java程序执行中有限状态模型提取和可视化
4. A search system for java programs by using extracted javaBeans components [C] . Hironori Washizaki, Yoshiaki Fukazawa ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications;Annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications . 2004

机译：使用提取的javaBeans组件的Java程序搜索系统
5. Automated translation of dynamic programming problems to JAVA code and their solution via an intermediate Petri net representation. [D] . Mauch, Holger. 2005

机译：通过中间Petri网表示将动态编程问题自动转换为JAVA代码及其解决方案。
6. Biochemical Constituent of Ginkgo biloba (Seed) 80 Methanol Extract Inhibits Cholinesterase Enzymes in Javanese Medaka (Oryzias javanicus) Model [O] . Ibrahim Hassan, Wan Norhamidah Wan Ibrahim, Ferdaus Mohamat Yusuf, 2020

机译：银杏叶（种子）80％甲醇提取物的生化成分抑制了爪哇Medaka（Oryzias Javanicus）模型中的胆碱酯酶酶
7. The Effects Of 2D And 3D Representations In Second Life On Students’ Perception And Performance In Learning Java Programming In Saudi Arabia [O] . Bassfar Zaid Aslm 2014

机译：第二生活中的2D和3D表示形式对沙特阿拉伯学生学习Java编程的感知和表现的影响
8. EXTRACT A Program for Extracting a Section of a Finite Element Model for Top-Down Modelling. [R] . Smith, D. R. 1994

机译：提取一种用于自上而下建模的有限元模型截面程序。

Extracting finite state representation of Java programs

摘要

著录项

相似文献

相关主题

期刊订阅