Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns

Autor: Honglei Zhu, Dahai Jin, Yunzhan Gong, Ying Xing, Mingnan Zhou

Publikováno v: IEEE Access, Vol 7, Pp 15040-15055 (2019)

The static analysis plays an important role in many software engineering activities. However, the existence of infeasible paths, which causes lower program test coverage and several false positives in the results of the static analysis, has become on

Externí odkaz: https://doaj.org/article/a3ccfb54b79d44d5a957a79bcd7c7666

The raise of machine learning hyperparameter constraints in Python code

Autor: Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby

Publikováno v: International Symposium on Software Testing and Analysis
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2022, Virtual, South Korea. ⟨10.1145/3533767.3534400⟩

International audience; Machine-learning operators often have correctness constraints that cut across multiple hyperparameters and/or data. Violating these constraints causes the operator to raise runtime exceptions, but those are usually documented

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d02305cde5f23b00e21b96dbd110338
https://hal.science/hal-03891774/document

Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis

Autor: Alan Mycroft, Pritam M. Gharat, Uday P. Khedker

Computing precise (fully flow- and context-sensitive) and exhaustive (as against demand-driven) points-to information is known to be expensive. Top-down approaches require repeated analysis of a procedure for separate contexts. Bottom-up approaches n

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fcfa69c4e4ff82b91a1a3481b053dc86
https://www.repository.cam.ac.uk/handle/1810/302769

Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns

Autor: Dahai Jin, Honglei Zhu, Mingnan Zhou, Yunzhan Gong, Ying Xing

Publikováno v: IEEE Access, Vol 7, Pp 15040-15055 (2019)

The static analysis plays an important role in many software engineering activities. However, the existence of infeasible paths, which causes lower program test coverage and several false positives in the results of the static analysis, has become on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99c2f8dd6985460ab194721d9fdacaaa
https://ieeexplore.ieee.org/document/8631017/

Modular Analysis of Numerical Programs by Abstract Interpretation

Autor: Boutonnet, Rémy

Publikováno v: Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM004⟩
Software Engineering [cs.SE]. Université Grenoble Alpes, 2020. English

Any software bug or device malfunction in safety-critical systems can have catastrophicconsequences. The validation and analysis of programs in critical systems is of paramountimportance to guarantee that the software satisfies its specification and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::45a1c15d9c4ee31874f4a62dec4df37c
https://theses.hal.science/tel-02554125v2