Sciweavers

8947 search results - page 72 / 1790
» Improving software quality
Sort
View
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
16 years 14 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 13 days ago
Incremental Quality Improvement in Web Applications Using Web Model Refactoring
Luis Olsina, Gustavo Rossi, Alejandra Garrido, Dam...