enter search term and/or author name
An extended fault class hierarchy for specification-based testing
Man F. Lau, Yuen T. Yu
Kuhn, followed by Tsuchiya and Kikuno, have developed a hierarchy of relationships among several common types of faults (such as variable and expression faults) for specification-based testing by studying the corresponding fault detection conditions....
Reasoning about inconsistencies in natural language requirements
Vincenzo Gervasi, Didar Zowghi
The use of logic in identifying and analyzing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a theoretically well-founded formalism that is especially suited for...
Toward an engineering discipline for grammarware
Ralf Lämmel, Chris Verhoef, Paul Klint
Grammarware comprises grammars and all grammar-dependent software. The term grammar is meant here in the sense of all established grammar formalisms and grammar notations including context-free grammars, class dictionaries, and XML schemas as...