981 search results - page 22 / 197 » Symbolic pointer analysis |
ICDAR
2009
IEEE
15 years 9 months ago
2009
IEEE
ICDAR
2009
IEEE
15 years 9 months ago
2009
IEEE
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
129
Voted
ICST
2010
IEEE
15 years 23 days ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
184
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...