3544 search results - page 164 / 709 » Software Testing |
101
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
116
click to vote
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Projects combining agile methods with CMMI1 are more successful in producing higher quality software that more effectively meets customer needs at a faster pace. Systematic Softwa...
105
click to vote
AGILEDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Projects combining agile methods with CMMI1 are more successful in producing higher quality software that more effectively meets customer needs at a faster pace. Systematic Softwa...
122
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
173
Voted
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...