On the Generation of Invalid Objects for Inferring More Precise Class Invariants

On the Generation of Invalid Objects for Inferring More Precise Class Invariants

Boockmann, Jan Henrik; Jacob, Kerstin; Lüttgen, Gerald (2025): On the Generation of Invalid Objects for Inferring More Precise Class Invariants, in: Domenico Bianculli und Elena Gomez-Marinez (Hrsg.), Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings, Cham: Springer Nature Switzerland, S. 148–156, doi: 10.1007/978-3-032-10444-1_9.

Faculty/Chair:

Software Technologies

Software Technologies

Author:

;

;

Lüttgen, Gerald

Title of the compilation:

Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings

Editors:

Bianculli, Domenico

Gomez-Marinez, Elena

Conference:

Software Engineering and Formal Methods : 23rd International Conference, SEFM ; Toledo, Spain

Publisher Information:

Cham : Springer Nature Switzerland

Year of publication:

2025

Pages:

148-156

ISBN:

9783032104434

9783032104441

Series ; Volume:

Lecture Notes in Computer Science ; 16192

Language:

English

DOI:

10.1007/978-3-032-10444-1_9

Peer Reviewed:

Yes:

International Distribution:

Yes:

Type:

Conferenceobject

URI:

https://fis.uni-bamberg.de/handle/uniba/112155

Activation date:

December 15, 2025

Permalink https://fis.uni-bamberg.de/handle/uniba/112155