In cooperation with IEEE Computer Society the event is focused on static analysis, program verification, bug detection, and software maintenance. .. Read more Importance: The paper contributes to the advancement of knowledge in the field. We also welcome papers that diverge from the dominant trajectory of the field. Evidence: The paper presents sufficient evidence supporting its claims, such as proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes.
- Share your Experience