• *Search*: Java program analysis by symbolic execution

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 12*number_thousands_separator*396

2

Complexity vulnerability analysis using symbolic execution.
Luckow, Kasper ; Kersten, Rody ; Pasareanu, Corina
Software Testing: Verification & Reliability; Nov/Dec2020, Vol. 30, p1-27, 27p

DENIAL of service attack... HISTORY of accounting MACHINE learning EXECUTIONS & executioner... SYSTEMS software COMPUTER software execut...
*Academic Journal*
*Add to favorites*
3

Fuzzing-based grammar learning from a minimal set of seed inputs
Sochor, Hannes ; Ferrarotti, Flavio ; Kaufmann, Daniela
In Journal of Computer Languages March 2024 78

*Academic Journal*
*Add to favorites*
4

Combining symbolic execution and model checking to reduce dynamic program analysis overhead
Nestor Cataño
Revista Colombiana de Computación, Vol 6, Iss 1 (2005)

Computer engineering. Co... TK7885-7895 Electronic computers. Co... QA75.5-76.95
*Academic Journal*
*Add to favorites*
5

*This result is not displayed to guests*

6

*This result is not displayed to guests*

7

*This result is not displayed to guests*

8

Java program analysis by symbolic execution
Otto, Carsten ; Giesl, Jürgen ; Spoto, Fausto
Aachen : Fachgruppe Informatik, RWTH Aachen University, Aachener Informatik-Berichte 2013,16 223 S. : graph. Darst. (2015). = Zugl.: Aachen, Techn. Hochsch., Diss., 2015

DE info:eu-repo/classificat... Informatik
*Dissertation/ Thesis*
*Add to favorites*
9

A survey of new trends in symbolic execution for software testing and analysis.
Păsăreanu, Corina ; Visser, Willem
International Journal on Software Tools for Technology Transfer. Aug2009, Vol. 11 Issue 4, p339-353. 15p. 11 Diagrams.

SOFTWARE verification JAVA programming languag... HEURISTIC programming COMPUTER logic INTEGRATED circuit verif... BOOLEAN algebra
*Academic Journal*
*Add to favorites*
10

ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
Kim, Taesoo ; Han, HyungSeok ; Park, Soyeon ; et al.

Cryptography and Securit... Artificial Intelligence
*Report*
*Add to favorites*
11

Java program analysis by symbolic execution
Otto, Carsten ; Giesl, Jürgen ; Spoto, Fausto

**
*Add to favorites*
12

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Usman, Muhammad ; Noller, Yannic ; Pasareanu, Corina ; et al.

Computer Science - Machi... Computer Science - Artif... Computer Science - Softw...
*Report*
*Add to favorites*
13

Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Noller, Yannic ; Kersten, Rody ; Păsăreanu, Corina S.
In Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18). ACM, New York, NY, USA, 11 pages, 2018

Computer Science - Softw...
*Report*
*Add to favorites*
14

An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.
Gerasimov, A. Yu. ; Kruglov, L. V. ; Ermakov, M. K. ; et al.
Programming & Computer Software. Nov2018, Vol. 44 Issue 6, p467-475. 9p.

ANALYTICAL mechanics ERROR detection (Informa... COMPUTER programming MOBILE operating systems JAVA programming languag...
*Academic Journal*
*Add to favorites*
16

*This result is not displayed to guests*

17

Applying dynamic analysis to programs running in interpreted environments
S. P. Vartanov ; M. K. Ermakov ; A. Y. Gerasimov
Труды Института системного программирования РАН, Vol 29, Iss 1, Pp 135-148 (2018)

динамический анализ прог... анализ программ... Electronic computers. Co... QA75.5-76.95
*Academic Journal*
*Add to favorites*
18

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
*Academic Journal*
*Add to favorites*
19

Program Complexity Analysis Method Combining Evolutionary Algorithm with Symbolic Execution
ZHOU Sheng-yi, ZENG Hong-wei
Jisuanji kexue, Vol 48, Iss 12, Pp 107-116 (2021)

complexity analysis symbolic execution evolutionary algorithm path detection worst case execution pat... Computer software …
*Academic Journal*
*Add to favorites*
20

Dynamic analysis of programs with graphical user interface based on symbolic execution
S. P. Vartanov ; A. Y. Gerasimov ; M. K. Ermakov ; et al.
Труды Института системного программирования РАН, Vol 29, Iss 1, Pp 149-166 (2018)

динамический анализ прог... анализ программ... тестирование gui, тестов... Electronic computers. Co... QA75.5-76.95
*Academic Journal*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*