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

Treffer 1 - 20 von 3.938

1

Heuristics for model checking Java programs : Algorithmics of software model checking
GROCE, Alex ; VISSER, Willem
International journal on software tools for technology transfer (Print). 6(4):260-276

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

Model checking JAVA programs using JAVA PathFinder
Klaus Havelund ; Thomas Pressburger
International Journal on Software Tools for Technology Transfer (STTT). 2:366-381

program verification Specification and verifi... Spin concurrent programming Theory of programming la... deadlocks …
Fachzeitschrift
Zu den Favoriten
3

Model Checking Java Programs with JPS
Proceedings of WCSE 2022 Spring Event: 2022 9th International Conference on Industrial Engineering and Applications.

Fachzeitschrift
Zu den Favoriten
4

Model Checking Java Programs with MSVL.
Xinfeng Shu ; Na Luo ; Bo Wang ; et al.
SOFL+MSVL. :89-107

Konferenz
Zu den Favoriten
5

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Chen, Feng ; d'Amorim, Marcelo ; Roşu, Grigore
In Electronic Notes in Theoretical Computer Science 26 May 2006 144(4):3-20

Fachzeitschrift
Zu den Favoriten
6

Slicing Event Spaces: Towards a Java Programs Checking Framework
Cataño, Néstor
In Electronic Notes in Theoretical Computer Science August 2003 80:59-74

Fachzeitschrift
Zu den Favoriten
7

Runtime verification on abstract finite state models
Jevitha, K.P. ; Jayaraman, Bharat ; Sethumadhavan, M.
In The Journal of Systems & Software October 2024 216

Fachzeitschrift
Zu den Favoriten
8

Heuristics for model checking Java programs
Willem Visser ; Alex Groce
International Journal on Software Tools for Technology Transfer. 6:260-276

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

Bandera: a source-level interface for model checking Java programs
Robby ; John Hatcliff ; James C. Corbett ; et al.
Proceedings of the 22nd international conference on Software engineering - ICSE '00. :762-765

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

A type-directed algorithm to generate random well-typed Java 8 programs
Feitosa, Samuel ; Ribeiro, Rodrigo ; Du Bois, Andre
In Science of Computer Programming 15 September 2020 196

Fachzeitschrift
Zu den Favoriten
12

Model-checking multi-threaded distributed Java programs
Stoller, Scott D.
International Journal on Software Tools for Technology Transfer. October 2002 4(1):71-91

Fachzeitschrift
Zu den Favoriten
13

Model checking Java programs using structural heuristics.
Alex Groce ; Willem Visser
ISSTA. :12-21

Konferenz
Zu den Favoriten
14

Verifying temporal specifications of Java programs
Spegni, Francesco ; Spalazzi, Luca ; Liva, Giovanni ; et al.
Software Quality Journal. :1-50

Fachzeitschrift
Zu den Favoriten
15

Specifying and checking method call sequences of Java programs
Cheon, Yoonsik ; Perumandla, Ashaveena
Software Quality Journal. March 2007 15(1):7-25

Fachzeitschrift
Zu den Favoriten
16

Dieses Ergebnis kann Gästen nicht angezeigt werden.

17

Java-MaC: A Run-Time Assurance Approach for Java Programs
Kim, MoonZoo ; Viswanathan, Mahesh ; Kannan, Sampath ; et al.
Formal Methods in System Design: An International Journal. March 2004 24(2):129-155

Fachzeitschrift
Zu den Favoriten
18

Model checking of concurrent programs with static analysis of field accesses
Parízek, Pavel ; Lhoták, Ondřej
In Science of Computer Programming 1 February 2015 98 Part 4:735-763

Fachzeitschrift
Zu den Favoriten
19

Model Checking Multithreaded Programs by Means of Reduced Models
Gradara, Sara ; Santone, Antonella ; Villani, Maria Luisa ; et al.
In Electronic Notes in Theoretical Computer Science 31 December 2004 110:55-74

Fachzeitschrift
Zu den Favoriten
20

Using SPIN for automated debugging of infinite executions of Java programs
Adalid, Damián ; Salmerón, Alberto ; Gallardo, María del Mar ; et al.
In The Journal of Systems & Software April 2014 90:61-75

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

Filter