Presentation 2016-07-14
A Prototype of an Intrusive Spy for Backward-In-Time Debugging
Toshihiro Kamiya,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) An intrusive spy is a method/tool aiming to support a backward-in-time debugging, especially in debugging of non-crashing bugs. An intrusive spy displays or compares values of specified variables at specified time in an execution of a target program. In this paper, we explain approach of the intrusive spy and its prototype implementation, also show an preliminary experiment of applying the prototype to a small program.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Omniscient debugging / program comprehension / dynamic analysis
Paper # SS2016-9,KBSE2016-15
Date of Issue 2016-07-06 (SS, KBSE)

Conference Information
Committee KBSE / SS / IPSJ-SE
Conference Date 2016/7/13(3days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST)
Vice Chair Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.)
Secretary Fumihiro Kumeno(Shinshu Univ.) / Akio Nakata(Nippon Inst. of Tech.) / (Tokyo Inst. of Tech.)
Assistant Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.)

Paper Information
Registration To Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) A Prototype of an Intrusive Spy for Backward-In-Time Debugging
Sub Title (in English)
Keyword(1) Omniscient debugging
Keyword(2) program comprehension
Keyword(3) dynamic analysis
1st Author's Name Toshihiro Kamiya
1st Author's Affiliation Shimane University(Shimane Univ.)
Date 2016-07-14
Paper # SS2016-9,KBSE2016-15
Volume (vol) vol.116
Number (no) SS-127,KBSE-128
Page pp.pp.87-92(SS), pp.87-92(KBSE),
#Pages 6
Date of Issue 2016-07-06 (SS, KBSE)