@inproceedings{SisLab1517,
       booktitle = {SW4PHD: the 2016 Scientific Workshop for PhD Students},
           month = {March},
           title = {Ki?m ch?ng ph?n m?m d?a tr{\^e}n ph{\^a}n t{\'i}ch ch??ng tr{\`i}nh},
          author = {Anh Tu Bui and Ninh Thuan Truong},
            year = {2016},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1517/},
        abstract = {Vi?c ph{\'a}t tri?n ph?n m?m y{\^e}u c?u c{\'a}c b??c th?c hi?n ch?t ch{\~e}, {\dj}? ch{\'i}nh x{\'a}c cao nh?m {\dj}{\'a}p ?ng {\dj}{\'u}ng, {\dj}{\h u} y{\^e}u c?u ng??i s? d{\d u}ng. Tuy nhi{\^e}n {\dj}?i ng{\~u} ph{\'a}t tri?n ph?n m?m c{\~u}ng kh{\^o}ng th? ki?m so{\'a}t h?t c{\'a}c l?i, c{\'a}c v?n {\dj}? ph{\'a}t sinh khi ph?n m?m {\dj}?a v{\`a}o s? d{\d u}ng.   
{\DJ}? t{\`a}i t?p trung v{\`a}o vi?c nghi{\^e}n c?u c{\'a}c ph??ng ph{\'a}p nh?m ph{\^a}n t{\'i}ch m?t s? thu?c t{\'i}nh c{\h u}a ch??ng tr{\`i}nh, t? {\dj}{\'o} x{\^a}y d?ng c{\'a}c c{\^o}ng c{\d u} ph{\^a}n t{\'i}ch ch??ng tr{\`i}nh t? nhi?u kh{\'i}a c{\d a}nh kh{\'a}c nhau, {\dj}?a ra th{\^o}ng tin cho ng??i ph{\'a}t tri?n ph?n m?m {\dj}{\h a}m b{\h a}o t{\'i}nh {\dj}{\'u}ng {\dj}?n cho ch??ng tr{\`i}nh.}
}