334 search results - page 34 / 67 » Model-Based Software Testing and Verification |
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...