Sciweavers

15860 search results - page 105 / 3172

» Agent-Based Software Engineering

112

IWPSE
2007
IEEE

108views Software Engineering» more IWPSE 2007»

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

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

70

Voted

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

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

83

Voted

KBSE
2007
IEEE

97views Software Engineering» more KBSE 2007»

Efficiently monitoring data-flow test coverage

15 years 9 months ago

Efficiently monitoring data-flow test coverage

Download www.cc.gatech.edu

Raúl A. Santelices, Mary Jean Harrold

claim paper

Read More »

71

Voted

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

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

92

Voted

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

15 years 9 months ago

Abstraction in Assertion-Based Test Oracles

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

« Prev « First page 105 / 3172 Last » Next »