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

Showing 1 - 20 of 478

1

Practical multiverse debugging through user-defined reductions
Pasquier, Matthias ; Teodorov, Ciprian ; Jouault, Frédéric ; et al.
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. :87-97

Montreal Quebec Canada,... Abstracting Program debugging Unified Modeling Languag... [INFO.INFO-SE]Computer S... Software Engineering [cs...
Conference
Save to List
2

Pearce's Characterisation in an Epistemic Domain
Su, Ezgi Iraz
Electronic Proceedings in Theoretical Computer Science. 416:201-214

Programming problem FOS: Computer and inform... Computer Science - Logic... Literals Computer Science - Progr... Computer Science - Artif...
Academic journal
Save to List
3

The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking
Justyna Petke ; Matias Martinez ; Maria Kechagia ; et al.
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

Automation Evaluation strategies Àrees temàtiques de la U... Empirical studies Over fitting problem Repair techniques
Academic journal
Save to List
4

Automation of Debugging Parallel Programs in the DVM System
Bakhtin, V. A.
Mathematical Models and Computer Simulations. 16(Suppl 2):S171-S180

Academic journal
Save to List
5

Visualization Method for Data Structure Evolution in Program Debugging
SU Qing, CHEN Jiancheng, GU Guosheng, LIU Dongning, HUANG Jianfeng
Jisuanji gongcheng, Vol 50, Iss 9, Pp 197-207 (2024)

program debugging data structure visualiza... component evolution beha... finite state machine data structure evolution... Computer engineering. Co...
Academic journal
Save to List
6

MultiDimEr: a multi-dimensional bug analyzEr
Silva, Lakmal ; Unterkalmsteiner, Michael ; Wnuk, Krzysztof
Proceedings of the International Conference on Technical Debt. :66-70

Fault slips Software development org... Bug reports Bug visualization Programvaruteknik Tool support
Academic journal
Save to List
7

Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs
Zhao, Pengzhan ; Miao, Zhongtao ; Lan, Shuhan ; et al.
In The Journal of Systems & Software November 2023 205

Academic journal
Save to List
8

Failure Transparency in Stateful Dataflow Systems
Veresov, Aleksey ; Spenger, Jonas ; Carbone, Paris ; et al.

Datavetenskap (datalogi) checkpoint recovery Network security Program debugging Checkpoint recovery Complex failure
Conference
Save to List
9

Software multi-fault localization via Chameleon clustering in parallel
Cao, Heling ; Chu, Yonghe ; Zhao, Chenyang ; et al.
In Journal of King Saud University - Computer and Information Sciences September 2023 35(8)

Academic journal
Save to List
10

Software Log Classification in Telecommunication Industry
Ülkü, Onur ; Gözüacik, Necip ; Tanberk, Senem ; et al.
2021 6th International Conference on Computer Science and Engineering (UBMK). :348-353

Support vector machines Log analysis Software logs Classification (of infor... 9. Industry and infrastr... Decision trees
Academic journal
Save to List
11

Estimating Efforts for Various Activities in Agile Software Development: An Empirical Study
Lan Cao
IEEE Access, Vol 10, Pp 83311-83321 (2022)

bug-fixing effort estima... Software development man... Bug-fixing effort estima... 02 engineering and techn... Refactoring effort estim... Software prototyping
Academic journal
Save to List
12

Assessing Security of Software Components for Internet of Things: A Systematic Review and Future Directions
Zitian Liao ; Shah Nazir ; Habib Ullah Khan ; et al.
Security and Communication Networks. 2021:1-22

IoT 0202 electrical engineer... 02 engineering and techn... Program debugging reusable software part 3. Good health
Academic journal
Save to List
13

Localizer: A Visual Debugging Assistant for Python Programs
Khan, Shehroz ; Sudheerbabu, Gaadha ; Truscan, Dragos ; et al.
Khan, S, Sudheerbabu, G, Truscan, D & Ahmad, T 2024, Localizer: A Visual Debugging Assistant for Python Programs. in E G Boix & C Scholliers (eds), DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with : ISSTA 2024. DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024, ACM, New York, NY, USA, pp. 34–35, ACM International Workshop on Future Debugging Techniques, 19/09/24. https://doi.org/10.1145/3678720.3685321

Spectrum-based fault loc... dynamic analysis program debugging program slicing program spectra
Academic journal
Save to List
14

Fuzzing Binaries for Memory Safety Errors with QASan
Fioraldi A. ; Delia D. C. ; Querzoni L.
2020 IEEE Secure Development (SecDev). :23-30

0202 electrical engineer... 02 engineering and techn... fuzzy set theory program debugging program diagnostics program testing
Academic journal
Save to List
15

REDUSHARPTOR: A TOOL TO SIMPLIFY DEVELOPER-WRITTEN C# UNIT TESTS
Weber1, David

program debugging, softw...
Academic journal
Save to List
16

Debug-localize-repair: a symbiotic construction for heap manipulations
Verma, Sahil ; Roy, Subhajit
Formal Methods in System Design: An International Journal. :1-41

Academic journal
Save to List
17

Multiple fault localization of software programs: A systematic literature review
Zakari, Abubakar ; Lee, Sai Peck ; Abreu, Rui ; et al.
In Information and Software Technology August 2020 124

Academic journal
Save to List
18

Towards a Testing Framework with Visual Feedback for Actor-Based Systems
Sozer, Hasan ; Gurler, Ozan ; Yilmaz, Orhan ; et al.
2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). :438-445

Scheduling 0202 electrical engineer... Test automation 0102 computer and inform... 02 engineering and techn... Actor model
Academic journal
Save to List
19

Auction‐based serious game for bug tracking
Çağdaş Üsfekes ; Eray Tüzün ; Murat Yılmaz ; et al.
IET Software

Software engineering Public domain software Project management Computer games Software development man... 0202 electrical engineer...
Academic journal
Save to List
20

A single fault localization technique based on failed test input
Zakari, Abubakar ; Lee, Sai Peck ; Hashem, Ibrahim Abaker Targio
In Array September-December 2019 3-4

Academic journal
Save to List

Filter