1895 search results - page 310 / 379 » Using ATL for Checking Models |
98
Voted
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
115
Voted
GMP
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
122
Voted
PKDD
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...
114
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
95
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...