A unified framework for examining program correctness

• Main Authors: Alcabasa, Lance, Alcabasa, Lean Alemania, Chua, Franz, Pagsisishan, Michael
• Format: text
• Published: Animo Repository 2013
• Subjects: Computer programs—Correctness; Computer Sciences
• Online Access: https://animorepository.dlsu.edu.ph/faculty_research/12069
• Institution: De La Salle University

This paper looks into program analysis techniques, more specifically on how these techniques work and how to improve them. Generally, improved program analysis techniques are a combination of different techniques. For example, static and dynamic analyses techniques can be used together with each oth...