Sciweavers

7253 search results - page 40 / 1451
» Agile Performance Testing
Sort
View
DAC
2002
ACM
14 years 11 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
COMPSAC
2005
IEEE
14 years 3 months ago
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Hu...
DAC
2005
ACM
14 years 11 months ago
StressTest: an automatic approach to test generation via activity monitors
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
GI
2004
Springer
14 years 3 months ago
Code Generator Testing in Practice
: This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testin...
Ingo Stürmer, Mirko Conrad
ICSM
2008
IEEE
14 years 4 months ago
REST: A tool for reducing effort in script-based testing
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
Qing Xie, Mark Grechanik, Chen Fu