Sciweavers

21183 search results - page 412 / 4237
» Adaptive Testing by Test
Sort
View
DATE
2005
IEEE
115views Hardware» more  DATE 2005»
16 years 11 days ago
Functional Coverage Driven Test Generation for Validation of Pipelined Processors
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
Prabhat Mishra, Nikil D. Dutt
ICSM
2005
IEEE
16 years 10 days ago
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
Hyunsook Do, Gregg Rothermel
ISSRE
2005
IEEE
16 years 10 days ago
Prioritize Code for Testing to Improve Code Coverage of Complex Software
Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of co...
J. Jenny Li
166
Voted
PASTE
2005
ACM
16 years 9 days ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
FASE
2005
Springer
16 years 8 days ago
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
Atanas Rountev, Scott Kagan, Jason Sawin