• Suche: Automated and Algorithmic Debugging

Treffer 1 - 20 von 233

1

Automated and algorithmic debugging and program repair [IDEAR 2019 Workshop Keynote]
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Software Reliability Engineering Workshops (ISSREW), 2019 IEEE International Symposium on. :45-45 Oct, 2019

Konferenz
Zur Merkliste hinzufügen
2

Generalized algorithmic debugging and testing
Fritzson, Peter ; Shahmehri, Nahid ; Kamkar, Mariam ; et al.
ACM Letters on Programming Languages and Systems (LOPLAS). 1(4):303-322

Fachzeitschrift
Zur Merkliste hinzufügen
3

Automatic diagnosis of VLSI digital circuits using algorithmic debugging
Kuchcinski, Kizysztof ; Drabent, Wlodzimierz ; Maluszynski, Jan ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:350-367

E-Book
Zur Merkliste hinzufügen
4

Lazy algorithmic debugging: Ideas for practical implementation
Nilsson, Henrik ; Fritzson, Peter ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:117-134

E-Book
Zur Merkliste hinzufügen
5

The application of formal specifications to software documentation and debugging
Goyal, Anoop ; Sankar, Sriram ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:333-349

E-Book
Zur Merkliste hinzufügen
6

Graphical user interfaces for algorithmic debugging
Westman, Rickard ; Fritzson, Peter ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:273-286

E-Book
Zur Merkliste hinzufügen
7

A pragmatic survey of automated debugging
Ducassé, Mireille ; Goos, Gerhard, editor ; Hartmanis, Juris, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:1-15

E-Book
Zur Merkliste hinzufügen
8

Usability criteria for automated debugging systems
Shahmehri, Nahid ; Kamkar, Mariam ; Fritzson, Peter ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:16-39

E-Book
Zur Merkliste hinzufügen
9

Trace-based debugging
Reiss, Steven P. ; Goos, Gerhard, editor ; Hartmanis, Juris, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:305-314

E-Book
Zur Merkliste hinzufügen
10

Towards a plan calculus based intelligent debugging system
Lutz, Rudi ; Goos, Gerhard, editor ; Hartmanis, Juris, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:287-304

E-Book
Zur Merkliste hinzufügen
11

A generalised query minimisation for program debugging
Hirunkitti, Visit ; Hogger, Christopher J. ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:153-170

E-Book
Zur Merkliste hinzufügen
12

Declarative debugging of abstract data types in Gödel
Binks, Dominic ; Goos, Gerhard, editor ; Hartmanis, Juris, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:188-205

E-Book
Zur Merkliste hinzufügen
13

Debugging by diagnosing assumptions
Pereira, Luís Moniz ; Damásio, Carlos Viegas ; Alferes, José Júlio ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:58-74

E-Book
Zur Merkliste hinzufügen
14

Towards declarative debugging of concurrent constraint programs
Fromherz, Markus P. J. ; Goos, Gerhard, editor ; Hartmanis, Juris, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:88-100

E-Book
Zur Merkliste hinzufügen
15

Debugging logic programs using specifications
Lee, Yuh-jeng ; Dershowitz, Nachum ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:75-84

E-Book
Zur Merkliste hinzufügen
16

Visualization as debugging: Understanding/debugging the Warren Abstract Machine
García-Martín, Julio ; Moreno-Navarro, Juan José ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:255-272

E-Book
Zur Merkliste hinzufügen
17

Identifying faulty modifications in software maintenance
Korel, Bogdan ; Goos, Gerhard, editor ; Hartmanis, Juris, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:315-332

E-Book
Zur Merkliste hinzufügen
18

Hierarchy in testing distributed programs
Alagar, Sridhar ; Venkatesan, S. ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:101-116

E-Book
Zur Merkliste hinzufügen
19

The location of errors in functional programs
Hazan, Jonathan E. ; Morgan, Richard G. ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:135-152

E-Book
Zur Merkliste hinzufügen
20

What's in a trace: The box model revisited
Tobermann, Gerhard ; Beckstein, Clemens ; Goos, Gerhard, editor ; et al.
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:171-187

E-Book
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter