Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications

Barbey, S. (1997). Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications.

Type

Standard

Intellectual base

Reference work

Year

1997

Link

https://www.researchgate.net/publication/37422560_Incremental_Test_Selection_for_Specification-Based_Unit_Testing_of_Object-Oriented_Software_Based_on_Formal_Specifications

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Yo-yo Problem
  • In Barbey's constructed Ada 95 test example, a call on a Three object passes among methods in Three, Two, and One before entering an infinite recurrence.

    This sourceAuthor thesis text and figure code available in the hosted full-text rendering; original PDF pixels were not independently checked. The One/Two/Three program is a constructed testing example.

Verification

Does it exist? Not checked yet. This entry carries no identifier to resolve. It was extracted from the citation as written in the article, normalized, and deduplicated against the rest of the registry.

Does it back the claim? Not recorded. The single citation of this work carries no recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:e1f63c352a7f · see in the full table