Differences

This shows you the differences between two versions of the page.

--- malta13 [2013/06/17 15:19]
pace
+++ malta13 [2013/06/18 07:37]
pace
@@ Line 41: / Line 41: @@
 | 16.30-17.00 | //Paul Jackson:// Auditing User-provided Axioms in Software Verification Conditions |
 | 17:00-17:30 | //David Monniaux:// TBA |
-| 17:30-18:00 | Discussion Session: Cross-fertilization between Logic Programming and CLP with Horn Clause Verification |
+| 17:30-18:00 | Discussion Session: Cross-fertilization between Logic Programming with CLP and Horn Clause Verification |
 ===== General Information =====
@@ Line 104: / Line 104: @@
 //Christian Colombo//
+While the verification of web-based applications is crucial due to their often security-critical nature, it is considerably challenging due to their complex and dynamical nature. The current state of the art involves automated test execution where a test platform automatically interacts with a web application and asserts the expected behaviour. Still, test cases are typically generated manually, particularly when it comes to directing the test to exercise particular execution paths. In this presentation, we propose a novel combination of the QuickCheck testcase generation tool with web-based applications: QuickCheck exploits an executable automata-based specification to drive and assert the application in an automated yet non-random fashion. However, writing the specification is non-trivial and requires manual intervention. To this end, we propose a means of generating QuickCheck specifications from Cucumber specifications – a commonly used high level specification language for communicating with business stakeholders.
 ----