712 search results - page 84 / 143 » Software debugging, testing, and verification |
158
click to vote
HICSS
2006
IEEE
16 years 1 days ago
2006
IEEE
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...
154
click to vote
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
162
click to vote
EXPCS
2007
15 years 10 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
153
click to vote
KBSE
2007
IEEE
16 years 8 days ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
146
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...