IEICE Trans

Keyword : program slicing

Model Checking of Automotive Control Software: An Industrial Approach Masahiro MATSUBARA Tatsuhiro TSUCHIYA
Publication: Publication Date: 2020/08/01 Vol. E103-D No. 8 ; pp. 1794-1805 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: model checking, program slicing, automotive control systems, SPIN model checker,
	Summary \| Full Text:PDF

Slicing Fine-Grained Code Change History Katsuhisa MARUYAMA Takayuki OMORI Shinpei HAYASHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2016/03/01 Vol. E99-D No. 3 ; pp. 671-687 Type of Manuscript: PAPER Category: Software Engineering Keyword: software maintenance and evolution, program comprehension, integrated development environments, program slicing, code changes,
	Summary \| Full Text:PDF

Variable Data-Flow Graph for Lightweight Program Slicing and Visualization Yu KASHIMA Takashi ISHIO Shogo ETSUDA Katsuro INOUE
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/06/01 Vol. E98-D No. 6 ; pp. 1194-1205 Type of Manuscript: PAPER Category: Software Engineering Keyword: static analysis, program slicing, variable data-flow graph, visualization,
	Summary \| Full Text:PDF

Fault Localization Using Failure-Related Contexts for Automatic Program Repair Ang LI Xiaoguang MAO Yan LEI Tao JI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/04/01 Vol. E98-D No. 4 ; pp. 955-959 Type of Manuscript: LETTER Category: Software Engineering Keyword: automatic repair, fault localization, failure-related context, program slicing, suspiciousness evaluation,
	Summary \| Full Text:PDF

Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model Kunihiro NODA Takashi KOBAYASHI Shinichiro YAMAMOTO Motoshi SAEKI Kiyoshi AGUSA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/04/01 Vol. E95-D No. 4 ; pp. 959-969 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: program slicing, program comprehension, program maintenance, sequence diagram, reverse engineering, debugging,
	Summary \| Full Text:PDF

An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences Takeshi MATSUMOTO Hiroshi SAITO Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/12/01 Vol. E88-A No. 12 ; pp. 3315-3323 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Simulation and Verification Keyword: equivalence checking, C-based system level design, symbolic simulation, textual difference, program slicing,
	Summary \| Full Text:PDF

Inferring Programmers' Intention by the Use of Context Structure Model of Programs Haruo KAWASAKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/04/25 Vol. E83-D No. 4 ; pp. 835-844 Type of Manuscript: PAPER Category: Artificial Intelligence, Cognitive Science Keyword: program understanding, programming education, dependence analysis, program slicing,
	Summary \| Full Text:PDF

Program Slicing on VHDL Descriptions and Its Evaluation Shigeru ICHINOSE Mizuho IWAIHARA Hiroto YASUURA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/12/25 Vol. E81-A No. 12 ; pp. 2585-2594 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Design Reuse Keyword: hardware description language, VHDL, program slicing, design reuse, component extraction,
	Summary \| Full Text:PDF

A Slicing Algorithm Suitable for Program Modification Tsuyoshi OHTA Takashi WATANABE Tadanori MIZUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/04/25 Vol. E79-A No. 4 ; pp. 540-546 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: program slicing, variable dependence graph, program dependence graph, complexity,
	Summary \| Full Text:PDF