Search Sciweavers | Sciweavers

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 »

123

click to vote

SCAM
2009
IEEE

150views Software Engineering» more SCAM 2009»

Engineering Abstractions in Model Checking and Testing

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

111

click to vote

ICSE
2003
IEEE-ACM

110views Software Engineering» more ICSE 2003»

Improving Test Suites via Operational Abstraction

16 years 3 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 »

127

click to vote

MEMICS
2010

148views Theoretical Computer Science» more MEMICS 2010»

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

14 years 10 months ago