Sciweavers

2825 search results - page 114 / 565
» Support for Object-Oriented Testing
Sort
View
APSEC
2004
IEEE
15 years 6 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
131
Voted
ENGL
2008
94views more  ENGL 2008»
15 years 2 months ago
Prototyping, Domain Specific Language, and Testing
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
Liguo Yu
ICWS
2010
IEEE
15 years 1 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...
138
Voted
UTP
2010
15 years 12 days ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel
125
Voted
SEMWEB
2009
Springer
15 years 9 months ago
A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
Michael Schneider, Kai Mainzer