905 search results - page 5 / 181 » Code Generator Testing in Practice |
SPIN
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
MEMICS
2010
13 years 16 days ago
2010
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
APN
2011
Springer
12 years 9 months ago
2011
Springer
TAP
2010
Springer
13 years 3 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...