2419 search results - page 150 / 484 » A Formal Approach to Software Testing |
122
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
127
Voted
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
135
click to vote
FATES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
124
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
153
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...