Search Sciweavers | Sciweavers

2302 search results - page 4 / 461

» Testing as Abstraction

139

click to vote

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

15 years 11 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

153

click to vote

SAFECOMP
1999
Springer

168views Security Privacy» more SAFECOMP 1999»

Automated Black-Box Testing with Abstract VDM Oracles

15 years 10 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

131

click to vote

CONCUR
1994
Springer

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

Testing-Based Abstractions for Value-Passing Systems

15 years 10 months ago

Download condor.depaul.edu

Rance Cleaveland, James Riely

claim paper

Read More »

101

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Executing Abstract Test Cases

15 years 10 months ago

Download www.soft-net.at

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

claim paper

Read More »

160

click to vote

APAQS
2001
IEEE

226views Software Engineering» more APAQS 2001»

Combining the Animation and Testing of Abstract Data Types

15 years 10 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