Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Notes in Theoretical Computer Science
Vol/bind264
Udgave nummer3
Sider (fra-til)53-68
ISSN1571-0661
DOI
StatusUdgivet - 28 dec. 2010
BegivenhedDoctoral Symposium  on Systems Software Verification (DS SSV09) Real  Software, Real Problems, Real Solutions (SSV) - Aachem, Tyskland
Varighed: 22 jun. 200924 jun. 2009
Konferencens nummer: 4

Konference

KonferenceDoctoral Symposium  on Systems Software Verification (DS SSV09) Real  Software, Real Problems, Real Solutions (SSV)
Nummer4
Land/OmrådeTyskland
ByAachem
Periode22/06/200924/06/2009

Emneord

  • Testing
  • Data Intensive Systems
  • Abstract Interpretation
  • Model Checking

Citationsformater