Sciweavers

15783 search results - page 121 / 3157

» Evidence-Based Software Engineering

29

IWPSE
2007
IEEE

108views Software Engineering» more IWPSE 2007»

BugzillaMetrics: an adaptable tool for evaluating metric specifications on change requests

14 years 4 months ago

BugzillaMetrics: an adaptable tool for evaluating metric specifications on change requests

Download bugzillametrics.sourceforge.net

Lars Grammel, Holger Schackmann, Horst Lichter

claim paper

Read More »

15

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 »

28

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 »

« Prev « First page 121 / 3157 Last » Next »