Search Sciweavers | Sciweavers

2302 search results - page 4 / 461

» Testing as Abstraction

108

click to vote

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

15 years 8 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

128

click to vote

SAFECOMP
1999
Springer

168views Security Privacy» more SAFECOMP 1999»

Automated Black-Box Testing with Abstract VDM Oracles

15 years 8 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

103

click to vote

CONCUR
1994
Springer

74views Distributed And Parallel Com...» more CONCUR 1994»

Testing-Based Abstractions for Value-Passing Systems

15 years 8 months ago

Download condor.depaul.edu

Rance Cleaveland, James Riely

claim paper

Read More »

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Executing Abstract Test Cases

15 years 8 months ago

Download www.soft-net.at

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

claim paper

Read More »

128

click to vote

APAQS
2001
IEEE

226views Software Engineering» more APAQS 2001»

Combining the Animation and Testing of Abstract Data Types

15 years 7 months ago

Download espace.library.uq.edu.au

Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au

Tim Miller, Paul A. Strooper

claim paper

Read More »

« Prev « First page 4 / 461 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers