Sciweavers

265 search results - page 2 / 53

» entcs 2007

3

ENTCS
2007

85views more ENTCS 2007»

Model-driven Transformation-based Generation of Java Stress Tests

13 years 4 months ago

Model-driven Transformation-based Generation of Java Stress Tests

Download faculty.ist.unomaha.edu

Victor L. Winter

claim paper

Read More »

3

ENTCS
2007

104views more ENTCS 2007»

Automated Techniques for Surviving (Otherwise) Fatal Software Errors

13 years 4 months ago

Automated Techniques for Surviving (Otherwise) Fatal Software Errors

Download people.csail.mit.edu

Martin C. Rinard

claim paper

Read More »

16

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

13 years 4 months ago

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

7

ENTCS
2007

85views more ENTCS 2007»

The GTO Toolset and Method

13 years 4 months ago

The GTO Toolset and Method

Download www.it.uu.se

Lars-Henrik Eriksson

claim paper

Read More »

7

ENTCS
2007

77views more ENTCS 2007»

Software Evolution from the Field: An Experience Report from the Squeak Maintainers

13 years 4 months ago

Software Evolution from the Field: An Experience Report from the Squeak Maintainers

Download marcusdenker.de

Marcus Denker, Stéphane Ducasse

claim paper

Read More »

« Prev « First page 2 / 53 Last » Next »