8947 search results - page 434 / 1790 » Improving software quality |
173
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
210
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
161
click to vote
METRICS
1997
IEEE
15 years 11 months ago
1997
IEEE
The process of E-type software development andevolution has proven most difficult to improve, possibly due to the fact that the processis a multi-input, multi-output system involv...
180
click to vote
MKWI
2008
15 years 8 months ago
2008
: For the development of software requirements within a team, efficient communication and a systematic approach are necessary. Because of the complexity of the task, the need for s...
189
click to vote
MEMOCODE
2006
IEEE
16 years 25 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...