3736 search results - page 81 / 748 » Hand-Writing Program Generator Generators |
122
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
106
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
141
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
161
click to vote
ICST
2009
IEEE
14 years 12 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
111
click to vote
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...