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 other in order to complement each other by providing information that will be otherwise unavailable to the other if used individually.This paper examines the hybrid combination of Natural Language Processing (NLP) Analysis and Experimental Program Analysis (EPA). NLP analysis will help identify the relations of variables with each other in the program code (independent and dependent variables). Using this output, EPA will then perform its corresponding analysis technique of performing experiments depending on the possible states. By automating the identification of the relation of variables by using NLP Analysis (instead of manual finding by users), the paper hopes to produce an improved and faster technique.