Challenges of software verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 669, doi. 10.1007/s10009-024-00778-7
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 6
Results: 11
1
2
Inference of access policies through static analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 797, doi. 10.1007/s10009-024-00777-8
- By:
- Publication type:
- Article
3
Leveraging static analysis for cost-aware serverless scheduling policies.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 781, doi. 10.1007/s10009-024-00776-9
- By:
- Publication type:
- Article
4
Reformulating regression test suite optimization using quantum annealing - an empirical study.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 767, doi. 10.1007/s10009-024-00775-w
- By:
- Publication type:
- Article
5
Abstract domain adequacy: Weakening completeness towards static analysis precision.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 747, doi. 10.1007/s10009-024-00774-x
- By:
- Publication type:
- Article
6
The digest framework: concurrency-sensitivity for abstract interpretation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 727, doi. 10.1007/s10009-024-00773-y
- By:
- Publication type:
- Article
7
ccReact: a rewriting framework for the formal analysis of reaction systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 707, doi. 10.1007/s10009-024-00772-z
- By:
- Publication type:
- Article
8
IntraJ: an on-demand framework for intraprocedural Java code analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 687, doi. 10.1007/s10009-024-00771-0
- By:
- Publication type:
- Article
9
Easing maintenance of academic static analyzers.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 673, doi. 10.1007/s10009-024-00770-1
- By:
- Publication type:
- Article
10
Six years later: testing vs. model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 633, doi. 10.1007/s10009-024-00769-8
- By:
- Publication type:
- Article
11
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 647, doi. 10.1007/s10009-024-00768-9
- By:
- Publication type:
- Article