Beyond Contracts: An Exploration into Unified Specifications
Jun 20, 2013
Paul deGrandis emphasizes the importance of using specification-as-a-value, a way of unifying core.contracts, test.generative, and external systems under a single common specification in Clojure.
Verification and Validation for Trustworthy Software Systems
James Bret Michael, Doron Drusinsky, Thomas W. Otani, and Man-Tak Shing
Mar 05, 2012
In this IEEE article, authors discuss a continuous verification and validation of complex and safety-critical software systems using techniques like statechart assertions, runtime execution monitoring, and scenario-based
Jun 11, 2007
There are many occasions where software creates XML output: XML documents are used for data interchange between different applications, web application create (X)HTML output or respond to AJAX requests with XML, and this has to be tested as much as anything else. In this article, Stefan Bodewig explains how to perform those tests with the XMLUnit framework he has co-authored.
JavaOne 2008 Day 2 - Bean Validation Presentation and Oracle Fusion Middleware Preview by Srini Penchikala Posted on May 08, 2008
Interview: Emmanuel Bernard on the Bean Validation Specification by Charles Humble Posted on Apr 30, 2008 2
Initial Draft of the Bean Validation Specification Released by Charles Humble Posted on Apr 09, 2008 3
Study Shows That 11% of Sites Are Vulnerable to SQL Injection Attacks by Jonathan Allen Posted on Sep 30, 2006 3