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