Sciweavers

6800 search results - page 31 / 1360

» Testing with Functions as Specifications

74

Voted

PTS
2007

95views Hardware» more PTS 2007»

A Compositional Testing Framework Driven by Partial Specifications

15 years 4 months ago

A Compositional Testing Framework Driven by Partial Specifications

Download www.irisa.fr

Yliès Falcone, Jean-Claude Fernandez, Laure...

claim paper

Read More »

86

Voted

SERP
2007

82views Software Engineering» more SERP 2007»

Random Test Data Generation for Java Classes Annotated with JML Specifications

15 years 4 months ago

Random Test Data Generation for Java Classes Annotated with JML Specifications

Download www.cs.utep.edu

Yoonsik Cheon, Carlos E. Rubio-Medrano

claim paper

Read More »

105

Voted

SDL
2001

101views Hardware» more SDL 2001»

Graphical Test Specification - The Graphical Format of TTCN-3

15 years 4 months ago

Graphical Test Specification - The Graphical Format of TTCN-3

Download www.testingtech.com

Paul Baker, Ekkart Rudolph, Ina Schieferdecker

claim paper

Read More »

97

Voted

COOTS
1998

103views Programming Languages» more COOTS 1998»

IBDL: A Language for Interface Behavior Specification and Testing

15 years 4 months ago

IBDL: A Language for Interface Behavior Specification and Testing

Download www.usenix.org

Sreenivasa Viswanadha, Deepak Kapur

claim paper

Read More »

135

Voted

SDL
1997

134views Hardware» more SDL 1997»

Automating the process of test derivation from SDL specifications

15 years 4 months ago

Automating the process of test derivation from SDL specifications

Download www.site.uottawa.ca

Gregor von Bochmann, Alexandre Petrenko, O. Bellal...

claim paper

Read More »

« Prev « First page 31 / 1360 Last » Next »