Sciweavers

2111 search results - page 34 / 423
» An Approach to Software Testing of Machine Learning Applicat...
Sort
View
PTS
1993
91views Hardware» more  PTS 1993»
13 years 9 months ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
Gang Luo, Anindya Das, Gregor von Bochmann
ICALT
2006
IEEE
14 years 1 months ago
A Model for Interoperability in Computer Supported Collaborative Learning
Computer Supported Collaborative Learning activities involve combination of complex software tools that often need to interoperate in a wider context of learning. This paper propo...
Georgios Kahrimanis, Andreas Papasalouros, Nikolao...
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
14 years 1 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
PREMI
2005
Springer
14 years 1 months ago
Approximation Spaces in Machine Learning and Pattern Recognition
Abstract. Approximation spaces are fundamental for the rough set approach. We discuss their application in machine learning and pattern recognition.
Andrzej Skowron, Jaroslaw Stepaniuk, Roman W. Swin...
ISSRE
2006
IEEE
14 years 1 months ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...