Sciweavers

2527 search results - page 53 / 506
» A UML-Based Approach to System Testing
Sort
View
132
Voted
ISCIS
2004
Springer
15 years 8 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
141
Voted
PTS
2000
108views Hardware» more  PTS 2000»
15 years 4 months ago
Determination of Test Configurations for Pair-Wise Interaction Coverage
Systems constructed from components, including distributed systems, consist of a number of elements that interact with each other. As the number of network elements or interchangea...
Alan W. Williams
ICSE
2007
IEEE-ACM
15 years 9 months ago
TAXI - A Tool for XML-Based Testing
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
Antonia Bertolino, Jinghua Gao, Eda Marchetti, And...
FATES
2004
Springer
15 years 7 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
130
Voted
ACL
2012
13 years 5 months ago
Lemmatisation as a Tagging Task
We present a novel approach to the task of word lemmatisation. We formalise lemmatisation as a category tagging task, by describing how a word-to-lemma transformation rule can be ...
Andrea Gesmundo, Tanja Samardzic