INNOVATION Innovation

Test Data Generation

Synthesize it: from Design by Contract™to Meaningful Test Input Data
AIana: An AI Planning System for Test Data Generation
Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation
Challenging automatic test case generation tools with real-world applications

RoboCup

Applying Scan Lines on a 2D Potential Field to Improve Team Cooperation Through Passing
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots
Mostly Harmless: Team Description Paper 2009
Sensor Evaluation for a Passive Ball Handling Device for Autonomous Soccer Robots
Recent Challenges in the Middle-Size League
Mostly Harmless Team Description 2006 - Robust Control of Mobile Robots

Synthesis

Anzu: A Tool for Property Synthesis
Interactive presentation: Automatic hardware synthesis from specifications: a case study
Specify, Compile, Run: Hardware from PSL