Runtime Exception Detection in Java Programs Using Symbolic Execution

Acta Cybernetica - Hungary
doi 10.14232/actacyb.21.3.2014.4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

University of Szeged

Related search

Finding Errors in Python Programs Using Dynamic Symbolic Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS
2019English

Automated Regression Testing Using Symbolic Execution

Elektronika ir Elektrotechnika
Electronic EngineeringElectrical
2011English

A Reflection on “An Exploratory Study on Exception Handling Bugs in Java Programs”

2020English

Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution

Proceedings of the Institute for System Programming of the RAS
2017English

Symbolic Execution for JavaScript

2018English

MUST: A Scalable Approach to Runtime Error Detection in MPI Programs

2010English

Minimization of Time & Cost Factors With Optimized Program-States Using Exception-Handling Constructs in Java (During Analysis and Testing of Programs)

IOSR Journal of Engineering
2012English

A Closer Look at Software Refactoring Using Symbolic Execution

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy