Source

Domain

C1) Specification

C2) Test Selection Criteria

C3) Generation

C5) Test type, Implementation, Observability

[114]

[115]

Computer science

Structure, semiformal

(uml class diagram)

Change of specification

None

Integration tests, object-oriented, allows black box

[116]

Automotive, embedded systems

Structure and behavior, component dependency model, uml sequence diagram and directed graph

Change of specification

None

Integration tests, allows black box

[117]

Computer science

Structure and behavior, specification description language

Change of specification

None

Integration tests, object-oriented, allows black box

[113]

Computer science

Structure and behavior, uml sequence diagram, class diagram

Change of specification

None

Integration tests, allows black box

[118]

Computer science

Behavior, extended finite state machine

Change of specification

None

Integration tests

[119]

Computer science

Behavior, call graph

Change of code

None

Integration test, system test, object-oriented, white box

[120]

Computer science

Behavior, program dependency graph

Change of code

None

Integration test, procedural, white box

[121]

Computer science

Behavior, dynamic call graph

Change of code

Previous execution

Integration test, system test, object-oriented, white box

[122]

Computer science

Behavior, dynamic program slice

Change of code

Previous execution

Integration test, system test, object-oriented, white box

[123]

Computer science

Behavior, dynamic control ow graph

Change of code

Previous execution

Unit test, system test, procedural, white box

[124]

Computer science

Behavior, dynamic data ow graph

Change of code

Previous execution

Unit test, integration test, system test, procedural or object-oriented, white box