174 search results - page 11 / 35 » Improving Design Patterns Finder Precision Using a Model Che... |
196
click to vote
SPIN
2012
Springer
13 years 27 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
73
Voted
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
137
click to vote
ISEMANTICS
2010
14 years 5 months ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...
128
click to vote
ECMDAFA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...