Treffer 41 - 60 von 233

41

Using assertions in declarative and operational models for automated debugging
Peter Fritzson ; Mikhail Auguston ; Nahid Shahmehri
Journal of Systems and Software. 25:223-239

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
42

Design of an Algorithmic Debugging Technique for Java Language
The KIPS Transactions:PartA. :97-108

0103 physical sciences 0202 electrical engineer... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
43

Automated Debugging in Java Programs Using HDM
Hoon-Joon Kouh ; Weon-Hee Yoo
Lecture Notes in Computer Science ISBN: 9783540401971

Buch
44

Visual and algorithmic tooling for system trace analysis : a case study
De Pauw, Wim ; Heisig, Stephen
ACM SIGOPS Operating Systems Review. 44(1):97-102

Fachzeitschrift
45

Fixing Performance Bugs Through LLM Explanations
Sijwali, Suryansh Singh ; Colom, Angela Marie ; Guo, Anbi ; et al.
2025 IEEE International Conference on Artificial Intelligence Testing (AITest) AITEST Artificial Intelligence Testing (AITest), 2025 IEEE International Conference on. :102-109 Jul, 2025

Konferenz
46

Semi-automatic fault localization and behavior verification for physical system simulation models
Bunus, P. ; Fritzson, P.
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. Automated software engineering Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on. :253-258 2003

Konferenz
47

Lessons learned from using the automated assessment tool “Mooshak”
Rubio-Sanchez, Manuel ; Kinnunen, Paivi ; Pareja-Flores, Cristobal ; et al.
2012 International Symposium on Computers in Education (SIIE) Computers in Education (SIIE), 2012 International Symposium on. :1-6 Oct, 2012

Konferenz
48

Dieses Ergebnis kann Gästen nicht angezeigt werden.

49

Dieses Ergebnis kann Gästen nicht angezeigt werden.

50

Hard-to-detect errors due to the assembly-language environment
Johnson, Lance ; Pheanis, David C. ; Fulton, Ira A.
2007 37th Annual Frontiers In Education Conference - Global Engineering: Knowledge Without Borders, Opportunities Without Passports Frontiers In Education Conference - Global Engineering: Knowledge Without Borders, Opportunities Without Passports, 2007. FIE '07. 37th Annual. :T1E-14-T1E-19 Oct, 2007

Konferenz
51

Generalized Systematic Debugging for Attribute Grammars
Sasaki, Akira ; Sassa, Masataka

Computer Science - Softw... D.2.5
Report
52

Systematic Debugging of Attribute Grammars
Ikezoe, Yohei ; Sasaki, Akira ; Ohshima, Yoshiki ; et al.

Computer Science - Softw... D.2.5
Report
53

Integration of AI in the Realm of Software Development
J, Bhuvana ; Ranjan, Vivek ; Bhaduariya, Nirmednra
2023 International Conference on Advances in Computation, Communication and Information Technology (ICAICCIT) Advances in Computation, Communication and Information Technology (ICAICCIT), 2023 International Conference on. :974-978 Nov, 2023

Konferenz
54

Rtl design flaws revisited: a data-driven study of systematic bug patterns in Verilog code
Meng, Xiankai ; Ji, Xiang ; Zhang, Guangda ; et al.
The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use. 81(14)

Fachzeitschrift
55

Hardware/software optimization for array & pointer boundary checking against buffer overflow attacks
Shao, Zili ; Cao, Jiannong ; Chan, Keith C.C. ; et al.
In Journal of Parallel and Distributed Computing 2006 66(9):1129-1136

Fachzeitschrift
56

Logic programming environments: Dynamic program analysis and debugging
Ducassé, Mireille ; Noyé, Jacques ; Ducassé, Mireille ; et al.
The Journal of Logic Programming. :351-384

ACM: D.: Software/D.3: P... [INFO.INFO-PL]Computer S... Logic [INFO.INFO-SE] Computer... 0202 electrical engineer... [INFO.INFO-SE]Computer S...
Fachzeitschrift
57

An Integrated Automated Layout Generation System for DSP Circuits
Rabaey, J.M. ; Pope, S.P. ; Brodersen, R.W.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 4(3):285-296 Jul, 1985

Fachzeitschrift
58

Declarative debugging in Gödel
Binks, Dominic Frank Julian

005 Automated debugging; Alg...
Dissertation
59

Program reliability through algorithmic design and analysis
Samanta, Roopsha

Automated program repair Automated program debugg... Automated program synthe... Automated synchronizatio... Robustness analysis
Dissertation

Filter