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

Treffer 221 - 240 von 3.938

221

Assertion Checking in J-Sim Simulation Models of Network Protocols.
Sobeih, Ahmed ; d'Amorim, Marcelo ; Viswanathan, Mahesh ; et al.
Simulation. Nov2010, Vol. 86 Issue 11, p651-673. 23p.

Fachzeitschrift
Zu den Favoriten
222

Automatic Dimension Inference and Checking for Object-Oriented Programs.
Hangal, Sudheendra ; Lam, Monica S.
ICSE: International Conference on Software Engineering; 2009, p155-165, 11p, 1 Diagram, 3 Charts

JAVA programming languag... COMPUTER software DIMENSIONAL analysis SOFTWARE engineering COMPUTER programmers
Konferenz
Zu den Favoriten
223

Asserting and Checking Determinism for Multithreaded Programs
BURNIM, Jacob ; SEN, Koushik
Communications of the ACM. 53(6):97-105

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

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.
Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; et al.
Construction & Analysis of Safe, Secure & Interoperable Smart Devices. 2005, p210-228. 19p.

Buch
Zu den Favoriten
225

Run-Time Checking Multi-threaded Java Programs.
de Boer, Frank S. ; de Gouw, Stijn
SOFSEM 2016: Theory & Practice of Computer Science; 2016, p217-228, 12p

Buch
Zu den Favoriten
226

Combining abstract interpretation and model checking for analysing security properties of Java bytecode
BERNARDESCHI, Cinzia ; DE FRANCESCO, Nicoletta
VMCAI 2002 : verification, model checking, and abstract interpretation (Venice, 21-22 January 2002, revised papers)Lecture notes in computer science. :1-15

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

Automated detection of code smells caused by null checking conditions in Java programs.
Sirikul, Kriangchai ; Soomlek, Chitsutha
2016 13th International Joint Conference on Computer Science & Software Engineering (JCSSE); 2016, p1-7, 7p

Konferenz
Zu den Favoriten
228

New Australian frontier in freshwater fish invasion via Torres Strait Islands.
Waltham, Nathan J. ; Snape, Natale ; Villacorta-Rath, Cecilia ; et al.
Biodiversity & Conservation. Dec2023, Vol. 32 Issue 14, p4551-4571. 21p.

Freshwater fishes Islands Coasts Straits Coastal surveillance Nile tilapia …
Fachzeitschrift
Zu den Favoriten
229

Applying model checking in Java verification
HAVELUND, K ; SKAKKEBAEK, J. U
Theoretical and practical aspects of SPIN model checking (Trento, 5 July 1999 ; Toulouse, 21-24 September 1999)Lecture notes in computer science. :216-231

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

Model-checking multi-threaded distributed Java programs.
Stoller, Scott D.
International Journal on Software Tools for Technology Transfer; Oct2002, Vol. 4 Issue 1, p71-91, 21p

Fachzeitschrift
Zu den Favoriten
231

Simplify : A theorem prover for program checking
DETLEFS, David ; NELSON, Greg ; SAXE, James B
Journal of the Association for Computing Machinery. 52(3):365-473

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

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.
de Boer, Frank S. ; de Gouw, Stijn ; Johnsen, Einar Broch ; et al.
Transactions on Aspect-Oriented Software Development XI; 2014, p1-26, 26p

Buch
Zu den Favoriten
233

A type system for checking applet isolation in Java Card
DIETL, Werner ; MÜLLER, Peter ; POETZSCH-HEFFTER, Arnd
CASSIS : construction and analysis of safe, secure, and interoperable smart devices (Marseille, 10-14 March 2004, revised selected papers)Lecture notes in computer science. :129-150

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

Predictive Typestate Checking of Multithreaded Java Programs.
Joshi, P. ; Sen, K.
2008 23rd IEEE/ACM International Conference on Automated Software Engineering; 2008, p288-296, 9p

Konferenz
Zu den Favoriten
235

Program model checking as a new trend
HAVELUND, Klaus ; VISSER, Willem
International journal on software tools for technology transfer (Print). 4(1):8-20

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

Transformations for model checking distributed Java programs.
Stoller, Scott D. ; Liu, Yanhong A.
Proceedings of the 8th International Spin Workshop: Model Checking of Software; 5/ 2/2001, p192-199, 8p

Konferenz
Zu den Favoriten
238

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.
Araujo, Wladimir ; Briand, Lionel C. ; Labiche, Yvan
ICSE: International Conference on Software Engineering; 2011, p786-795, 10p

JAVA programming languag... COMPUTER programming COMPUTER simulation CONTRACTS SOFTWARE engineering
Konferenz
Zu den Favoriten
239

Model Checking Programs with Java PathFinder.
Willem Visser ; Peter C. Mehlitz
SPIN. :27-27

Konferenz
Zu den Favoriten
240

Automatic Detection and Repair of Input Validation and Sanitization Bugs
Alkhalaf, Muath

Computer science Automata Formal Methods Model Checking Program Repair Security …
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter