Showing 61 - 80 of 233

61

Using assertions in declarative and operational models for automated debugging
Fritzson, Peter ; Auguston, Mikhail ; Shahmehri, Nahid ; et al.

Electronic Resource
62

AGSICP : An Automated Grading System for the Instruction of Cobol Programming
Aaronson, Norman M.
Proceedings of the ACM annual conference. :428-429

Conference
63

Continuous Integration in Distributed Applied Software Packages
Feoktistov, A.G. ; Gorsky, S.A. ; Sidorov, I.A. ; et al.
2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2019 42nd International Convention on. :1531-1536 May, 2019

Conference
64

Understanding Understanding: How Do We Reason About Computational Logic?
Ahmad, Hammad

computational logic cognition transcranial magnetic st... eye-tracking automated hardware repai...
Dissertation/ Thesis
65

Using Assertions in Declarative and Operational Models for Automated Debugging
Fritzson, Peter ; Auguston, Mikhail ; Shahmehri, Nahid ; et al.

Electronic Resource
66

The Efficient Debugging System for Locating Logical Errors in Java Programs
Kouh, Hoon-Joon ; Yoo, Weon-Hee ; Goos, Gerhard ; et al.
Computational Science and Its Applications — ICCSA 2003 : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part I. 2667:684-693

eBook
67

Automated Debugging for Synchronization Bugs
Dehbashi, Mehdi ; Fey, Görschwin ; Dehbashi, Mehdi ; et al.
Debug Automation from Pre-Silicon to Post-Silicon. :63-76

eBook
68

Hardware/software optimization for array & pointer boundary checking against buffer overflow attacks
ZILI SHAO ; JIANNONG CAO ; CHAN, Keith C. C ; et al.
Security in grids and distributed systemsJournal of parallel and distributed computing (Print). 66(9):1129-1136

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Academic journal
69

Step-wise + algorithmic debugging for reactive programs: LuDiC, a debugger for lustre
MARANINCHI, Florence ; GAUCHER, Fabien
AADEBUG 2000 : fourth international workshop on automated debugging (Munich, 28-30 August 2000 ). :116-131

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
70

Generalized Systematic Debugging for Attribute Grammars
Sasaki, A. ; Sassa, M.

Software Engineering (cs... FOS: Computer and inform... Computer Science - Softw... D.2.5 0202 electrical engineer... 0102 computer and inform...
Academic journal
71

Systematic Debugging of Attribute Grammars
Ikezoe, Y. ; Sasaki, A. ; Ohshima, Y. ; et al.

Software Engineering (cs... FOS: Computer and inform... Computer Science - Softw... D.2.5 0202 electrical engineer... 0102 computer and inform...
Academic journal
72

Logic Programming Environments: Dynamic Program Analysis and Debugging
Ducassé, Mireille ; Noyé, Jacques ; Inria, Rapport De Recherche

[INFO.INFO-OH] Computer... PROGRAMMING ENVIRONMENTS DEBUGGING LOGIC PROGRAMMING PROGRAM ANALYSIS SURVEY ARTICLE
Report
73

Towards declarative diagnosis of constraint programs over finite domains
Ferrand, Gerard ; Lesaint, Willy ; Tessier, Alexandre ; et al.

Electronic Resource
76

Automated Program Recognition: A Proposal
Zelinka, Linda M. ; Zelinka, Linda M.

Electronic Resource
77

The effect of hoisting on variants of Hierarchical Delta Debugging.
Vince, Dániel ; Hodován, Renáta ; Bársony, Daniella ; et al.
Journal of Software: Evolution & Process; Nov2022, Vol. 34 Issue 11, p1-26, 26p

SARS-CoV-2 Delta variant DEBUGGING
Academic journal
78

A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each.
Goues, Claire Le ; Dewey-Vogt, Michael ; Forrest, Stephanie ; et al.
ICSE: International Conference on Software Engineering; Feb2012, p3-13, 11p

DEBUGGING COMPUTER system failures COMPUTER programming man... CLOUD computing SOFTWARE maintenance VIRTUAL machine systems
Conference
79

Symbolic Execution of Network Software Based on Unit Testing
Lin, Zhou ; Fei, Liu ; Shuitao, Gan ; et al.
2014 9th IEEE International Conference on Networking, Architecture, and Storage Networking, Architecture, and Storage (NAS), 2014 9th IEEE International Conference on. :128-132 Aug, 2014

Conference
80

Transpiler-Based Architecture Design Model for Back-End Layers in Software Development.
Bastidas Fuertes, Andrés ; Pérez, María ; Meza, Jaime
Applied Sciences (2076-3417); Oct2023, Vol. 13 Issue 20, p11371, 49p

ARCHITECTURAL design COMPUTER software develo... SOFTWARE architecture PROGRAMMING languages SOURCE code DESIGN software
Academic journal

Filter