Proof-based Test Case Generation

Bibliographic Details
Title:	Proof-based Test Case Generation
Authors:	Ahrendt, Wolfgang^Aff19, Gladisch, Christoph^Aff20, Herda, Mihai^Aff20
Contributors:	Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Ahrendt, Wolfgang, editor^Aff13, Beckert, Bernhard, editor^Aff14, Bubel, Richard, editor^Aff15, Hähnle, Reiner, editor^Aff16, Schmitt, Peter H., editor^Aff17, Ulbrich, Mattias, editor^Aff18
Source:	Deductive Software Verification – The KeY Book : From Theory to Practice. 10001:415-451
Database:	Springer Nature eBooks

Description
ISBN:	9783319498119 9783319498126
DOI:	10.1007/978-3-319-49812-6_12