366 search results - page 10 / 74 » Syntactic Abstraction of B Models to Generate Tests |
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
90
Voted
AAAI
1994
15 years 1 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
131
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
93
Voted
ACL
1997
15 years 1 months ago
1997
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...
111
Voted
JSYML
2008
15 years 12 days ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...