Search Sciweavers | Sciweavers

15777 search results - page 479 / 3156

» The Reformulation-Optimization Software Engine

108

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

15 years 11 months ago

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »

click to vote

CGO
2009
IEEE

116views Software Engineering» more CGO 2009»

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency

15 years 11 months ago

Download perso.ens-lyon.fr

Benoit Boissinot, Alain Darte, Fabrice Rastello, B...

claim paper

Read More »

click to vote

FASE
2009
Springer

108views Software Engineering» more FASE 2009»

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy

15 years 11 months ago

Download publicaciones.dc.uba.ar

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Mos...

claim paper

Read More »

click to vote

FASE
2009
Springer

89views Software Engineering» more FASE 2009»

Proving Consistency of Pure Methods and Model Fields

15 years 11 months ago

Download research.microsoft.com

Abstract. Pure methods and model ﬁelds are useful and common speci

K. Rustan M. Leino, Ronald Middelkoop

claim paper

Read More »

112

click to vote

KBSE
2009
IEEE

169views Software Engineering» more KBSE 2009»

Clone-Aware Configuration Management

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers