Sciweavers

5273 search results - page 27 / 1055
» Improving quality together
Sort
View
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
16 years 8 days ago
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
Ulrich Kühne, Daniel Große, Rolf Drechs...
WISE
2007
Springer
16 years 8 days ago
Incremental Quality Improvement in Web Applications Using Web Model Refactoring
Luis Olsina, Gustavo Rossi, Alejandra Garrido, Dam...