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

Publication: 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
Event - Aachem, Germany

Conference

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

    Keywords

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