Search Sciweavers | Sciweavers

6800 search results - page 27 / 1360

» Testing with Functions as Specifications

click to vote

WSC
2007

121views Modeling And Simulation» more WSC 2007»

A test implementation of the core manufacturing simulation data specification

15 years 5 days ago

Download www.informs-sim.org

This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...

Marcus Johansson, Björn Johansson, Anders Sko...

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

125views Software Engineering» more SIGSOFT 2001»

STG: a tool for generating symbolic test programs and oracles from operational specifications

15 years 10 months ago

Download www-valoria.univ-ubs.fr

Duncan Clarke, Elena Zinovieva, Thierry Jér...

claim paper

Read More »

click to vote

HASE
2007
IEEE

133views Control Systems» more HASE 2007»

Model-Checker-Based Testing of LTL Specifications

15 years 4 months ago

Download www.cs.utep.edu

Luis García, Steve Roach

claim paper

Read More »

click to vote

SMC
2007
IEEE

94views Control Systems» more SMC 2007»

Transformation of UML interaction diagrams into contract specifications for object-oriented testing

15 years 4 months ago

Download www.cs.hku.hk

Huo Yan Chen, Chuang Li, T. H. Tse

claim paper

Read More »

click to vote

VTS
2007
IEEE

102views Hardware» more VTS 2007»

Transformer-Coupled Loopback Test for Differential Mixed-Signal Specifications

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers