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.
2016
2016
Digital games can be potent problem solving environments which afford discovery learning through thoughtful exploration [1, 2… Expand
  • figure 1
  • figure 2
Is this relevant?
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
Is this relevant?
2010
2010
CAD models of buildings represent architects’ views of buildings. Data definitions that represent a given building conform to the… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
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
Is this relevant?
2007
2007
In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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
Is this relevant?
2005
2005
In L. Fejis et al. (2002) we proposed a general framework for defining a coverage measure based on a distance measure between… Expand
Is this relevant?
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
Is this relevant?
2004
2004
BZ-Testing-Tools (BZ-TT) is a tool-set for automated model-based test case generation from B abstract machines and Z… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
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
Is this relevant?