Sciweavers

22 search results - page 1 / 5
» A Framework for Conformance Testing of Systems Communicating...
Sort
View
FTCS
1996
52views more  FTCS 1996»
13 years 6 months ago
A Framework for Conformance Testing of Systems Communicating through Rendezvous
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
DAGSTUHL
2004
13 years 6 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
13 years 9 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund
ICCCN
2008
IEEE
13 years 11 months ago
Autonomic Management of Hybrid Sensor Grid Systems and Applications
: In this paper, we propose an autonomic management framework (ASGrid) to address the requirements of emerging large-scale applications in hybrid grid and sensor network systems. T...
Xiaolin Li, Xinxin Liu, Huanyu Zhao, Nanyan Jiang,...
TAICPART
2010
IEEE
126views Education» more  TAICPART 2010»
13 years 3 months ago
Improved Testing through Refactoring: Experience from the ProTest Project
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
Huiqing Li, Simon J. Thompson