3527 search results - page 78 / 706 » Test Automation in Practice |
INDIASE
2009
ACM
15 years 2 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
DAC
1999
ACM
15 years 11 months ago
1999
ACM
We propose a method for power optimization that considers glitch reduction by gate sizing based on the statistical estimation of glitch transitions. Our method reduces not only th...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
ISPEC
2005
Springer
15 years 3 months ago
2005
Springer
: Threats for today’s production networks range from fully automated worms and viruses to targeted, highly sophisticated multi-phase attacks carried out manually. In order to pro...