• Suche: "Model-based Debugging"

Treffer 1 - 20 von 121

1

Evaluating Models for Model-Based Debugging
Markus Stumptner ; Wolfgang Mayer ; Mayer, Wolfgang Erich ; et al.
2008 23rd IEEE/ACM International Conference on Automated Software Engineering. :128-137

evaluating models simulation and modelling programming languages model-based debugging 0202 electrical engineer... 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
2

Model-Based Debugging using Multiple Abstract Models
Mayer, Wolfgang ; Stumptner, Markus

Computer Science - Softw... Computer Science - Artif... D.2.5
Report
Zu den Favoriten
3

Extended Abstract - Model-Based Debugging of Java Programs
Mateis, Cristinel ; Stumptner, Markus ; Wieland, Dominik ; et al.

Computer Science - Softw... Computer Science - Progr... D.2.5
Report
Zu den Favoriten
4

Learning to program using hierarchical model-based debugging
Leliane Nunes de Barros ; Wellington Ricardo Pinheiro ; Karina Valdivia Delgado
Applied Intelligence. 43:544-563

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences 3. Good health
Fachzeitschrift
Zu den Favoriten
5

Prioritising model-based debugging diagnostic reports
Mayer, Wolfgang Erich ; Abreu, Rui ; Stumptner, Markus ; et al.

simulation and modelling model-based diagnosis programming languages model-based debugging 0202 electrical engineer... 02 engineering and techn... …
Konferenz
Zu den Favoriten
6

Model-Based Debugging of Embedded Software Systems
Michael Uelschen ; Padma Iyenghar ; Juergen Wuebbelmann ; et al.
Embedded Systems ISBN: 9781461422655

Buch
Zu den Favoriten
7

Model based debugging and testing of embedded systems without affecting the runtime behaviour
Arne Noyer ; Michael Spieker ; Padma Iyenghar ; et al.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012). :1-6

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
8

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets
Wolfgang Wieser ; Clemens Mühlbacher ; Sandra Fruhmann ; et al.
2013 13th International Conference on Quality Software. :139-148

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
9

A Fault-model-based Debugging Aid for Data Warehouse Applications.
Peter Struss ; Vikas Shivashankar ; Mohamed Zahoor
ECAI. :419-424

Konferenz
Zu den Favoriten
10

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets.
Manuel Wimmer ; Angelika Kusel ; Johannes Schönböck ; et al.
MoDELS. :727-732

Konferenz
Zu den Favoriten
11

An automated model-based debugging approach
Clay Williams ; Cemal Yilmaz
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :174-183

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
12

Model-Based Debugging – State of the Art And Future Challenges
Markus Stumptner ; Wolfgang Mayer ; Mayer, Wolfgang Erich ; et al.
Electronic Notes in Theoretical Computer Science. 174:61-82

Model-based Reasoning 0202 electrical engineer... model0based reasoning Automated Debugging 02 engineering and techn... automated debugging …
Fachzeitschrift
Zu den Favoriten
13

On the relationship between model-based debugging and program slicing
Franz Wotawa
Artificial Intelligence. 135:125-143

Model-based diagnosis program slicing model-based diagnosis Artificial Intelligence 0202 electrical engineer... Debugging …
Fachzeitschrift
Zu den Favoriten
14

Error traces in model-based debugging of hardware description languages
Bernhard Peischl ; Franz Wotawa
Proceedings of the sixth international symposium on Automated analysis-driven debugging. :43-48

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
15

Abstract Interpretation of Programs for Model-Based Debugging.
Wolfgang Mayer ; Markus Stumptner
IJCAI. :471-476

Konferenz
Zu den Favoriten
16

(OUT-DATED)

Interpretable Machine Le... Model-based Debugging Counterfactual Generatio... Genetic Algorithms (GA) KD-Tree Nearest Neighbor... Counterfactual Explanati... …
Fachzeitschrift
Zu den Favoriten
17

(OUT-DATED)

Interpretable Machine Le... Model-based Debugging Counterfactual Generatio... Genetic Algorithms (GA) KD-Tree Nearest Neighbor... Counterfactual Explanati... …
Fachzeitschrift
Zu den Favoriten
18

Introducing Alias Information into Model-Based Debugging.
Daniel Köb ; Franz Wotawa
ECAI. :833-837

Konferenz
Zu den Favoriten
19

Model-Based Debugging with High-Level Observations.
Wolfgang Mayer ; Markus Stumptner
IIP. :299-309

Konferenz
Zu den Favoriten
20

Model-Based Debugging or How to Diagnose Programs Automatically.
Franz Wotawa ; Markus Stumptner ; Wolfgang Mayer
IEA/AIE. :746-757

Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter