2132 search results - page 52 / 427 » Automated software winnowing |
MMNS
2000
15 years 10 days ago
2000
: Growing dependence of commerce, industry and academia on the Internet underlines importance of analyzing its behavior. Changing Internet structure makes the gathered data quickly...
103
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
112
click to vote
KBSE
2010
IEEE
14 years 9 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
SEW
2006
IEEE
15 years 5 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
78
Voted
IASTEDSEA
2004
15 years 12 days ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...