Search Sciweavers | Sciweavers

2302 search results - page 1 / 461

» Testing as Abstraction

click to vote

QSIC
2008
IEEE

102views Software Engineering» more QSIC 2008»

Testing in the Distributed Test Architecture: An Extended Abstract

14 years 5 months ago

Download bura.brunel.ac.uk

Robert M. Hierons

claim paper

Read More »

click to vote

ZUM
1995
Springer

91views Formal Methods» more ZUM 1995»

Testing as Abstraction

14 years 2 months ago

Download www-users.cs.york.ac.uk

as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...

Susan Stepney

claim paper

Read More »

click to vote

SCAM
2009
IEEE

150views Software Engineering» more SCAM 2009»

Engineering Abstractions in Model Checking and Testing

14 years 5 months ago

Download www.dcs.kcl.ac.uk

ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann

Michael Achenbach, Klaus Ostermann

claim paper

Read More »

click to vote

ICSE
2003
IEEE-ACM

110views Software Engineering» more ICSE 2003»

Improving Test Suites via Operational Abstraction

14 years 11 months ago

Download www.cs.washington.edu

g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...

Michael Harder, Jeff Mellen, Michael D. Ernst

claim paper

Read More »

click to vote

MEMICS
2010

148views Theoretical Computer Science» more MEMICS 2010»

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

13 years 5 months ago