KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Software developers often face challenges in reusing open source frameworks due to several factors such as the framework complexity and lack of proper documentation. In this pap...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
IWPC
2008
IEEE
14 years 2 months ago
2008
IEEE
IWPC
2008
IEEE
14 years 2 months ago
2008
IEEE
IWPC
2008
IEEE
14 years 2 months ago
2008
IEEE
The research examines the version histories of nine open source software systems to uncover trends and characteristics of how developers commit source code to version control syst...