1246 search results - page 95 / 250 » Online testing with model programs |
102
Voted
RE
2002
Springer
15 years 13 days ago
2002
Springer
Extreme Programming (XP) is an agile (lightweight) software development methodology and it becomes more and more popular. XP proposes many interesting practices, but it also has s...
100
Voted
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
143
Voted
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
117
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
97
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...