944 search results - page 87 / 189 » Software model checking without source code |
FIW
2007
13 years 11 months ago
2007
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
TSE
2008
13 years 10 months ago
2008
Design patterns are important in object-oriented programming because they offer design motifs, elegant solutions to recurrent design problems, which improve the quality of software...
SRDS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract-Software code reuse has long been touted as a reliable and efficient software development paradigm. Whilst this practice has numerous benefits, it is inherently susceptibl...
CODES
2009
IEEE
14 years 4 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...