@InProceedings{binkley_et_al:DagSemProc.05451.1, author = {Binkley, Dave and Harman, Mark and Krinke, Jens}, title = {{05451 Abstracts Collection – Beyond Program Slicing}}, booktitle = {Beyond Program Slicing}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.1}, URN = {urn:nbn:de:0030-drops-6016}, doi = {10.4230/DagSemProc.05451.1}, annote = {Keywords: Program slicing, source code analysis and manipulation, program dependece, dependence graph} } @InProceedings{harman_et_al:DagSemProc.05451.2, author = {Harman, Mark and Binkley, Dave and Krinke, Jens}, title = {{05451 Executive Summary – Beyond Program Slicing Dagstuhl Seminar}}, booktitle = {Beyond Program Slicing}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.2}, URN = {urn:nbn:de:0030-drops-5843}, doi = {10.4230/DagSemProc.05451.2}, annote = {Keywords: Summary} } @InProceedings{breu_et_al:DagSemProc.05451.3, author = {Breu, Silvia and Schlickling, Marc and Rodrigues, Nuno Miguel Feixa}, title = {{05451 Group 5 – Bananas, Dark Worlds, and AspectH}}, booktitle = {Beyond Program Slicing}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.3}, URN = {urn:nbn:de:0030-drops-4910}, doi = {10.4230/DagSemProc.05451.3}, annote = {Keywords: Haskell, code clone detection, refactoring, functional control graph} } @InProceedings{black_et_al:DagSemProc.05451.4, author = {Black, Sue and Bouillon, Philipp}, title = {{And Now For Something Completely Different...}}, booktitle = {Beyond Program Slicing}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.4}, URN = {urn:nbn:de:0030-drops-5833}, doi = {10.4230/DagSemProc.05451.4}, annote = {Keywords: Group experiment, program comprehension, source code, dynamic trace, control flow graph} } @InProceedings{fox_et_al:DagSemProc.05451.5, author = {Fox, Chris and Luangsodsai, Arthorn}, title = {{And-Or Dependence Graphs for Slicing Statecharts}}, booktitle = {Beyond Program Slicing}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.5}, URN = {urn:nbn:de:0030-drops-4932}, doi = {10.4230/DagSemProc.05451.5}, annote = {Keywords: Slicing, statecharts, And-Or depdence graphs, interference, conditioning} } @InProceedings{breu:DagSemProc.05451.6, author = {Breu, Silvia}, title = {{Extending C Global Surveyor}}, booktitle = {Beyond Program Slicing}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.6}, URN = {urn:nbn:de:0030-drops-4878}, doi = {10.4230/DagSemProc.05451.6}, annote = {Keywords: Static program analysis, abstract interpretation, program slicing} } @InProceedings{kalleberg_et_al:DagSemProc.05451.7, author = {Kalleberg, Karl Trygve and Hall, Tracy and Ettinger, Ran}, title = {{Making Slicing Mainstream How can we be Weiser?}}, booktitle = {Beyond Program Slicing}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.7}, URN = {urn:nbn:de:0030-drops-4861}, doi = {10.4230/DagSemProc.05451.7}, annote = {Keywords: Program Slicing, Popularization} } @InProceedings{rodrigues_et_al:DagSemProc.05451.8, author = {Rodrigues, Nuno Miguel Feixa and Barbosa, Lu{\'\i}s S.}, title = {{Slicing Functional Programs by Calculation}}, booktitle = {Beyond Program Slicing}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.8}, URN = {urn:nbn:de:0030-drops-4845}, doi = {10.4230/DagSemProc.05451.8}, annote = {Keywords: Program Slicing, Algebra of Programming, Functional Programming} } @InProceedings{singer:DagSemProc.05451.9, author = {Singer, Jeremy}, title = {{Towards Probabilistic Program Slicing}}, booktitle = {Beyond Program Slicing}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.9}, URN = {urn:nbn:de:0030-drops-4856}, doi = {10.4230/DagSemProc.05451.9}, annote = {Keywords: Probability, slicing, speculation} } @InProceedings{kirk_et_al:DagSemProc.05451.10, author = {Kirk, Douglas and Roper, Marc and Walkinshaw, Neil}, title = {{Using Attribute Slicing to Refactor Large Classes}}, booktitle = {Beyond Program Slicing}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.10}, URN = {urn:nbn:de:0030-drops-4907}, doi = {10.4230/DagSemProc.05451.10}, annote = {Keywords: Refactoring, cohesion, object-oriented slicing} } @InProceedings{black_et_al:DagSemProc.05451.11, author = {Black, Sue and Counsell, Steve and Hall, Tracy and Wernick, Paul}, title = {{Using Program Slicing to Identify Faults in Software}}, booktitle = {Beyond Program Slicing}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.11}, URN = {urn:nbn:de:0030-drops-5873}, doi = {10.4230/DagSemProc.05451.11}, annote = {Keywords: Program slicing, slicing metrics, fault proneness, software quality} }