126 search results - page 15 / 26 » Specifying and Generating Test Cases Using Observer Automata |
121
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
127
click to vote
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
109
Voted
APLAS
2003
ACM
15 years 4 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
Deterministic observation and random excitation of fault sites during the ATPG process dramatically reduces the overall defective part level. However, multiple observations of eac...