Sciweavers

166 search results - page 2 / 34
» Identifying State Transitions and their Functions in Source ...
Sort
View
IWPC
2008
IEEE
14 years 17 days ago
Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions
To support understanding a specific GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...
Tatsuya Sato, Buntarou Shizuki, Jiro Tanaka
VL
2009
IEEE
156views Visual Languages» more  VL 2009»
14 years 27 days ago
Non-programmers identifying functionality in unfamiliar code: Strategies and barriers
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
Paul A. Gross, Caitlin Kelleher
PLDI
2010
ACM
13 years 11 months ago
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Ro...
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
13 years 9 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
ICSM
2008
IEEE
14 years 18 days ago
Automatically identifying C++0x concepts in function templates
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
Andrew Sutton, Jonathan I. Maletic