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

Research output: Contribution to journalConference article in JournalResearchpeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume264
Issue number3
Pages (from-to)53-68
ISSN1571-0661
DOIs
Publication statusPublished - 28 Dec 2010
EventDoctoral Symposium  on Systems Software Verification (DS SSV09) Real  Software, Real Problems, Real Solutions (SSV) - Aachem, Germany
Duration: 22 Jun 200924 Jun 2009
Conference number: 4

Conference

ConferenceDoctoral Symposium  on Systems Software Verification (DS SSV09) Real  Software, Real Problems, Real Solutions (SSV)
Number4
Country/TerritoryGermany
CityAachem
Period22/06/200924/06/2009

Keywords

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

Cite this