Symbolic Path Sensitization Analysis and Applications
Author(s) -
Jian Kang,
Sharad Seth,
Shashank K. Mehta
Publication year - 2007
Publication title -
proceedings - asian test symposium/proceedings
Language(s) - English
Resource type - Conference proceedings
SCImago Journal Rank - 0.168
H-Index - 33
eISSN - 2377-5386
pISSN - 1081-7735
DOI - 10.1109/ats.2007.4388051
Subject(s) - sensitization , computer science , path (computing) , set (abstract data type) , boolean function , theoretical computer science , symbolic data analysis , algorithm , programming language , immunology , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom