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

Treffer 181 - 200 von 3.938

181

Procedure-modular specification and verification of temporal safety properties.
Soleimanifard, Siavash ; Gurov, Dilian ; Huisman, Marieke
Software & Systems Modeling. Feb2015, Vol. 14 Issue 1, p83-100. 18p.

JAVA programming languag... PROGRAMMING languages SOFTWARE engineering ALGORITHMS SOFTWARE verification TECHNICAL specifications
Fachzeitschrift
Zu den Favoriten
182

Mutation testing in test suite generation using separate bacterial memetic evolutionary algorithm in IoT
Shobana, R. ; Prisicilla G, Maria
In Measurement: Sensors June 2023 27

Fachzeitschrift
Zu den Favoriten
183

Equational Abstraction Refinement for Certified Tree Regular Model Checking
Boichut, Yohan ; Boyer, Benoît ; Genet, Thomas ; et al.
[Technical Report] 2010

Model-checking tree automaton refinement [INFO.INFO-SE]Computer S... Software Engineering [cs...
Report
Zu den Favoriten
184

XML graphs in program analysis
Møller, Anders ; Schwartzbach, Michael
In Science of Computer Programming 2011 76(6):492-515

Fachzeitschrift
Zu den Favoriten
185

Automated Construction of Reasonable Environment for Java Components
Parizek, Pavel ; Adamek, Jiri ; Kalibera, Tomas
In Electronic Notes in Theoretical Computer Science 6 October 2009 253(1):145-160

Fachzeitschrift
Zu den Favoriten
187

VyrdMC: Driving Runtime Refinement Checking with Model Checkers
Elmas, Tayfun ; Tasiran, Serdar
In Electronic Notes in Theoretical Computer Science 26 May 2006 144(4):41-56

Fachzeitschrift
Zu den Favoriten
188

Applying Java bytecode static instrumentation for software dynamic analysis
S. P. Vartanov ; M. K. Ermakov
Труды Института системного программирования РАН, Vol 27, Iss 1, Pp 25-38 (2018)

статическая инструментац... динамический анализ... анализ программ... Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
Zu den Favoriten
189

Featherweight Java with dynamic and static overloading
Bettini, Lorenzo ; Capecchi, Sara ; Venneri, Betti
In Science of Computer Programming 2009 74(5):261-278

Fachzeitschrift
Zu den Favoriten
190

An overview of JML tools and applications
Burdy, Lilian ; Cheon, Yoonsik ; Cok, David ; et al.
In Electronic Notes in Theoretical Computer Science August 2003 80:75-91

Fachzeitschrift
Zu den Favoriten
191

A decade of code comment quality assessment: A systematic literature review
Rani, Pooja ; Blasi, Arianna ; Stulova, Nataliia ; et al.
In The Journal of Systems & Software January 2023 195

Fachzeitschrift
Zu den Favoriten
192

Automatic generation of security protocols attacks specifications and implementations
Garcia, Rémi ; Modesti, Paolo
In Cyber Security and Applications 2024 2

Fachzeitschrift
Zu den Favoriten
193

Verification of Java Programs with Interacting Analysis Plugins
Charlton, Nathaniel
ENTCS: Electronic Notes in Theoretical Computer Science. Jan2006, Vol. 145, p131-150. 20p.

Software verification Functional analysis First-order logic Data flow computing Electronic systems
Zeitschrift
Zu den Favoriten
194

A Java typestate checker supporting inheritance
Bacchiani, Lorenzo ; Bravetti, Mario ; Giunti, Marco ; et al.
In Science of Computer Programming 1 September 2022 221

Zu den Favoriten
195

Safe instantiation in Generic Java
Allen, Eric E. ; Cartwright, Robert
In Science of Computer Programming 2006 59(1):26-37

Fachzeitschrift
Zu den Favoriten
196

Specification and Generation of Environment for Model Checking of Software Components
Parizek, Pavel ; Plasil, Frantisek
In Electronic Notes in Theoretical Computer Science 31 May 2007 176(2):143-154

Fachzeitschrift
Zu den Favoriten
197

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.
Hermanns, Holger ; Palsberg, Jens ; Dwyer, Matthew B. ; et al.
Tools & Algorithms for the Construction & Analysis of Systems (9783540330561). 2006, p73-89. 17p.

Buch
Zu den Favoriten
198

Integrated Java Bytecode Verification
Gal, Andreas ; Probst, Christian W. ; Franz, Michael
In Electronic Notes in Theoretical Computer Science 24 May 2005 131:27-38

Fachzeitschrift
Zu den Favoriten
199

Proof-carrying code from certified abstract interpretation and fixpoint compression
Besson, Frédéric ; Jensen, Thomas ; Pichardie, David
In Theoretical Computer Science 2006 364(3):273-291

Fachzeitschrift
Zu den Favoriten
200

A rewriting logic approach to the formal specification and verification of web applications
Alpuente, María ; Ballis, Demis ; Romero, Daniel
In Science of Computer Programming 15 February 2014 81:79-107

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

Filter