Search Sciweavers | Sciweavers

2302 search results - page 3 / 461

» Testing as Abstraction

112

click to vote

APSEC
2005
IEEE

100views Software Engineering» more APSEC 2005»

Data Abstraction and Constraint Solving for Conformance Testing

16 years 2 days ago

Download www.win.tue.nl

Jens R. Calame, Natalia Ioustinova, Jaco van de Po...

claim paper

Read More »

130

click to vote

HASE
2005
IEEE

103views Control Systems» more HASE 2005»

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels

16 years 2 days ago

Download adt.et.upb.de

Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario D...

claim paper

Read More »

134

click to vote

KBSE
2005
IEEE

88views Software Engineering» more KBSE 2005»

Test input generation for red-black trees using abstraction

16 years 1 days ago

Download www.fi.muni.cz

Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...

claim paper

Read More »

167

click to vote

ICFEM
2004
Springer

152views Software Engineering» more ICFEM 2004»

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

15 years 12 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

134

click to vote

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers