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

Treffer 201 - 220 von 3.938

201

Tree automata extensions for verification of infinite states systems
Extensions des automates d'arbres pour la vérification de systèmes à états infinis
Murat, Valérie ; Software certification with semantic analysis (CELTIQUE) ; Centre Inria de l'Université de Rennes ; et al.
Performance et fiabilité [cs.PF]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S033⟩

Tree automata Java (Computer program l... Lattice Formal methods (Computer... Interprétation abstraite... Java …
Dissertation
Zu den Favoriten
202

Automated refactoring to the Null Object design pattern
Gaitani, Maria Anna G. ; Zafeiris, Vassilis E. ; Diamantidis, N.A. ; et al.
In Information and Software Technology March 2015 59:33-52

Fachzeitschrift
Zu den Favoriten
203

JVM Independent Replay in Java
Schuppan, Viktor ; Baur, Marcel ; Biere, Armin
ENTCS: Electronic Notes in Theoretical Computer Science. Dec2004, Vol. 113, p85-104. 20p.

Java programming languag... Computer software Computer science Computer programming
Zeitschrift
Zu den Favoriten
204

A program transformation for converting Java assertions into control-flow statements
Caballero, Rafael ; von Hof, Vincent ; Montenegro, Manuel ; et al.
University of Münster, European Research Center for Information Systems (ERCIS), ERCIS Working Papers.

Report
Zu den Favoriten
205

Error Localization for Sequential Effect Systems (Extended Version)
Gordon, Colin S. ; Yun, Chaewon

Computer Science - Progr...
Report
Zu den Favoriten
206

Automated removal of cross site scripting vulnerabilities in web applications
Shar, Lwin Khin ; Tan, Hee Beng Kuan
In Information and Software Technology May 2012 54(5):467-478

Fachzeitschrift
Zu den Favoriten
207

Efficient runtime metaprogramming services for Java.
Lagartos, Ignacio ; Redondo, Jose Manuel ; Ortin, Francisco
Journal of Systems & Software. Jul2019, Vol. 153, p220-237. 18p.

COMPUTER programming VIRTUAL machine systems JAVA programming languag... SOURCE code
Fachzeitschrift
Zu den Favoriten
208

Extracting a formally verified, fully executable compiler from a proof assistant
Berghofer, Stefan ; Strecker, Martin
In Electronic Notes in Theoretical Computer Science April 2004 82(2):377-394

Fachzeitschrift
Zu den Favoriten
209

A formal study of slicing for multi-threaded programs with JVM concurrency primitives
HATCLIFF, J ; CORBETT, J ; DWYER, M ; et al.
Static analysis (Venice, 22-24 September 1999)Lecture notes in computer science. :1-18

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

Finding feasible abstract counter-examples.
P&aCARON;s&aCARON;reanu, Corina S. ; Dwyer, Matthew B. ; Visser, Willem
International Journal on Software Tools for Technology Transfer. Nov2003, Vol. 5 Issue 1, p34-48. 15p.

JAVA programming languag... PROGRAMMING languages COMPUTER interfaces ELECTRONIC data processi... AUTOMATIC machinery COMPUTER programming
Fachzeitschrift
Zu den Favoriten
211

Jacco: more efficient model checking toolset for Java actor programs.
Arvin Zakeriyan ; Ehsan Khamespanah ; Marjan Sirjani ; et al.
AGERE!@SPLASH. :37-44

Konferenz
Zu den Favoriten
213

Provably correct runtime monitoring
Aktug, Irem ; Dam, Mads ; Gurov, Dilian
In Journal of Logic and Algebraic Programming May-June 2009 78(5):304-339

Fachzeitschrift
Zu den Favoriten
214

Symbolic execution with abstraction.
Anand, Saswat ; Păsăreanu, Corina ; Visser, Willem
International Journal on Software Tools for Technology Transfer. Feb2009, Vol. 11 Issue 1, p53-67. 15p. 12 Diagrams.

ABSTRACT thought JAVA programming languag... ELECTRONIC file manageme... DATA structures COMPUTERS
Fachzeitschrift
Zu den Favoriten
215

Model checking Java programs (abstract only).
Dill, David
Proceedings of the 2000 ACM SIGSOFT International Symposium: Software Testing & Analysis; 8/1/2000, p179, 1p

Konferenz
Zu den Favoriten
216

Model checking multithreaded programs with asynchronous atomic methods
SEN, Koushik ; VISWANATHAN, Mahesh
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :300-314

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

Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.
Parizek, Pavel ; Kalibera, Tomas
Formal Methods for Industrial Critical Systems (9783642045691); 2009, p117-132, 16p

Buch
Zu den Favoriten
218

Model checking real time java using Java PathFinder
LINDSTROM, Gary ; MEHLITZ, Peter C ; VISSER, Willem
Automated technology for verification and analysis (Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, proceedings)Lecture notes in computer science. :444-456

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
219

Specifying and checking method call sequences of Java programs.
Yoonsik Cheon ; Ashaveena Perumandla
Software Quality Journal; Mar2007, Vol. 15 Issue 1, p7-25, 19p

JAVA programming languag... PROGRAMMING languages INTERNET programming JAVASPACES technology
Fachzeitschrift
Zu den Favoriten
220

Formal specification and static checking of Gemplus' electronic purse using ESC/Java
CATANO, Néstor ; HUISMAN, Marieke
FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002)Lecture notes in computer science. :272-289

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter