Sciweavers

15824 search results - page 94 / 3165

» Specialising in Software Engineering

14

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

14 years 4 months ago

Behavioral adaptation of component compositions based on process algebra encodings

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

27

KBSE
2007
IEEE

97views Software Engineering» more KBSE 2007»

Efficiently monitoring data-flow test coverage

14 years 4 months ago

Efficiently monitoring data-flow test coverage

Download www.cc.gatech.edu

Raúl A. Santelices, Mary Jean Harrold

claim paper

Read More »

16

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

14 years 4 months ago

Verifying C++ with STL containers via predicate abstraction

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

31

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

14 years 4 months ago

Abstraction in Assertion-Based Test Oracles

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

22

QSIC
2007
IEEE

111views Software Engineering» more QSIC 2007»

A Certified Infinite Norm for the Implementation of Elementary Functions

14 years 4 months ago

A Certified Infinite Norm for the Implementation of Elementary Functions

Download www.ens-lyon.fr

Sylvain Chevillard, Christoph Quirin Lauter

claim paper

Read More »

« Prev « First page 94 / 3165 Last » Next »