Sciweavers

456 search results - page 39 / 92
» Automated Generation of Context-Aware Tests
Sort
View
INFSOF
2000
110views more  INFSOF 2000»
13 years 7 months ago
Partition testing with usage models
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
Kirk Sayre, Jesse H. Poore
ICSE
2007
IEEE-ACM
14 years 1 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...
AAAI
1992
13 years 8 months ago
A Probabilistic Parser Applied to Software Testing Documents
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
Mark A. Jones, Jason Eisner
ICST
2009
IEEE
13 years 5 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ICCD
2006
IEEE
116views Hardware» more  ICCD 2006»
14 years 4 months ago
RTL Scan Design for Skewed-Load At-speed Test under Power Constraints
This paper discusses an automated method to build scan chains at the register-transfer level (RTL) for powerconstrained at-speed testing. By analyzing a circuit at the RTL, where ...
Ho Fai Ko, Nicola Nicolici