QuickChecking static analysis properties

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Documents

  • 8,1

    Accepted manuscript, 1005 KB, PDF-document

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