Service restrictions from February 12-22, 2026—more information on the University Library website

Showing 161 - 180 of 478

161

TacoPlug: An eclipse plug-in for TACO
Chicote, M. ; Galeotti, J.P.

bounded verification Eclipse plug-in Static analysis TACO Debuggers Eclipse plugin
Conference
Save to List
162

Space efficient data race detection for parallel programs with series-parallel task graphs
Audenaert, Koenraad ; Levrouw, Luk
Proceedings of the third Euromicro workshop on parallel and distributed processing ; ISSN: 1066-6192 ; ISBN: 9780818670312

Technology and Engineeri... synchronisation parallel programming program debugging
Conference
Save to List
163

Good or Bad Committers? A Case Study of Committers' Cautiousness and the Consequences on the Bug Fixing Process in the Eclipse Project
Jongyindee, Anakorn ; 13748 ; Ohira, Masao ; et al.

program debugging public domain software committer cautiousness bug fixing process eclipse project open source software dev...
Save to List
164

Event treatment for program debugging in multi-microprocessor systems
LAZZERINI, BEATRICE ; LOPRIORE, LANFRANCO ; PRETE, COSIMO ANTONIO
Multimicroprocessor Systems 2nd International Symposium (MMPS 87), pp. 32–42, Eisenach, Germany, 07-11/09/1987
info:cnr-pdr/source/autori:Lazzerini B.; Prete C.A.; Lopriore L./congresso_nome:Multimicroprocessor Systems 2nd International Symposium (MMPS 87)/congresso_luogo:Eisenach, Germany/congresso_data:07-11%2F09%2F1987/anno:1987/pagina_da:32/pagina_a:42/intervallo_pagine:32–42

Multi-microprocessor sys... Event treatment Program debugging
Conference
Save to List
165

Predicting Re-opened Bugs: A Case Study on the Eclipse Project
Shihab, Emad ; 13755 ; Ihara, Akinori ; et al.

decision trees program debugging software maintenance eclipse project software maintenance res... team dimension
Save to List
166

Defect Data Analysis Based on Extended Association Rule Mining
Morisaki, Shuji ; 13775 ; Monden, Akito ; et al.

data analysis data mining program debugging program testing statistical analysis defect data analysis
Save to List
167

Practical JFSL verification using TACO
Chicote, M. ; Ciolek, D. ; Galeotti, J.P.

bounded verification eclipse plug-in static analysis TACO test case generation Bounded verifications
Academic journal
Save to List
168

Human-Centred Technology Group
Pablo Romero ; Benedict Du Boulay ; Richard Cox ; et al.
http://www.ppig.org/papers/16th-romero.pdf.

program debugging rich data analysis external representations
Academic journal
Save to List
169

Efficient Debugging with Slicing and Backtracking SERC-TR-80-P
Hiralal Agrawal ; Richard A. Demillo ; Eugene H. Spafford ; et al.
http://www.serc.net/report/tr80p.pdf.

program debugging execution backtracking reverse program executio... program slicing
Academic journal
Save to List
170

Interprocedural slicing using dependence graphs
Susan Horwitz ; Thomas Reps ; David Binkley ; et al.
https://www.cs.purdue.edu/homes/xyzhang/spring07/Papers/p26-horwitz.pdf.

Categories and Subject D... D.3.3 [Programming Langu... Language Constructs- con... procedures functions and subroutines
Academic journal
Save to List
171

Programming Learning: A Hierarchical Model Based Diagnosis Approach*
Wellington R. Pinheiro ; Leliane N. De Barros ; Karina V. Delgado ; et al.
http://www.ime.usp.br/~kvd/publications/documents/icbl-submited.pdf.

Key words ITS Pedagogical Patterns Model Based Diagnosis Program Debugging
Academic journal
Save to List
172

Efficient Debugging with Slicing and Backtracking
Hiralal Agrawal ; Richard A. DeMillo ; Eugene H. Spafford ; et al.
ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR80P.PS.Z

program debugging execution backtracking reverse program executio... program slicing dynamic program slicing
Academic journal
Save to List
173

Efficient Debugging with Slicing and Backtracking SERC-TR-80-P
Hiralal Agrawal ; Richard A. Demillo ; Eugene H. Spafford ; et al.
http://www2.umassd.edu/SWPI/slicing/purdue/TR80P.pdf.

program debugging execution backtracking reverse program executio... program slicing
Academic journal
Save to List
174

Advanced educational parallel DSP system based on TMS320C25 processors
Kurugöllü, F. ; Palaz, Hasan ; Harmancı, Emre ; et al.

Engineering Computer science Parallel debugging Parallel processing Digital signal processin... Computer programming
Academic journal
Save to List
175

This result is not available to guest users.

176

NEATPL - an aid to the debugging of PL/1 programs
Bezrukov, N. N.

Pl/1 Neatpl Specification and verifi... program debugging
Academic journal
Save to List
177

Unification-based approach for knowledge base verification
Polat Faruk, Guvenir H.
Expert Systems

Computer Programming - P... Data Processing - Data T... Expert Systems - Testing Knowledge Acquisition Knowledge Base Errors Knowledge Base Verificat...
Academic journal
Save to List
178

A software based approach for trusted agent execution on malicious host
Hashmi, Sarosh ; Brooke, John
Hashmi, S & Brooke, J 2009, A software based approach for trusted agent execution on malicious host . in Proceedings-12th IEEE International Conference on Computational Science and Engineering, CSE 2009|Proc.-IEEE Int. Conf. Comput. Sci. Eng., CSE . vol. 2, pp. 837-846, 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009, Vancouver, BC, 1/07/09 . https://doi.org/10.1109/CSE.2009.398

multilevel pointer alias... debuggers time complexity computational complexity cryptography software based approach
Save to List
179

Scalable dynamic information flow tracking and its applications
Gupta, R. ; Gupta, Neelam ; Zhang, Xiangyu ; et al.
Gupta, R, Gupta, N, Zhang, X, Jeffrey, D, Nagarajan, V, Tallam, S & Tian, C 2008, Scalable dynamic information flow tracking and its applications . in Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on . pp. 1-5 . https://doi.org/10.1109/IPDPS.2008.4536382

History online dynamic analysis... Information security security program debugging multi-threading
Save to List
180

Matching Control Flow of Program Versions
Nagarajan, V. ; Gupta, R. ; Zhang, Xiangyu ; et al.
Nagarajan, V, Gupta, R, Zhang, X, Madou, M & De Sutter, B 2007, Matching Control Flow of Program Versions . in Software Maintenance, 2007. ICSM 2007. IEEE International Conference on . Institute of Electrical and Electronics Engineers (IEEE), pp. 84-93 . https://doi.org/10.1109/ICSM.2007.4362621

Automatic control History program versions Computer crime aggressive control flow... comprehensive dynamic ma...
Save to List

Filter