56 search results - page 7 / 12 » Integrating Verification and Testing of Object-Oriented Soft... |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
102
Voted
ISORC
2005
IEEE
15 years 3 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...
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...