Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,206,949 papers from all fields of science
Search
Sign In
Create Free Account
Software verification and validation
Known as:
Verification and Validation (software)
, Validation
, Verification
Expand
In software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Abstract Syntax Notation One
Barry Boehm
Capability Maturity Model
Compiler correctness
Expand
Broader (2)
Formal methods
Software quality
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
RELAP-7 Software Verification and Validation Plan
Curtis L. Smith
,
Y. Choi
,
L. Zou
2014
Corpus ID: 62106481
This INL plan comprehensively describes the software for RELAP-7 and documents the software, interface, and software design…
Expand
2008
2008
Enhancing the Software Verification and Validation Course through Laboratory Sessions
S. Acharya
2008
Corpus ID: 64572591
Sushil Acharya, Robert Morris University Sushil Acharya, D.Eng. Assistant Professor of Software Engineering Acharya joined RMU in…
Expand
2004
2004
A case study in JML-based software validation
L. D. Bousquet
,
Y. Ledru
,
Olivier Maury
,
Catherine Oriat
,
Jean-Louis Lanet
Proceedings. 19th International Conference on…
2004
Corpus ID: 7386631
This paper reports on a testing case study applied to a small Java application, partially specified in JML. It illustrates that…
Expand
2003
2003
Sensitivity of software usage to changes in the operational profile
Sunil Kamavaram
,
K. Goseva-Popstojanova
28th Annual NASA Goddard Software Engineering…
2003
Corpus ID: 17387462
In this paper we present a methodology for uncertainty analysis of the software operational profile suitable for large complex…
Expand
2001
2001
Program Design by Informal English Descriptions
Benno Geißelmann
2001
Corpus ID: 51732477
Data Types and Software Validation On the Criteria to be Used in Decomposing Systems into Modules On the Design and Development…
Expand
1998
1998
Verification and validation of high integrity software generated by automatic code generators
V. Malepati
,
H. Li
,
K. Pattipati
,
S. Deb
,
A. Patterson-Hine
SMC'98 Conference Proceedings. IEEE…
1998
Corpus ID: 1815093
Presents a comprehensive methodology for validating automatically generated software. The process consists of developing a fault…
Expand
1995
1995
On Teaching Software Verification and Validation
T. Shepard
International Conference on Computer Science…
1995
Corpus ID: 32969439
A graduate course on software verification and validation (VV approaches to testing; formal methods of verification; and…
Expand
Review
1993
Review
1993
Survey and assessment of conventional software verification and validation techniques
L. A. Miller
,
E. Groundwater
,
S. Mirsky
1993
Corpus ID: 63630719
By means of a literature survey, a comprehensive set of methods was identified for the verification and validation of…
Expand
1988
1988
INTEGRAL-an integrated framework for distributed software validation and verification
C.K. Chang
,
C.-C. Song
,
Y.-F. Chang
[] Proceedings. Workshop on the Future Trends of…
1988
Corpus ID: 62608054
A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous…
Expand
1987
1987
Planning for software verification and validation
D. Wallace
,
R. Fujii
SOEN
1987
Corpus ID: 7738489
Software verification and validation (V&V) is a systems engineering process that supports the evaluation of software quality…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE