Open AccessTesting Program for Security using Symbolic Execution and Exception Injection
Author(s) -
Faisal Anwer,
Mohd Nazir,
Khurram Mustafa
Publication year - 2015
Publication title -
indian journal of science and technology
Language(s) - English
Resource type - Journals
eISSN - 0974-6846
pISSN - 0974-5645
DOI - 10.17485/ijst/2016/v9i19/91025
Subject(s) - symbolic execution , computer science , fuzz testing , crash , concolic testing , program analysis , path (computing) , model checking , traverse , java , computer security , programming language , software , geodesy , geography