Hybrid based approaches for software fault localization and specification mining

Debugging programs and writing formal specifications are essential but expensive processes to maintain quality and reliability of software systems. Developers often have to debug and create specifications manually, which take a lot of their time and effort. Recently, several automated solutions have...

Full description

Saved in:
Bibliographic Details
Main Author: LE, Bui Tien Duy
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2017
Subjects:
Online Access:https://ink.library.smu.edu.sg/etd_coll_all/19
https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=1035&context=etd_coll_all
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
Be the first to leave a comment!
You must be logged in first