Sciweavers

2026 search results - page 68 / 406
» Tools for Test Case Generation
Sort
View
ECCC
2011
223views ECommerce» more  ECCC 2011»
14 years 7 months ago
A Case of Depth-3 Identity Testing, Sparse Factorization and Duality
Polynomial identity testing (PIT) problem is known to be challenging even for constant depth arithmetic circuits. In this work, we study the complexity of two special but natural ...
Chandan Saha, Ramprasad Saptharishi, Nitin Saxena
97
Voted
ET
2002
108views more  ET 2002»
15 years 10 days ago
Diagnosis Strategies for Hardware or Software Systems
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
Maisaa Khalil, Chantal Robach, Franc Novak
90
Voted
ATAL
2007
Springer
15 years 6 months ago
AUML protocols and code generation in the Prometheus design tool
Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodol...
Lin Padgham, John Thangarajah, Michael Winikoff
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
15 years 6 months ago
Design fault directed test generation for microprocessor validation
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V...
89
Voted
SERP
2003
15 years 1 months ago
FAR: An Editing Tool for Standard Information Generation
It’s difficult for administrators to retrieve information from reports that are generated by different people with different computer platforms, word processors, and interpretat...
Tao Zhang, H. Conrad Cunningham, Jian Li