Stem slicer$ (all stems)

16 papers:

MoDELS-J-2011-BlouinCBB15 #generative #modelling #named

Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.

MoDELS-J-2011-BlouinCBB15 #generative #modelling #named

Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.

FM-2012-AlpuenteBFR #named #slicing

Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.

MoDELS-2011-BlouinCBB #modelling

Modeling Model Slicers (AB, BC, BB, OB), pp. 62–76.

MoDELS-2011-BlouinCBB #modelling

Modeling Model Slicers (AB, BC, BB, OB), pp. 62–76.

LDTA-2010-CruzHP #analysis #named #online #verification

GamaSlicer: an online laboratory for program verification and analysis (DCdC, PRH, JSP), p. 3.

PEPM-2009-LeuschelLOST #csp #named #slicing #specification

SOC: a slicer for CSP specifications (ML, ML, JO, JS, ST), pp. 165–168.

FASE-2005-JayaramanRH #eclipse #java #named #slicing

Kaveri: Delivering the Indus Java Program Slicer to Eclipse (GJ, VPR, JH), pp. 269–272.

SIGAda-2005-SwardB #optimisation #slicing

Optimizing the SPARK program slicer (RES, LCBI), pp. 17–22.

PASTE-2004-HammerS #java #slicing

An improved slicer for Java (CH, GS), pp. 17–22.

CAV-2004-BrabermanGO #automaton #named #slicing

ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.

SIGAda-2003-SwardC #ada #named #slicing

AdaSlicer: an Ada program slicer (RES, ATC), pp. 10–16.

SCAM-2002-HarmanHMZDDO #interprocedural #slicing

An Interprocedural Amorphous Slicer for WSL (MH, LH, MM, XZ, SD, MD, LO), pp. 105–114.

WCRE-2002-OuarbyaDDHF #interprocedural #slicing

A Denotational Interprocedural Program Slicer (LO, SD, MD, MH, CF), p. 181–?.

ICSM-2000-FoxHHD #named #slicing

ConSIT: A Conditioned Program Slicer (CF, MH, RMH, SD), p. 216–?.

SAC-2000-DanicicH #generative #named #slicing

Espresso: A Slicer Generator (SD, MH), pp. 831–839.