Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: D | S

Number of items: 2.

D

Derrick, John, Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50. (doi:10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.3.co;2-2) (KAR id:21805)

S

Siqueira, Bento R., Ferrari, Fabiano C., Souza, Kathiani, Camargo, Valter, de Lemos, Rogério (2021) Testing of adaptive and context-aware systems: approaches and challenges. Software Testing, Verification and Reliability, 31 (7). Article Number e1772. ISSN 0960-0833. E-ISSN 1099-1689. (doi:10.1002/stvr.1772) (KAR id:108717)

This list was generated on Sat Dec 6 00:04:16 2025 GMT.