Methods and Tools for Practical Software Testing and Maintenance

Συγγραφείς: Saieva, Anthony

Θεματικοί όροι: Computer software--Security measures, Debugging in computer science--Computer programs, Computer security--Computer programs, Computer science

Improving the automatic runtime monitor generation process via pruning : a way forward

Συγγραφείς: Chircop, Luke, Colombo, Christian, Micallef, Mark, Francalanza, Adrian, Pace, Gordon J., Computer Science Annual Workshop CSAW’16

Θεματικοί όροι: Computer software -- Testing -- Automation, Debugging in computer science -- Computer programs, Computer software -- Verification, Computer software -- Standards

Relation: https://www.um.edu.mt/library/oar/handle/123456789/94418

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/94418

Complaint Driven Training Data Debugging for Machine Learning Workflows

Συγγραφείς: Flokas, Lampros

Θεματικοί όροι: Debugging in computer science--Computer programs, Machine learning, Computer science

User-Centric Study and Enhancement of Python Static Code Analysers : Advancing Pylint Functionality within Visual Studio Code

Συγγραφείς: Chen, Steven

Συνεισφορές: Pérez González, Juan Jesús, Söderberg, Emma, McCabe, Alan, Universitat Politècnica de Catalunya. Departament de Ciència i Enginyeria de Materials, Lunds universitet

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: Visual Studio Code, Pylint, usability challenges, Depuració (Informàtica) -- Programes d'ordinador, Python (Computer program language), Computer programs -- Correctness -- Software -- Design and construction, code analysis, Python (Llenguatge de programació), Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Python, Debugging in computer science -- Computer programs, Programes d'ordinador -- Correcció -- Programari -- Disseny i construcció, Python

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2117/397139

Utilizing Runtime Information for Accurate Root Cause Identification in Performance Diagnosis

Συγγραφείς: Weng, Lingmei

Θεματικοί όροι: Debugging in computer science--Computer programs, Computer software--Evaluation, Computer science

A Sparse Learning Approach for Linux Kernel Data Race Prediction

Συγγραφείς: Ryan, Gabriel

Θεματικοί όροι: Debugging in computer science--Computer programs, Operating systems (Computers), Linux, Machine learning, Threads (Computer programs), Computer science, Fourier analysis

User-Centric Study and Enhancement of Python Static Code Analysers : Advancing Pylint Functionality within Visual Studio Code ; Användarcentrerad Studie och Förbättring av Python Statiska Kodanalysatorer

Συγγραφείς: Chen, Steven

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Ciència i Enginyeria de Materials, Lunds universitet, Pérez González, Juan Jesús, Söderberg, Emma, McCabe, Alan

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Python, Computer programs -- Correctness -- Software -- Design and construction, Debugging in computer science -- Computer programs, Python (Computer program language), code analysis, Python, Visual Studio Code, usability challenges, Pylint, Programes d'ordinador -- Correcció -- Programari -- Disseny i construcció, Depuració (Informàtica) -- Programes d'ordinador, Python (Llenguatge de programació)

Περιγραφή αρχείου: application/pdf

Relation: http://hdl.handle.net/2117/397139

Διαθεσιμότητα: http://hdl.handle.net/2117/397139

Python Debugging for AI, Machine Learning, and Cloud Computing

Συγγραφείς: Dmitry Vostokov

Resource Type: eBook.

Θέματα: Debugging in computer science--Computer programs, Machine learning--Computer simulation, Python (Computer program language)

Categories: COMPUTERS / Languages / Python, COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Probability & Statistics / General, COMPUTERS / Distributed Systems / Cloud Computing

Hardware assisted memory checkpointing and applications in debugging and reliability

Συγγραφείς: Doudalis, Ioannis

Θεματικοί όροι: Memory checkpointing, Hardware accelerators, Computer systems reliability, Computer architecture, Debugging, Debugging in computer science, Debugging in computer science Computer programs, Memory management (Computer science), Software maintenance

Διαθεσιμότητα: http://hdl.handle.net/1853/42700

Getting Started with Visual Studio 2022

Συγγραφείς: Dirk Strauss

Resource Type: eBook.

Θέματα: Debugging in computer science--Computer programs, Application software--Development

Categories: COMPUTERS / Programming / Microsoft, COMPUTERS / Programming / Compilers, COMPUTERS / Networking / General

Debugging Machine Learning Models with Python : Develop High-performance, Low-bias, and Explainable Machine Learning and Deep Learning Models

Συγγραφείς: Ali Madani

Resource Type: eBook.

Θέματα: Python (Computer program language), Debugging in computer science--Computer programs, Machine learning--Computer simulation

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition

Dynamic state alteration techniques for automatically locating software errors

Συγγραφείς: Jeffrey, Dennis Bernard.

Πηγή: UC access only.

