by
Dasso, Aristides, 1943-
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2
Format:
Electronic Resources
Excerpt:
Verification, validation and testing in software engineering Dasso, Aristides, 1943-
by
Omri, Fouad ben Nasr
Format:
Books
Excerpt:
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for
View Other Search Results
by
Yorav, Karen. editor.
Format:
Electronic Resources
Excerpt:
Hardware and Software: Verification and Testing Third International Haifa Verification Conference
by
Ur, Shmuel. editor.
Format:
Electronic Resources
Excerpt:
Hardware and Software, Verification and Testing First International Haifa Verification Conference
by
Bloem, Roderick. editor.
Format:
Electronic Resources
Excerpt:
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference
by
Bin, Eyal. editor.
Format:
Electronic Resources
Excerpt:
Hardware and Software, Verification and Testing Second International Haifa Verification Conference
by
Havelund, Klaus. editor.
Format:
Electronic Resources
Excerpt:
Formal Approaches to Software Testing and Runtime Verification First Combined International
by
Jose, Boby author.
Format:
Electronic Resources
Excerpt:
Software testing and verification.
by
Petre, Luigia, 1974-
Format:
Books
Excerpt:
Testing and verification of software-intensive systems
by
Smith, Adam Leon, author.
Format:
Electronic Resources
Excerpt:
Software testing and verification.
by
Weiß, Benjamin
Format:
Books
Excerpt:
important. Formal specification and verification are promising approaches for ensuring correctness more
by
Irlbeck, M.
Format:
Electronic Resources
Excerpt:
-- Evolving Software Ecosystems A Historical and Ecological Perspective -- Framing the Frame Problem -- From
Limit Search Results