Search Results - "Program Analysis and Debugging"

A lightweight approach for program analysis and debugging

Authors: M. G. Rakesh

Source: Proceedings of the 3rd India software engineering conference. :13-22

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Logic programming environments: Dynamic program analysis and debugging

Authors: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) et al.

Contributors: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) et al.

Source: The Journal of Logic Programming. :351-384

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Logic, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Access URL: https://inria.hal.science/hal-00756832v1

Program Analysis and Debugging

Authors: Kim Hazelwood

Source: Synthesis Lectures on Computer Architecture ISBN: 9783031006043

Logic Programming Environments: Dynamic Program Analysis and Debugging

Authors: Ducassé, Mireille Noyé, Jacques Inria, Rapport De Recherche

Contributors: Ducassé, Mireille Noyé, Jacques Inria, Rapport De Recherche

Subject Terms: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], PROGRAMMING ENVIRONMENTS, DEBUGGING, LOGIC PROGRAMMING, PROGRAM ANALYSIS, SURVEY ARTICLE

File Description: application/pdf

Access URL: https://inria.hal.science/inria-00074067v1

Demand-driven analysis of pointers for software program analysis and debugging

DEMAND-DRIVEN ANALYSIS OF POINTERS FOR SOFTWARE PROGRAM ANALYSIS AND DEBUGGING

Program Analysis and Debugging

Authors: M. R. M. Dunsmuir G. J. Davies

Source: Programming the UNIXTM System ISBN: 9781349073733

CHAPTER 3: Program Analysis and Debugging: 3.1 PROGRAM ANALYSIS EXAMPLES.

Authors: Hazelwood, Kim

Source: Dynamic Binary Modification; 2011, p17-22, 6p

CHAPTER 3: Program Analysis and Debugging: 3.3 DETERMINISTIC REPLAY.

Authors: Hazelwood, Kim

Source: Dynamic Binary Modification; 2011, p23-24, 2p

CHAPTER 3: Program Analysis and Debugging: 3.2 PARALLEL PROGRAM ANALYSIS.

Authors: Hazelwood, Kim

Source: Dynamic Binary Modification; 2011, p22-23, 2p

Desarrollo de una herramienta de escritorio para depuración de programas basada en fragmentación de trazas

Authors: Requena Casares, Cristina Alpuente Frasnedo, María Sapiña Sanchis, Julia et al.

Contributors: Requena Casares, Cristina Alpuente Frasnedo, María Sapiña Sanchis, Julia et al.

Source: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
instname

Subject Terms: Técnicas de transformación de código, Llenguatge de programació, Program Analysis and Debugging, Lenguaje de programación, Grado en Ingeniería Informática-Grau en Enginyeria Informàtica, Reducción de trazas de ejecución mediante técnicas de fragmentación, Formal Methods in Software Engineering, Programming Languages, Mètodes Formals en Enginyeria del Programari, Depuración de programas, Anàlisi i depuració de programes, LENGUAJES Y SISTEMAS INFORMATICOS

File Description: application/pdf

Access URL: https://riunet.upv.es/handle/10251/70846
http://hdl.handle.net/10251/70846

CHAPTER 3: Program Analysis and Debugging: 3.4 CUSTOMIZABLE DEBUGGING.

Authors: Hazelwood, Kim

Source: Dynamic Binary Modification; 2011, p24-24, 1/2p

Intelligent Analysis and Off-Line Debugging of VLSI Device Test Programs.

Authors: Ma, Yuhai Shi, Wanchun

Source: Journal of Electronic Testing; Jun1999, Vol. 14 Issue 3, p273-293, 21p

A Reversible Perspective on Petri Nets and Event Structures.

Authors: Melgratti, Hernán Mezzina, Claudio Antares Pinna, G. Michele

Source: ACM Transactions on Computational Logic; Oct2024, Vol. 25 Issue 4, p1-38, 38p

Behave or be watched: debugging with behavioral watchpoints

Authors: Akshay Kumar Peter Goodman Ashvin Goel et al.

Source: Proceedings of the 9th Workshop on Hot Topics in Dependable Systems. :1-6

Subject Terms: 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation

Authors: Arafa, Pansy Kashif, Hany Fischmeister, Sebastian

Index Terms: Computer Science - Software Engineering, Computer Science - Performance, Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1703.02873

A family of experiments about how developers perceive delayed system response time.

Authors: Cornejo, Oscar Briola, Daniela Micucci, Daniela et al.

Source: Software Quality Journal; Jun2024, Vol. 32 Issue 2, p567-605, 39p

Subject Terms: COMPUTER science students, SYSTEMS software, USER experience

Debugging With Behavioral Watchpoints Akshay Kumar

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.eecg.toronto.edu/~ashvin/publications/thesis-akshay.pdf.

Subject Terms: Contents

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.4134

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.4134
http://www.eecg.toronto.edu/~ashvin/publications/thesis-akshay.pdf

Dynamic Binary Modification : Tools, Techniques and Applications

Authors: Kim Hazelwood

Resource Type: eBook.

Subjects: Microprocessors, Computer architecture

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture

User-centered Program Analysis Tools

Authors: Khoo, Yit Phang

Index Terms: Computer science, Code visualization, Debugging, Lazy data structures, Program analysis, Symbolic execution, Time-travel, Dissertation

URL: http://hdl.handle.net/1903/14585