Search Sciweavers | Sciweavers

15811 search results - page 325 / 3163

» Search-based software engineering

142

click to vote

PASTE
2005
ACM

87views Software Engineering» more PASTE 2005»

Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs

16 years 6 days ago

Download www-users.cs.umn.edu

Donglin Liang, Maikel Pennings, Mary Jean Harrold

claim paper

Read More »

201

click to vote

AADEBUG
2005
Springer

228views Software Engineering» more AADEBUG 2005»

Divide-and-query and subterm dependency tracking in the mercury declarative debugger

16 years 6 days ago

Download www.mercury.csse.unimelb.edu.au

Ian MacLarty, Zoltan Somogyi, Mark Brown

claim paper

Read More »

132

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

16 years 5 days ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

141

click to vote

FATES
2005
Springer

69views Software Engineering» more FATES 2005»

Play to Test

16 years 5 days ago

Download www.math.lsa.umich.edu

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Marg...

claim paper

Read More »

171

click to vote

ICCBSS
2005
Springer

125views Software Engineering» more ICCBSS 2005»

Protective Wrapping of Off-the-Shelf Components

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers