492 search results - page 71 / 99 » Automating software feature verification |
109
Voted
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
129
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
105
Voted
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
110
click to vote
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
106
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper explores an application-specific customization technique for the data cache, one of the foremost area/power consuming and performance determining microarchitectural fea...