944 search results - page 15 / 189 » Software model checking without source code |
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
ET
2008
13 years 7 months ago
2008
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...
WCRE
2002
IEEE
14 years 16 days ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
APSEC
2000
IEEE
14 years 2 days ago
2000
IEEE
Many program maintenance tools rely on traditional parsing techniques to obtain syntactic level models of the code being maintained. When, for some reason, code cannot be parsed, ...