All Stories

  1. Sanity Checks in Smart Home Sensor Streams
  2. Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates
  3. LabPal: repeatable computer experiments made easy
  4. SealTest: a simple library for test sequence generation
  5. Automated Bug Finding in Video Games
  6. Automated exploration and analysis of ajax web applications with WebMole