Search Sciweavers | Sciweavers

15777 search results - page 493 / 3156

» The Reformulation-Optimization Software Engine

164

click to vote

ISSRE
2002
IEEE

79views Software Engineering» more ISSRE 2002»

Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment

15 years 9 months ago

Download www.irisa.fr

Benoit Baudry, Franck Fleurey, Jean-Marc Jé...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

15 years 9 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

110

click to vote

SCAM
2002
IEEE

98views Software Engineering» more SCAM 2002»

VADA: A Transformation-Based System for Variable Dependence Analysis

15 years 9 months ago

Download bura.brunel.ac.uk

Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu,...

claim paper

Read More »

click to vote

WCRE
2002
IEEE

119views Software Engineering» more WCRE 2002»

ConSUS: A Scalable Approach to Conditioned Slicing

15 years 9 months ago

Download www.cse.dmu.ac.uk

Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Seb...

claim paper

Read More »

101

click to vote

WCRE
2002
IEEE

107views Software Engineering» more WCRE 2002»

Semantic Grep: Regular Expressions + Relational Abstraction

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers