Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: Checking Java programs

Treffer 21 - 40 von 3.938

21

Checking Java Programs via Guarded Commands.
K. Rustan M. Leino ; James B. Saxe ; Raymie Stata
ECOOP Workshops. :110-111

Konferenz
Zu den Favoriten
22

Bandera: a source-level interface for model checking Java programs
J.C. Corbett ; M.B. Dwyer ; J. Hatcliff
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

Fachzeitschrift
Zu den Favoriten
23

Model Checking JAVA Programs Using Java Pathfinder
Havelund, Klaus ; Pressburger, Thomas

Computer Programming And...
Report
Zu den Favoriten
24

Using Runtime Analysis to Guide Model Checking of Java Programs
Havelund, Klaus ; Norvig, Peter

Computer Programming And...
Report
Zu den Favoriten
25

Optimizing array reference checking in Java programs.
Midkiff, Samuel R. ; Snir, Marc ; Moreira, J. E.
IBM Systems Journal. 1998, Vol. 37 Issue 3, p409. 45p. 37 Charts.

PROGRAMMING languages JAVA programming languag...
Fachzeitschrift
Zu den Favoriten
26

Model checking Java programs.
David L. Dill
FMSP. :1-1

Konferenz
Zu den Favoriten
27

Validating Traces of Distributed Programs Against TLA+ Specifications
Cirstea, Horatiu ; Kuppe, Markus, A ; Loillier, Benjamin ; et al.
Software Engineering and Formal Methods. :126-143

Aveiro, Portugal [INFO.INFO-SE]Computer S... Software Engineering [cs... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
28

Model checking Java programs (abstract only).
David L. Dill
ISSTA. :179-179

Konferenz
Zu den Favoriten
29

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking.
Zaiyu Cheng ; Tong Wu 0028 ; Peter Schrammel ; et al.
ISSTA. :1831-1835

Konferenz
Zu den Favoriten
30

Bandera: A Source-level Interface for Model Checking Java Programs
James C. Corbett ; Matthew B. Dwyer ; John Hatcliff ; et al.
http://www.cis.ksu.edu/~hatcliff/Papers/banderademo.ps.gz.

model checking program analysis debugging and
Fachzeitschrift
Zu den Favoriten
31

A JPSL Based Model Checking Approach for Java Programs.
Xinfeng Shu ; Yanlin Li ; Weiran Gao
SOFL+MSVL. :30-49

Konferenz
Zu den Favoriten
32

Heuristic model checking for java programs
GROCE, Alex ; VISSER, Willem
Model checking software (Grenoble, 11-13 April 2002)Lecture notes in computer science. :242-245

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
33

A class loading sensitive approach to detection of runtime type errors in component-based Java programs
Zhang, Wenbo ; Zhou, Xiaowei ; Zhang, Jianhua ; et al.
In Information and Software Technology September 2014 56(9):1076-1085

Fachzeitschrift
Zu den Favoriten
34

Experience Report: Verifying MPI Java Programs Using Software Model Checking.
Muhammad Sohaib Ayub ; Waqas ur Rehman ; Junaid Haroon Siddiqui
ISSRE. :294-304

Konferenz
Zu den Favoriten
35

Run-Time Checking Multi-threaded Java Programs.
Frank S. de Boer ; Stijn de Gouw
SOFSEM. :217-228

Konferenz
Zu den Favoriten
36

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study.
Stijn de Gouw ; Frank S. de Boer ; Einar Broch Johnsen ; et al.
SAC. :1573-1578

Konferenz
Zu den Favoriten
37

Dieses Ergebnis kann Gästen nicht angezeigt werden.

38

Dieses Ergebnis kann Gästen nicht angezeigt werden.

39

On Verifying Distributed Multithreaded Java Programs
Chen, Jessica
Software Quality Journal. December 1999 8(4):321-341

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

Filter