Sciweavers

15824 search results - page 94 / 3165

» Specialising in Software Engineering

84

Voted

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

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

97

Voted

KBSE
2007
IEEE

97views Software Engineering» more KBSE 2007»

Efficiently monitoring data-flow test coverage

15 years 10 months ago

Efficiently monitoring data-flow test coverage

Download www.cc.gatech.edu

Raúl A. Santelices, Mary Jean Harrold

claim paper

Read More »

82

Voted

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

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

102

Voted

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

15 years 10 months ago

Abstraction in Assertion-Based Test Oracles

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

107

Voted

QSIC
2007
IEEE

111views Software Engineering» more QSIC 2007»

A Certified Infinite Norm for the Implementation of Elementary Functions

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