Runtime Exception Detection in Java Programs Using Symbolic Execution

QR kód

Runtime Exception Detection in Java Programs Using Symbolic Execution

Show other versions (2)

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Kádár István Hegedűs Péter Ferenc Rudolf
Testületi szerző:	Proceedings of the 13th Symposium on Programming Languages and Software Tools
Dokumentumtípus:	Cikk
Megjelent:	Szegedi Tudományegyetem 2014
Sorozat:	SPLST '13 21 No. 3 Acta Cybernetica (Szeged) 21 No. 3
doi:	10.14232/actacyb.21.3.2014.4
mtmt:	2853780
Online Access:	http://publicatio.bibl.u-szeged.hu/8402

Hasonló tételek

Runtime exception detection in Java programs using symbolic execution
Szerző: Kádár István, et al.
Megjelent: (2014)

Runtime Exception detection in Java programs using symbolic execution
Szerző: Kádár István, et al.
Megjelent: (2013)

The optimization of a symbolic execution engine for detecting runtime errors
Szerző: Kádár István
Megjelent: (2016)

The optimization of a symbolic execution engine for detecting runtime errors
Szerző: Kádár István
Megjelent: (2017)

Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors
Szerző: Kádár István, et al.
Megjelent: (2015)

Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activities Based on a New Dataset
Szerző: Kádár István
Megjelent: (2018)

Abstract runtime monitoring with USE
Szerző: Hamann Lars, et al.
Megjelent: (2012)

Bug path reduction strategies for symbolic execution
Szerző: Brunner Tibor, et al.
Megjelent: (2018)

Still Exceptional Interpreting American Exceptionalism through the Nostalgia-Driven Simulacra of Stranger Things /
Szerző: Palcsó László Bence
Megjelent: (2023)

A Line-Level Explainable Vulnerability Detection Approach for Java
Szerző: Mosolygó Balázs, et al.
Megjelent: (2022)

Plagiarism detection in source programs using structural similarities
Szerző: Lukácsy Gergely, et al.
Megjelent: (2009)

Elévülés és except idoli
Szerző: Beck Salamon
Megjelent: (1930)

Rethinking American exceptionalism trees of life in Morrison's jazz /
Szerző: Gyetvai Éva
Megjelent: (2006)

The Dimensions of the De Minimis Exception and Musical Sampling
Szerző: Mezei Péter
Megjelent: (2019)

Scala application for detecting implementation deficiencies in Java codebase
Szerző: Sóti Ivett
Megjelent: (2015)

Introduction to Java 6.x programming
Szerző: Devosa Iván, et al.

Többmonitoros képmegjelenítő program Java nyelven
Szerző: Bencsik Roland
Megjelent: (1998)

Exceptional in vivo catabolism of neurodegeneration-related aggregates
Szerző: Datki Zsolt László, et al.
Megjelent: (2018)

DeepTest the static debugger of Java programs
Szerző: Szűgyi Zalán, et al.
Megjelent: (2010)

Using Java and Erlang in protocol testing [abstract] /
Szerző: Werner Zsolt
Megjelent: (1998)

Copyright and Digital Teaching Exceptions in the EU Legislative Developments and Implementation Models of Art. 5 CDSM Directive /
Szerző: Priora Giulia, et al.
Megjelent: (2022)

JavaScript-only parallel programming of embedded systems
Szerző: Gál Péter
Megjelent: (2018)

Compactness and Berezin symbols
Szerző: Chalendar Isabelle
Megjelent: (2012)

America's National Symbols
Szerző: Kalmár Csilla
Megjelent: (1996)

Woodstock, as the symbol of the sixties
Szerző: Podlovics Tímea
Megjelent: (1995)

Öntözőrendszer tervező program megvalósítása Java-ban
Szerző: Gacs Katalin
Megjelent: (2020)

Gráf editor program megvalósítása JAVA programnyelven
Szerző: Kiss-Beck József
Megjelent: (2000)

Enhanced Bug Prediction in JavaScript Programs with Hybrid Call-Graph Based Invocation Metrics
Szerző: Antal Gábor, et al.
Megjelent: (2020)

The reflection of puritanism in Nathaniel Hawthorne's use of symbols in his major works
Szerző: Bakos Ferencné
Megjelent: (1993)

Measuring the development of executive functions in bilingual high school students using EEG
Szerző: Győri-Dani Dóra, et al.
Megjelent: (2016)

A Re-Conceptualization of WTO Law’s Security Exceptions Squaring the Circle and Judicializing National Security /
Szerző: Nagy Csongor István
Megjelent: (2021)

Static slicing of binary executables [abstract] /
Szerző: Kiss Ákos, et al.
Megjelent: (2002)

Detection of phosphine derivates using metalloporphyrins
Szerző: Palade Anca, et al.
Megjelent: (2015)

Community detection by using the extended modularity
Szerző: Griechisch Erika, et al.
Megjelent: (2011)

Community Detection by using the Extended Modularity
Szerző: Griechisch Erika, et al.
Megjelent: (2011)

Torsion units for some untwisted exceptional groups of Lie type
Szerző: Gildea Joe, et al.
Megjelent: (2016)

Tőzsdei befektetéseket vizsgáló program fejlesztése Java nyelven
Szerző: Hodur Albert
Megjelent: (2004)

Calculation and application of the dynamic function level dependencies in Java programs [abstract] /
Szerző: Fischer Ferenc
Megjelent: (2008)

Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware
Szerző: Bán Dénes, et al.
Megjelent: (2015)

Modal logics with function symbols
Szerző: Tóth K.
Megjelent: (1979)