Kris Ven, Dieter Van Nuffel, David Bellens, Philip Huysmans. The Automatic Discovery of Violations to the Normalized Systems Design Theorems: A Feasibility Study. In Jon Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki, editors, The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France. pages 38-43, IEEE Computer Society, 2010. [doi]
Abstract is missing.