Search Sciweavers | Sciweavers

15777 search results - page 82 / 3156

» The Reformulation-Optimization Software Engine

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

14 years 2 months ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

click to vote

KBSE
2007
IEEE

97views Software Engineering» more KBSE 2007»

Efficiently monitoring data-flow test coverage

14 years 2 months ago

Download www.cc.gatech.edu

Raúl A. Santelices, Mary Jean Harrold

claim paper

Read More »

click to vote

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

14 years 2 months ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

click to vote

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

14 years 2 months ago

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

click to vote

QSIC
2007
IEEE

111views Software Engineering» more QSIC 2007»

A Certified Infinite Norm for the Implementation of Elementary Functions

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers