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, exceptional behavior is often poorly documented, and sensitive to changes in a project’s implementation details that can be on...

Full description

Bibliographic Details

Published in:	Empirical software engineering : an international journal Vol. 29; no. 1; p. 30
Main Authors:	Marcilio, Diego, Furia, Carlo A.
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.02.2024 Springer Nature B.V
Subjects:	Compilers Computer Science Documentation Interpreters Lightweight Methods Programming Languages Software Engineering/Programming and Operating Systems Software Maintenance and Evolution (ICSME) Source code Java Java exceptions Preconditions
ISSN:	1382-3256, 1573-7616, 1573-7616
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!