Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering

[Free GPT-4]
[PDF] arxiv.org

Enabling Unit Proofing for Software Implementation Verification

PC Amusuo, PV Patil, O Cochell, TL Lievre… - arxiv preprint arxiv …, 2024 - arxiv.org
Formal verification provides mathematical guarantees that a software is correct. Design-level
verification tools ensure software specifications are correct, but they do not expose defects in …
保存 引用 被引用数: 1 関連記事 HTMLバージョン
[Free GPT-4]
[PDF] acm.org

FAIL: Analyzing Software Failures from the News Using LLMs

D Anandayuvaraj, M Campbell, A Tewari… - Proceedings of the 39th …, 2024 - dl.acm.org
Software failures inform engineering work, standards, regulations. For example, the Log4J
vulnerability brought government and industry attention to evaluating and securing software …
保存 引用 被引用数: 2 関連記事 全 3 バージョン
[Free GPT-4]
[PDF] arxiv.org

Can Large Language Models Analyze Software Failures in the News? An End-to-End Automated Pipeline with FAIL

D Anandayuvaraj, M Campbell, A Tewari… - arxiv preprint arxiv …, 2024 - arxiv.org
Software failures inform engineering work, standards, regulations. For example, the Log4J
vulnerability brought government and industry attention to evaluating and securing software …
保存 引用 被引用数: 1 関連記事 全 2 バージョン HTMLバージョン