12,807 Hits in 6.1 sec

Dynamic slicing: a generic analysis based on a natural semantics format

V Gouranton
1999 Journal of Logic and Computation  
' a !  ...  o h d c p B 0 { t ) d j mP g i h g ( I i £ s 0 t £ s 0 t os n 8 e r U 6 g ¢ ¡ V £ I P £ 8 ' a s ) 7 6 U 6 G g ¢ ¡ o£I o £ 8 ' a s n 8 e 4 7 6 g ¢ ¡ ¤ £ 8 ' a s a 4 7 6 G g ¢ ¡ o£ 8 ' a s g B A 6 s g $  ... 
doi:10.1093/logcom/9.6.835 fatcat:iiu4frbqdjd4rf4p2cc6jvot3e

Dynamic Slicing for Android

Tanzirul Azim, Arash Alavi, Iulian Neamtiu, Rajiv Gupta
2019 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)  
Dynamic program slicing is useful for a variety of tasks, from testing to debugging to security.  ...  Slicing mobile, event-based systems is challenging due to their asynchronous callback construction and the IPC (interprocess communication)heavy, sensor-driven, timing-sensitive nature of the platform.  ...  Program slicing. Dynamic program slicing, a class of dynamic analysis, was introduced by Korel and Laski [4] .  ... 
doi:10.1109/icse.2019.00118 dblp:conf/icse/AzimAN019 fatcat:hnehpiic7zfgrfdy47iso3k3py

Combining dynamic and static slicing for analysing assembler

Martin Ward, Hussein Zedan
2010 Science of Computer Programming  
One technique we discuss in detail is to combine a simple dynamic slice, computed with virtually no overhead, and a static slice implemented using program transformation technology, to generate very concise  ...  The challenge for automated assembler analysis The technical difficulty of generating a high-level abstract description of assembler code should not be underestimated.  ...  This mathematical approach to program slicing lends itself naturally to several generalisations, the most important and general of which is conditioned semantic slicing.  ... 
doi:10.1016/j.scico.2009.11.001 fatcat:zmajivb3cnf4zmhdxox5mucbku

Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing

Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky
2014 ACM Transactions on Software Engineering and Methodology  
At the heart of this framework is a generalized form of runtime dependence graph computed by abstract dynamic slicing, a semantics-aware technique that achieves high scalability by performing dynamic slicing  ...  This article presents a general framework for designing and implementing scalable analysis algorithms to find causes of bloat in Java programs.  ...  Based on a dynamic data dependence graph inferred from the trace, a slicing algorithm is executed. Let I be the domain of static instructions and N be the domain of natural numbers.  ... 
doi:10.1145/2560047 fatcat:t7lw7nvhf5cc7aknt64wutokpu

Dynamic slicing on Java bytecode traces

Tao Wang, Abhik Roychoudhury
2008 ACM Transactions on Programming Languages and Systems  
Dynamic slicing is a well-known technique for program analysis, debugging and understanding.  ...  This compact trace should be generated on-the-fly during program execution. Our method proceeds by on-the-fly construction of a compact bytecode trace during pro-  ...  Thus, in each row of a trace table we store several sequences in general; these sequences are stored in a compressed format.  ... 
doi:10.1145/1330017.1330021 fatcat:omzoc3dicnc3he5bn3yugu72uu

On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance

Siyuan Jiang, Raul Santelices, Mark Grechanik, Haipeng Cai
2014 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation  
Dynamic slicing is a practical and popular analysis technique used in various software-engineering tasks.  ...  Our approach uses sensitivity analysis and execution differencing to find a subset of all program statements that truly depend at runtime on another statement.  ...  Dynamic slicing, in contrast, produces slices that are unsafe because the analysis is based on selected executions and, thus, many semantic dependencies may be missed.  ... 
doi:10.1109/scam.2014.23 dblp:conf/scam/JiangSGC14 fatcat:pcrd4i5robdp7lyf55jd7iuxhu

ORBS: language-independent program slicing

David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, Shin Yoo
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
The resulting slice is similar to a dynamic slice.  ...  Observation-Based Slicing (ORBS) is a language-independent slicing technique capable of slicing multilanguage systems, including systems which contain (third party) binary components.  ...  They use a static analysis for the Java source code and link the identifier between different languages based on framework semantics with a hand-crafted linker.  ... 
doi:10.1145/2635868.2635893 dblp:conf/sigsoft/BinkleyGHIKY14 fatcat:ojwbfkppmzguzklqe7hftz7tvm

Literature Analysis on Model based Slicing

