QuickChecking static analysis properties

Research output: Research - peer-reviewJournal article

DOI

Original languageEnglish
Article numbere1640
JournalSoftware Testing Verification and Reliability
Volume27
Issue number6
Number of pages23
ISSN0960-0833
DOIs
StatePublished - Sep 2017

    Research areas

  • domain-specific languages, monotonicity, quickchecking, static program analysis

See relations at Aarhus University Citationformats

ID: 118536354