Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Weijiang Hong"'
Publikováno v:
Frontiers of Information Technology & Electronic Engineering. 21:1267-1284
Symbolic execution is an effective way of systematically exploring the search space of a program, and is often used for automatic software testing and bug finding. The program to be analyzed is usually compiled into a binary or an intermediate repres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8589e0f37201a565efd58900aed1fc7f
https://doi.org/10.1631/fitee.1900213
https://doi.org/10.1631/fitee.1900213
Publikováno v:
Theoretical Aspects of Software Engineering ISBN: 9783031103629
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3f545b9d377348e5e4eb1279724fb53
https://doi.org/10.1007/978-3-031-10363-6_10
https://doi.org/10.1007/978-3-031-10363-6_10
Publikováno v:
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6711429fa0227efc9c3cea8e1454d436
https://doi.org/10.1109/qrs-c55045.2021.00011
https://doi.org/10.1109/qrs-c55045.2021.00011
Publikováno v:
Science of Computer Programming. 170:27-44
Reo is a channel-based exogenous coordination language in which complex coordinators, called connectors, are compositionally built out of simpler ones. In this paper, we present an approach to model and reason about connectors using Coq and Z3. Both
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46b72d7251507c2a76827cd36a8ffae8
https://doi.org/10.1016/j.scico.2018.10.002
https://doi.org/10.1016/j.scico.2018.10.002
Publikováno v:
ICSME
Automatic vulnerability detection is challenging. In this paper, we report our in-progress work of vulnerability prediction based on graph neural network (GNN). We propose a general GNN-based framework for predicting the vulnerabilities in program fu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccdf1f3b1666c2e2bbff0f4f506e93a0
https://doi.org/10.1109/icsme46990.2020.00096
https://doi.org/10.1109/icsme46990.2020.00096
Publikováno v:
Science China Information Sciences. 62
Benchmarks and evaluation are important for the development of techniques and tools. Studies regarding evaluation of model checkers by large-scale benchmarks are few. The lack of such studies is mainly because of the language difference of existing m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5c76dccac7f09b00f9bc25fc1706394
https://doi.org/10.1007/s11432-018-9825-3
https://doi.org/10.1007/s11432-018-9825-3
Publikováno v:
TASE
Formal modeling and verification of component connectors in complex software systems are getting more interests with recent advancements and evolution in modern software techniques. Various properties of connectors can be specified as high-order logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08bf470b5db3c1b3cdfc32363103f39b
https://doi.org/10.1109/tase.2019.00-12
https://doi.org/10.1109/tase.2019.00-12
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319747804
SEFM Workshops
SEFM Workshops
Formal modeling and verification of connectors in component-based software systems are getting more interest with recent advancements and evolution in modern software systems. In this paper, we use the proof assistant Coq for modeling and verificatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::559d0d003306a2db6c82e7e375430c6f
https://doi.org/10.1007/978-3-319-74781-1_37
https://doi.org/10.1007/978-3-319-74781-1_37
Publikováno v:
Formal Aspects of Component Software ISBN: 9783319576657
FACS
FACS
Reo is a channel-based exogenous coordination model in which complex coordinators, called connectors, are compositionally built out of simpler ones. In this paper, we present a new approach to model connectors in Coq which is a proof assistant based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4c93e4794fe7aaead66792a37602faf
https://doi.org/10.1007/978-3-319-57666-4_11
https://doi.org/10.1007/978-3-319-57666-4_11