Θεματικοί όροι: University of California, Riverside. Error messages (Computer science) Debugging in computer science. Computer programs

Διαθεσιμότητα: http://proquest.umi.com/pqdweb?index=0&did=1899476671&SrchMode=2&sid=2&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1268336630&clientId=48051

Parikshan: Live Debugging of Production Systems in Isolation

Συγγραφείς: Arora, Nipun, Ivancic, Franjo, Kaiser, Gail E.

Θεματικοί όροι: Service-oriented architecture (Computer science), Computer software, Debugging in computer science--Computer programs, Computer science

Relation: https://doi.org/10.7916/D8B56J6F

Διαθεσιμότητα: https://doi.org/10.7916/D8B56J6F

Linux Kernel Debugging : Leverage Proven Tools and Advanced Techniques to Effectively Debug Linux Kernels and Kernel Modules

Συγγραφείς: Kaiwan N. Billimoria

Resource Type: eBook.

Θέματα: Debugging in computer science--Computer programs, Computer programs--Testing

Categories: COMPUTERS / Programming / Open Source, COMPUTERS / System Administration / Backup & Recovery, COMPUTERS / Operating Systems / Linux

Multiple expert system

Συγγραφείς: Mittal, Umesh Kumar

Πηγή: Theses

Θεματικοί όροι: Expert systems (Computer science), Debugging in computer science -- Computer programs, Computer Sciences

Περιγραφή αρχείου: application/pdf

Relation: https://digitalcommons.njit.edu/theses/2560; https://digitalcommons.njit.edu/context/theses/article/3574/viewcontent/njit_etd1991_159.pdf

Διαθεσιμότητα: https://digitalcommons.njit.edu/theses/2560
https://digitalcommons.njit.edu/context/theses/article/3574/viewcontent/njit_etd1991_159.pdf

SIX12 user's manual

Συγγραφείς: T Lane

Θεματικοί όροι: Other information and computing sciences not elsewhere classified, Debugging in computer science Computer programs, Information and Computing Sciences not elsewhere classified

Relation: https://figshare.com/articles/journal_contribution/SIX12_user_s_manual/6609536

Διαθεσιμότητα: https://doi.org/10.1184/r1/6609536.v1
https://figshare.com/articles/journal_contribution/SIX12_user_s_manual/6609536

Formal verification of object-oriented software using the key project

Συγγραφείς: Rajinder, Nitika

Θεματικοί όροι: Computer science, Object-oriented programming (computer science), Debugging in computer science -- Computer programs, Software engineering, Object-oriented methods (computer science)

Περιγραφή αρχείου: pdf; 2763483 bytes

Relation: http://cdm16771.contentdm.oclc.org/u?/p16771coll2,383

Διαθεσιμότητα: http://cdm16771.contentdm.oclc.org/u?/p16771coll2,383

VHDLによるFPGA設計 & デバッグ

Συγγραφείς: 松村謙

Resource Type: eBook.

Θέματα: Field programmable gate arrays, VHDL (Computer hardware description language), Debugging in computer science--Computer programs

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, COMPUTERS / Logic Design, TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic

The Distributed Application Debugger

Συγγραφείς: Jones, Michael Quinn

Πηγή: UNLV Theses, Dissertations, Professional Papers, and Capstones

Θεματικοί όροι: C# (Computer program language), Debugger, Debugging in computer science – Computer programs, Distributed, MPI, Parallel programs (Computer programs), SSH, TCP, Computer Sciences

Περιγραφή αρχείου: application/pdf

Relation: https://digitalscholarship.unlv.edu/thesesdissertations/1847; https://digitalscholarship.unlv.edu/context/thesesdissertations/article/2848/viewcontent/Jones_unlv_0506M_11339.pdf

Διαθεσιμότητα: https://digitalscholarship.unlv.edu/thesesdissertations/1847
https://doi.org/10.34917/4478266
https://digitalscholarship.unlv.edu/context/thesesdissertations/article/2848/viewcontent/Jones_unlv_0506M_11339.pdf

Using code instrumentation for debugging and constraint checking

Συγγραφείς: Ilas, Filaret

Συνεισφορές: Pilskalns, Orest Jacob

Θεματικοί όροι: Debugging in computer science--Computer programs

Περιγραφή αρχείου: pdf

Relation: 2376/100631; (OCoLC)429235154; 99900525162201842; https://rex.libraries.wsu.edu/view/delivery/01ALLIANCE_WSU/12338018700001842/13338232580001842; alma:01ALLIANCE_WSU/bibs/99900525162201842

Διαθεσιμότητα: https://rex.libraries.wsu.edu/esploro/outputs/graduate/Using-code-instrumentation-for-debugging-and/99900525162201842
https://rex.libraries.wsu.edu/view/delivery/01ALLIANCE_WSU/12338018700001842/13338232580001842