1 resultado para static nodes
em Research Open Access Repository of the University of East London.
Filtro por publicador
- Repository Napier (2)
- Aberdeen University (1)
- Abertay Research Collections - Abertay University’s repository (1)
- Aberystwyth University Repository - Reino Unido (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (3)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (5)
- Archive of European Integration (1)
- Aston University Research Archive (19)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (14)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (9)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (57)
- Boston University Digital Common (3)
- Brock University, Canada (1)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (5)
- CaltechTHESIS (5)
- Cambridge University Engineering Department Publications Database (56)
- CentAUR: Central Archive University of Reading - UK (21)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (31)
- Cochin University of Science & Technology (CUSAT), India (2)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (6)
- Deakin Research Online - Australia (63)
- Department of Computer Science E-Repository - King's College London, Strand, London (7)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (2)
- Digital Commons - Michigan Tech (4)
- Digital Commons at Florida International University (3)
- Digital Peer Publishing (2)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Diposit Digital de la UB - Universidade de Barcelona (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (5)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (2)
- FUNDAJ - Fundação Joaquim Nabuco (2)
- Glasgow Theses Service (3)
- Greenwich Academic Literature Archive - UK (3)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (3)
- Indian Institute of Science - Bangalore - Índia (133)
- Instituto Politécnico de Bragança (1)
- Instituto Politécnico do Porto, Portugal (5)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Massachusetts Institute of Technology (4)
- National Center for Biotechnology Information - NCBI (8)
- Nottingham eTheses (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- Publishing Network for Geoscientific & Environmental Data (10)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (60)
- Queensland University of Technology - ePrints Archive (204)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (65)
- Research Open Access Repository of the University of East London. (1)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- School of Medicine, Washington University, United States (1)
- Scientific Open-access Literature Archive and Repository (1)
- Universidad de Alicante (7)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (41)
- Universidade Complutense de Madrid (1)
- Universidade Federal do Pará (2)
- Universita di Parma (1)
- Universitat de Girona, Spain (6)
- Université de Lausanne, Switzerland (5)
- University of Michigan (21)
- University of Queensland eSpace - Australia (15)
- University of Southampton, United Kingdom (2)
- University of Washington (1)
Resumo:
Observation-based slicing is a recently-introduced, language-independent, slicing technique based on the dependencies observable from program behaviour. Due to the wellknown limits of dynamic analysis, we may only compute an under-approximation of the true observation-based slice. However, because the observation-based slice captures all possible dependence that can be observed, even such approximations can yield insight into the limitations of static slicing. For example, a static slice, S that is strictly smaller than the corresponding observation based slice is guaranteed to be unsafe. We present the results of three sets of experiments on 12 different programs, including benchmarks and larger programs, which investigate the relationship between static and observation-based slicing. We show that, in extreme cases, observation-based slices can find the true static minimal slice, where static techniques cannot. For more typical cases, our results illustrate the potential for observation-based slicing to highlight unsafe static slices. Finally, we report on the sensitivity of observation-based slicing to test quality.