944 search results - page 34 / 189 » Software model checking without source code |
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
ICSM
2002
IEEE
14 years 19 days ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
SCAM
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
VL
2008
IEEE
14 years 2 months ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...