Proving properties of operation contracts with test scenarios

Gogolla, Martin; Hamann, Lars

doi:10.1007/978-3-031-38828-6_6

Publisher DOI:	10.1007/978-3-031-38828-6_6
Title:	Proving properties of operation contracts with test scenarios
Language:	English
Authors:	Gogolla, Martin Hamann, Lars
Editor:	Prevosto, Virgile Seceleanu, Cristina
Keywords:	Invariant; Model consistency; Operation contract; Property reachability; UML and OCL model
Issue Date:	20-Jul-2023
Publisher:	Springer
Part of Series:	Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Journal or Series Name:	Lecture notes in computer science
Volume:	14066
Startpage:	97
Endpage:	107
Conference:	International conference on tests and proofs 2023
URI:	http://hdl.handle.net/20.500.12738/14854
ISBN:	978-3-031-38828-6 978-3-031-38827-9 978-3-031-38829-3
ISSN:	1611-3349
Review status:	This version was peer reviewed (peer review)
Institute:	Department Informatik Fakultät Technik und Informatik
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text