4079 search results - page 461 / 816 » Differential Testing for Software |
174
click to vote
FSTTCS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
151
click to vote
ICFEM
2000
Springer
15 years 9 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
129
Voted
WSC
2008
15 years 8 months ago
2008
In this paper, we address a generalized method of mapping a control system simulation model to the PLC emulator being tested using model variables and PLC tags under the offline c...
154
click to vote
WSC
2007
15 years 8 months ago
2007
This paper describes the selection and automation of a method for estimating how many replications should be run to achieve a required accuracy in the output. The motivation is to...
128
click to vote
WSC
2008
15 years 8 months ago
2008
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...