1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Bounded Exhaustive Input Generation from Program APIs -- 1 Introduction -- 2 A Motivating Example -- 3...
Click to View
2
by Reussner, Ralf.
Published 2019
Format:
Table of Contents: ... -- 7.1 Foundations -- 7.1.1 Model-Based Software Development and Testing -- 7.1.2 Model-Based Product...
Click to View
3
4
5
6
7
8
9
10
11
by Bhawika, Gita Widi.
Published 2023
Format:
Table of Contents: ... Development (ISD) -- 2.2 Requirements Engineering (RE) -- 2.3 Software Requirements Specification (SRS) -- 2...
Click to View