809 search results - page 7 / 162 » Requirements by Contracts allow Automated System Testing |
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
109
click to vote
CCGRID
2010
IEEE
15 years 23 days ago
2010
IEEE
Cloud computing is a computing paradigm which allows access of computing elements and storages on-demand over the Internet. Virtual Appliances, pre-configured, readyto-run applicat...
CSIE
2009
IEEE
15 years 22 days ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...