418 search results - page 7 / 84 » GUI Inspection from Source Code Analysis |
CC
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
104
click to vote
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
CSEE
2009
Springer
15 years 4 months ago
2009
Springer
This paper reports on results from a pilot study that used Bloom’s Taxonomy to observe cognition levels during software inspections conducted by undergraduate computer science a...
85
Voted
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
67
Voted
ENTCS
2007
14 years 9 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...