4600 search results - page 6 / 920 » How to Make |
SPIN
2005
Springer
14 years 2 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...
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
BTW
2003
Springer
14 years 1 months ago
2003
Springer
ISMIS
1994
Springer
14 years 18 days ago
1994
Springer
POPL
1989
ACM
14 years 17 days ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...