Towards concolic testing for hybrid systems

Pingfan Kong*, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Citations (SciVal)
    Original languageEnglish
    Title of host publicationFM 2016
    Subtitle of host publicationFormal Methods - 21st International Symposium, Proceedings
    EditorsConstance Heitmeyer, Anna Philippou, Stefania Gnesi, John Fitzgerald
    PublisherSpringer Verlag
    Pages460-478
    Number of pages19
    ISBN (Print)9783319489889
    DOIs
    Publication statusPublished (VoR) - 2016
    Event21st International Symposium on Formal Methods, FM 2016 - Limassol, Cyprus
    Duration: 9 Nov 201611 Nov 2016

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume9995 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference21st International Symposium on Formal Methods, FM 2016
    Country/TerritoryCyprus
    CityLimassol
    Period9/11/1611/11/16

    Fingerprint

    Dive into the research topics of 'Towards concolic testing for hybrid systems'. Together they form a unique fingerprint.

    Cite this