Rupinder Singh, Vinay Arora
2013 International Journal of Computer Applications  
This literature analysis presents an overview of Model based slicing, including the various general approaches and techniques used to compute slices.  ...  One way to ease this is program slicing technique that decomposes the large programs into smaller ones and another is model based slicing that decomposes the large software architecture model into smaller  ...  [16] presented a methodology to generate dynamic slices and test cases with the help of UML sequence diagram.  ... 
doi:10.5120/12155-8185 fatcat:grjopbfjkja47ajvtdhryhleia

Managing software evolution through semantic history slicing

Yi Li
2017 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Managing Software Evolution Through Semantic History Slicing Software change histories are results of incremental updates made by developers.  ...  However, traditional commit-based sequential organization of version histories lacks semantic structure and thus is insufficient for many development tasks that require high-level, semantic understanding  ...  semantic history slices based on change dependency analysis.  ... 
doi:10.1109/ase.2017.8115722 dblp:conf/kbse/Li17 fatcat:zkrpia6wbfdglcxvcv57ladsda

Towards ANSI C Program Slicing using XML

Katsuhiko Gondow, Hayato Kawashima
2002 Electronical Notes in Theoretical Computer Science  
In our preliminary experiment, we had a good result; it took only 0.5 man-month to implement Weiser's slicer based on ACML, whereas it took about 2 man-months to implement an ANSI C parser and static semantics  ...  Although XML has a great potential for such data interchange formats, we first point out that there are still a lot of challenging problems to be solved.  ...  There are two kinds of constraints in programs: · Constraints on dynamic semantics. For example, a constraint on variable's value such as x>0 is typical.  ... 
doi:10.1016/s1571-0661(04)80425-0 fatcat:7nnul2tbhfdavgq5hlc2hi4kra

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing [chapter]

Valérie Gouranton
1998 Lecture Notes in Computer Science  
Deriving analysers by folding/unfolding of natural semantics and a case study: slicing 3  ...  We consider speci cations of analysers expressed as compositions of two functions: a semantic function, which returns a natural semantics derivation tree, and a property de ned by recurrence on derivation  ...  Pushing our approach ever further we arrive at a natural semantics format and a format for slicing, as presented in 11]. We have shown the correctness of the slicing property format.  ... 
doi:10.1007/3-540-49727-7_7 fatcat:xuzmo5gddjgdljrhqwtcwim72y

Slicing for uppaal

Claus Thrane, Uffe Sørensen
2008 2008 Annual IEEE Student Paper Conference  
The focus of this thesis is to introduce slicing for Uppaal [9] . Slicing is a technique based on static analysis used to reduce the syntactic size of models or applications.  ...  Using automated slicing in Uppaal will eliminate the need for users to manually optimize models for faster verification of a certain property.  ...  Contents Conclusion The goal of this thesis has been to research program slicing based on static analysis in order to obtain a syntactic reduction of Uppaal models.  ... 
doi:10.1109/aispc.2008.4460546 fatcat:qam4k3uhqzdldlqmvabe5t3fc4

'Living Book' :- 'Deduction', 'Slicing', 'Interaction' [chapter]

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Alex Sinner
2003 Lecture Notes in Computer Science  
The task of the KMS is to assemble new documents from a database of elementary units called 'slices' (definitions, theorems, and so on) in a scenario-based way (like 'I want to prepare for an exam and  ...  The computation of such assemblies is carried out by a model-generating theorem prover for first-order logic with a default negation principle.  ...  Based on an explicit representation of the structure of the concepts in the domain of interest and a user model [39] and [29] dynamically generates instructional courses.  ... 
doi:10.1007/978-3-540-45085-6_23 fatcat:jyjaaobhvne7vgxte4agfh2j7e

Program Slicing Techniques and its Applications

N Sasirekha, A Edwin Robert, M Hemalatha
2011 International Journal of Software Engineering & Applications  
This paper focuses on the various slicing techniques (not limited to) like static slicing, quasi static slicing, dynamic slicing and conditional slicing.  ...  This paper also includes various methods in performing the slicing like forward slicing, backward slicing, syntactic slicing and semantic slicing.  ...  INTRODUCTION One of the program analysis techniques is program slicing.  ... 
doi:10.5121/ijsea.2011.2304 fatcat:ui7emhzff5d4nkd2nlbmnndkom

Safe Concurrency Introduction through Slicing

Huiqing Li, Simon Thompson
2015 Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15  
In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible  ...  Kamkar et al. propose a tracing-based algorithm for distributed dynamic slicing on parallel and distributed messagepassing based applications.  ...  Static program slicing is generally based on program dependency analyses including both control dependency and data dependency.  ... 
doi:10.1145/2678015.2682533 dblp:conf/pepm/LiT15 fatcat:jswfb3temjc5bpddfgwcfgbhay
« Previous Showing results 1 — 15 out of 12,807 results