[go: up one dir, main page]

Binkley et al., 2017 - Google Patents

Tree-oriented vs. line-oriented observation-based slicing

Binkley et al., 2017

View PDF
Document ID
5177827099592194761
Author
Binkley D
Gold N
Islam S
Krinke J
Yoo S
Publication year
Publication venue
2017 IEEE 17th international working conference on source code analysis and manipulation (SCAM)

External Links

Snippet

Observation-based slicing is a recently-introduced, language-independent slicing technique based on the dependencies observable from program behavior. The original algorithm processed traditional source code at the line-of-text level. A recent variation was developed …
Continue reading at discovery.ucl.ac.uk (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking
    • G06F8/437—Type checking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/71—Version control; Configuration management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/51—Source to source
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G06F8/65—Update
    • G06F8/68—Incremental; Differential
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass

Similar Documents

Publication Publication Date Title
Chen et al. Towards monitoring-oriented programming: A paradigm combining specification and implementation
Gazzillo et al. SuperC: Parsing all of C by taming the preprocessor
US8015543B1 (en) Hardware specific code generation
Evans et al. Clone detection via structural abstraction
US9128728B2 (en) Locating security vulnerabilities in source code
Eichner et al. Compositional semantics for UML 2.0 sequence diagrams using Petri Nets
Binkley et al. Tree-oriented vs. line-oriented observation-based slicing
Grigore et al. Runtime verification based on register automata
Patra et al. Learning to fuzz: Application-independent fuzz testing with probabilistic, generative models of input data
US7240338B1 (en) Computer language translation system and method of converting procedural computer language software to object-oriented computer language software
US6499132B1 (en) System and method for analyzing temporal expressions
Kuncak et al. Modular pluggable analyses for data structure consistency
Binkley et al. A comparison of tree-and line-oriented observational slicing
US6920583B1 (en) System and method for compiling temporal expressions
Brada et al. Practical verification of component substitutability using subtype relation
US20070006176A1 (en) Source code replacement via dynamic build analysis and command interception
Elkarablieh et al. Starc: static analysis for efficient repair of complex data
Schreiner The RISC Algorithm Language (RISCAL)
Rinard et al. Active learning for inference and regeneration of computer programs that store and retrieve data
Mieg From symbolic verification to domain specific languages
Rodrigues et al. Aspect-oriented WebAssembly transformation
Georgescu et al. Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Lööw et al. Matching plans for frame inference in compositional reasoning
Demsky et al. Automatic extraction of heap reference properties in object-oriented programs
Chen et al. Monitoring-oriented programming: A tool-supported methodology for higher quality object-oriented software