Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Boundary testing

Because the boundary values are defined as those values on the edge of a partition, we have identified the following boundary values: -$0.01 (an… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Introduction Self-efficacy concerned with the therapeutic use of self is important for occupational therapists, and students need… Expand
  • table 1
  • table 2
  • table 3
  • table 4
2016
2016
Digital games can be potent problem solving environments which afford discovery learning through thoughtful exploration [1, 2… Expand
  • figure 1
  • figure 2
2015
2015
Abstract Faults along the Martian dichotomy boundary are evidence of tectonic activity, which by analogy with terrestrial… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
2010
2010
As the legal character of approaches to climate change has increased in complexity, so the volume of litigation has burgeoned, at… Expand
2009
2009
For testing software, test case generation is the most important part. The automation of specification based test case generation… Expand
  • figure 1
  • figure 3
  • figure 4
2007
2007
 
2006
2006
We present an original approach for the automated computation of model-based test cases from specifications written in Java… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2005
2005
We describe various test selection techniques from Lustre descriptions using the tool GATeL. The Lustre language is declarative… Expand
  • figure 1
  • figure 2
Review
2005
Review
2005
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1998
Highly Cited
1998
The number of ways a system must be tested can often be overwhelming. There are a number of automatic testcase generation tools… Expand
  • table 1
  • table 2
  • figure 2
  • table 3
  • table 5