• Suche: "D.2.5 [Software Engineering] Testing and Debugging — Debugging aids"

Treffer 1 - 15 von 15

1

Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel
Bissyandé, Tegawendé F. ; Réveillère, Laurent ; Lawall, Julia L. ; et al.
27th IEEE/ACM International Conference on Automated Software Engineering
https://hal.science/hal-00731064
27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.60-69, ⟨10.1145/2351676.2351686⟩

Essen Germany Diagnosys Debugging Wrappers Linux …
Konferenz
Zu den Favoriten
2

Contract: An Aspect-Oriented Recovery Approach
Henrique Rebêlo ; Roberta Coelho ; Ricardo Lima ; et al.
http://www.eecs.ucf.edu/%7Eleavens/tech-reports/UCF/CS-TR-11-02/TR.pdf.

Verification — Assertion... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
3

Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study
Henrique Rebêlo ; Ricardo Lima ; Gary T. Leavens ; et al.
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-10-01/TR.pdf.

Verification — Assertion... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
4

Using Aspect-Oriented Refactorings
Henrique Rebêlo ; Ricardo Lima ; Márcio Cornélio ; et al.
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-09-05/TR.pdf.

Software/Program Verific... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
5

A contextual interpretation of undefinedness for runtime assertion checking
Gary T. Leavens ; Yoonsik Cheon ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/~cheon/techreport/tr05-10.pdf.

formal methods programming by contract reliability tools validation JML …
Fachzeitschrift
Zu den Favoriten
6

A complete automation of unit testing for Java programs
Yoonsik Cheon ; Myoung Yee Kim ; Ashaveena Perum ; et al.
http://www.cs.utep.edu/~cheon/techreport/tr05-05.pdf.

Software Engineering] So... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
7

Method Call Sequences in JML
Yoonsik Cheon ; Ashaveena Perum ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/~cheon/techreport/tr05-04.pdf.

invariants formal methods programming by contract reliability tools validation …
Fachzeitschrift
Zu den Favoriten
8

Demonstration of JML Tools
Gary T. Leavens ; Yoonsik Cheon ; David R. Cok ; et al.
http://archives.cs.iastate.edu/documents/disk0/00/00/03/71/00000371-00/TR.pdf.

Engineering] Software/Pr... class invari- ants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
9

Lessons from the JML Project
Gary T. Leavens ; Curtis Clifton ; The Pennsylvania State University CiteSeerX Archives
http://www.rose-hulman.edu/~clifton/papers/Leavens-Clifton05a.pdf.

Software/Program Verific... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
10

The JML and JUnit Way of Unit Testing and its Implementation
Yoonsik Cheon ; Gary T. Leavens ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/cheon/data/cheon-leavens04.pdf.

checkers class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
11

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
Yoonsik Cheon ; Gary T. Leavens ; The Pennsylvania State University CiteSeerX Archives
http://archives.cs.iastate.edu/documents/disk0/00/00/02/58/00000258-00/tr01-12.pdf.

Software/Program Verific... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
12

A Runtime Assertion Checker for the Java Modeling Language (JML)
Yoonsik Cheon ; Gary T. Leavens ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.cs.iastate.edu/pub/techreports/TR02-05/TR.pdf

Software/Program Verific... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
13

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
Yoonsik Cheon ; Gary T. Leavens ; The Pennsylvania State University CiteSeerX Archives
http://archives.cs.iastate.edu/documents/disk0/00/00/02/77/00000277-00/tr01-12a.pdf.

Software/Program Verific... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
14

A runtime assertion checker for the Java Modeling Language (JML)
Yoonsik Cheon ; Gary T. Leavens ; The Pennsylvania State University CiteSeerX Archives
http://archives.cs.iastate.edu/documents/disk0/00/00/02/74/00000274-00/jmlrac.pdf.

Software/Program Verific... class invariants formal methods programming by contract reliability tools …
Fachzeitschrift
Zu den Favoriten
15

Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel
Bissyandé, Tegawendé F. ; Réveillère, Laurent ; Lawall, Julia L. ; et al.
27th IEEE/ACM International Conference on Automated Software Engineering
https://hal.archives-ouvertes.fr/hal-00731064
27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.60-69, ⟨10.1145/2351676.2351686⟩

Essen Germany Diagnosys Debugging Wrappers Linux …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter