Lightweight precise automatic extraction of exception preconditions in java methods
When a method throws an exception—its exception precondition—is a crucial element of the
method's documentation that clients should know to properly use it. Unfortunately …
method's documentation that clients should know to properly use it. Unfortunately …
Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack
A program's exceptional behavior can substantially complicate its control flow, and hence
accurately reasoning about the program's correctness. On the other hand, formally verifying …
accurately reasoning about the program's correctness. On the other hand, formally verifying …
Towards Code Improvements Suggestions from Client Exception Analysis
Modern software development heavily relies on reusing third-party libraries; this makes
developers more productive, but may also lead to misuses or other kinds of design issues. In …
developers more productive, but may also lead to misuses or other kinds of design issues. In …
Reasoning About Exceptional Behavior at the Level of Java Bytecode
A program's exceptional behavior can substantially complicate its control flow, and hence
accurately reasoning about the program's correctness. On the other hand, formally verifying …
accurately reasoning about the program's correctness. On the other hand, formally verifying …
Practical automated program analysis for improving Java software
D Marcilio - 2023 - folia.unifr.ch
Finding and fixing bugs are among the most time-consuming activities of the software
development process. This thesis presents work that increases the level of automation in …
development process. This thesis presents work that increases the level of automation in …