Software Validation

Known as: Software Verification, Validations, Software, Software Validations 
The act of testing the software for compliance with a standard.
National Institutes of Health

Topic mentions per year

Topic mentions per year

1976-2017
0102019762017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Concurrency [30] refers to software systems whose functionality is expressed in terms of multiple components or processes that… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.5
  • figure 1.6
Is this relevant?
2016
2016
This work projects the importance of phonetic match between train and test session for a text-independent framework under limited… (More)
  • table I
  • figure 2
  • figure 3
  • figure 4
  • table II
Is this relevant?
2014
2014
OBJECTIVE To evaluate the degree of perception of laypersons, professionals, and dental students, regarding the aesthetic… (More)
Is this relevant?
2012
2012
PURPOSE Rasmussen encephalitis is a chronic immune-mediated disease leading to unilateral atrophy on magnetic resonance imaging… (More)
Is this relevant?
2011
2011
The Boogie Verification Debugger (BVD) is a tool that lets users explore the potential program errors reported by a deductive… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2010
2010
Formal methods have increasingly been recognized as effective techniques for automating software verifications to satisfy quality… (More)
  • figure 1
  • figure 2
  • table I
Is this relevant?
2010
2010
PURPOSE To determine the equivalence of radiation therapy treatment planning and delivery for various imaging options on helical… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Typically in neuroimaging we are looking to extract some pertinent information from imperfect, noisy images of the brain. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
Formal verification is the act of proving correctness of a hardware or software system using formal methods of mathematics. In… (More)
  • figure 4.3
  • figure 4.4
  • figure 5.1
  • figure 5.2
  • figure 5.3
Is this relevant?
1986
1986
This month marks the 40th anniversary of the founding of ACM. The computing field has changed enormously since 1947, and yet in… (More)
Is this relevant?