2218 search results - page 62 / 444 » Testing Expressibility Is Hard |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
113
click to vote
ICONIP
2010
14 years 9 months ago
2010
Recently, some non-coding small RNAs, known as microRNAs (miRNA), have drawn a lot of attention to identify their role in gene regulation and various biological processes. The miRN...
100
click to vote
ICFP
2009
ACM
15 years 6 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
117
click to vote
FUIN
2002
14 years 11 months ago
2002
Biological research is currently undergoing a revolution. With the advent of microarray technology the behavior of thousands of genes can be measured simultaneously. This capabilit...
109
click to vote
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...