Sciweavers

15811 search results - page 105 / 3163

» Search-based software engineering

126

IWPC
2006
IEEE

89views Software Engineering» more IWPC 2006»

Programmer-friendly Decompiled Java

15 years 8 months ago

Programmer-friendly Decompiled Java

Download www.sable.mcgill.ca

Nomair A. Naeem, Laurie J. Hendren

claim paper

Read More »

84

KBSE
2006
IEEE

95views Software Engineering» more KBSE 2006»

Verifying Specifications with Proof Scores in CafeOBJ

15 years 8 months ago

Verifying Specifications with Proof Scores in CafeOBJ

Download www.jaist.ac.jp

Kokichi Futatsugi

claim paper

Read More »

98

SCAM
2006
IEEE

102views Software Engineering» more SCAM 2006»

AVal: an Extensible Attribute-Oriented Programming Validator for Java

15 years 8 months ago

AVal: an Extensible Attribute-Oriented Programming Validator for Java

Download www.dcs.kcl.ac.uk

Carlos Noguera, Renaud Pawlak

claim paper

Read More »

87

SCAM
2006
IEEE

97views Software Engineering» more SCAM 2006»

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

15 years 8 months ago

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

Download www.dcs.kcl.ac.uk

Árpád Beszédes, Tamás ...

claim paper

Read More »

101

SCAM
2006
IEEE

99views Software Engineering» more SCAM 2006»

15 years 8 months ago

Download www.dcs.kcl.ac.uk

Adrian D. Thurston, James R. Cordy

claim paper

Read More »

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