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

Research output: Research - peer-reviewConference article in Journal

Details

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume264
Issue number3
Pages (from-to)53-68
ISSN1571-0661
DOI
StatePublished - 28 Dec 2010
Publication categoryResearch
Peer-reviewedYes
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
CountryGermany
CityAachem
Period22/06/200924/06/2009

    Research areas

  • Testing, Data Intensive Systems, Abstract Interpretation, Model Checking
ID: 44593493