Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by István Kádár
Runtime Exception Detection in Java Programs Using Symbolic Execution
Acta Cybernetica
Electronic Engineering
Information Systems
Pattern Recognition
Management Science
Computer Vision
Management
Electrical
Computer Science
Mathematics
Computational Theory
Theoretical Computer Science
Operations Research
Software
Related publications
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
A Reflection on “An Exploratory Study on Exception Handling Bugs in Java Programs”
Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution
Proceedings of the Institute for System Programming of the RAS
Symbolic Execution for JavaScript
MUST: A Scalable Approach to Runtime Error Detection in MPI Programs
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
A Closer Look at Software Refactoring Using Symbolic Execution
