418 search results - page 39 / 84 » GUI Inspection from Source Code Analysis |
101
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
ER
2003
Springer
15 years 5 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
111
click to vote
WORDS
2002
IEEE
15 years 4 months ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
A post-processor is an integral part of any OCR system. This paper proposes a method for detection and correction of errors in recognition results of handwritten and machine print...
110
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...