indus.javaslicer/
indus.javaslicer/auxiliary/
indus.javaslicer/docs/
indus.javaslicer/docs/ug/
indus.javaslicer/docs/ug/build/
indus.javaslicer/docs/ug/dist/
indus.javaslicer/docs/ug/src/
indus.javaslicer/docs/ug/src/images/
indus.javaslicer/src/
indus.javaslicer/src-test/
indus.javaslicer/src-test/edu/
indus.javaslicer/src-test/edu/ksu/
indus.javaslicer/src-test/edu/ksu/cis/
indus.javaslicer/src-test/edu/ksu/cis/indus/
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src-xml/
indus.javaslicer/src-xml/edu/
indus.javaslicer/src-xml/edu/ksu/
indus.javaslicer/src-xml/edu/ksu/cis/
indus.javaslicer/src-xml/edu/ksu/cis/indus/
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src/edu/
indus.javaslicer/src/edu/ksu/
indus.javaslicer/src/edu/ksu/cis/
indus.javaslicer/src/edu/ksu/cis/indus/
indus.javaslicer/src/edu/ksu/cis/indus/slicer/
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/
indus.javaslicer/src/edu/ksu/cis/indus/tools/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/contextualizers/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/generators/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/predicates/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/criteria/specification/
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/processing/
indus.javaslicer/LICENSE.TXT
indus.javaslicer/antbuild.properties
indus.javaslicer/auxiliary/bandera_slicerConfig_JiBXBinding.xml
indus.javaslicer/auxiliary/sliceCriteria_JiBXBinding.xml
indus.javaslicer/auxiliary/slicehtml.xsl
indus.javaslicer/auxiliary/slicerConfig.xsd
indus.javaslicer/auxiliary/slicerConfig_JiBXBinding.xml
indus.javaslicer/build.xml
indus.javaslicer/docs/RELEASE_NOTES.txt
indus.javaslicer/docs/ug/build.properties
indus.javaslicer/docs/ug/src/images/architecture.fig
indus.javaslicer/docs/ug/src/images/architecture.png
indus.javaslicer/docs/ug/src/images/configuration.png
indus.javaslicer/docs/ug/src/images/design.fig
indus.javaslicer/docs/ug/src/images/design.png
indus.javaslicer/docs/ug/src/main.xml
indus.javaslicer/prelocalbuild.xml
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerRegressionTestSuite.java
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerTest.properties
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/SlicerTestSetup.java
indus.javaslicer/src-test/edu/ksu/cis/indus/tools/slicer/XMLBasedSlicerTest.java
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/SliceXMLizerCLI.java
indus.javaslicer/src-xml/edu/ksu/cis/indus/tools/slicer/TagBasedSliceXMLizer.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/AbstractSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/BackwardSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/CompleteSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/CriteriaSpecHelper.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/DependenceExtractor.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ExprLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ForwardSlicingPart.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/IDirectionSensitivePartOfSlicingEngine.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/ISliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/MethodLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceCollector.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceCriteriaFactory.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceGotoProcessor.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SliceType.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/SlicingEngine.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/StmtLevelSliceCriterion.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/package.html
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/ExecutableSlicePostProcessorAndModifier.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/TagBasedDestructiveSliceResidualizer.java
indus.javaslicer/src/edu/ksu/cis/indus/slicer/transformations/package.html
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerConfiguration.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerConfigurationView.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/SlicerTool.java
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/bandera_slicerConfig.xsd
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/bandera_slicer_configuration.xml
indus.javaslicer/src/edu/ksu/cis/indus/toolkits/bandera/package.html
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerConfiguration.java
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerConfigurator.java
indus.javaslicer/src/edu/ksu/cis/indus/tools/slicer/SlicerTool.java
indus.jav